Haskell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
LICENSE
Main.hs
Prolog.hs
README
Setup.hs
aprolog.cabal
demo.prolog
note-ja.txt
note.html
test.hs

README

A pure prolog interpreter

* Getting started

$ runhaskell Main.hs
or

$ hugs Prolog.hs 
Prolog> main

* Command

food(apple). -- Add a clause.
?- food(X).  -- Query.
??           -- Show all.

* Example

runhaskell Main.hs < demo.prolog

* Compile with ghc

ghc --make Main.hs