prolog-interpreter

Example

cabal run :prolog-interpreter sample.pl

?- mother(X, Y).
X = kobo, Y = sanae.
X = miho, Y = sanae.
X = sanae, Y = mine.

swiplとの主な相違点

• 幅優先探索を使うことで完全性を得ている
• functorやvariableの識別子の先頭にアンダースコアが使えない
• 整数演算や"is"などは実装していない
• 単一化の出現チェックを実装している
• 否定やカットは無い

既知のバグ

• hamiltonが正しく動作しない