Louise can learn recursive programs one-shot:

% Single example given:
?- experiment_file:positive_example(list_last/2, E).
E = list_last([a, b, c, d, e, f, g, h|...], i).

?- learn(list_last/2).
list_last(A,B):-tail(A,C),list_last(C,B).
list_last(A,B):-tail(A,C),empty(C),head(A,B).
true.In the example above, the learned program consists of a ( Read more... )

This Haskell package implements explicit sharing of monadic effects. Its most prominent application is probably the implementation of lazy non-determinism to emulate functional logic programming.

(источник здесь, я бы и ссылку на статьи привёл, да только у меня к ним "No route to host".)

На ум практически сразу пришёл комментарий Tim Sweeney на ( Read more... )

Нашёл дома книгу про то, как на языке Форт написать интерпретатор Лиспа, на нём написать Пролог и уже на последнем строить экспертные системы.

Сохраню. ;)