[lucascdotnet]

Not sure if this is what you mean, but 'inductive logic programming' and more generally 'program synthesis' are fairly active research areas.