>>865
はい、Alephはprologで書かれています。
http://www.cs.ox.ac.uk/activities/machinelearning/Aleph/aleph

自分は「Prolog Programming for Artificial Intelligence 4th Edition」の
Inductive Logic Programing(帰納論理プログラミング）の記事を読んで興味を持ったのですが、
この本で紹介されているコードを大分レベルアップしたのがAlephやProgolのように感じました。

自分もまだ勉強中ですが、例えば以下の問題など興味深いです。

has_daughter述語の学習
　parent(X,Y):XはYの親、 female(X):Xは女性、という既存の述語があったとして、
　has_daughter(X)というボディ部不明の述語があり、
　これを満たす例、満たさない例をたくさん与えると、
　has_daughterのボディ部の内容の仮定を生成する

列車のeastbound-westbound問題（有名な問題のようです）
　これこれの構成で積荷がこれこれの列車は東行き、これこれだと西行きという事例を沢山学習させ、
　任意の構成の列車を入力するとそれが西行きか東行きかを生成した仮定を用いて判定する