GitHub - propella/prolog: a prolog

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
LICENSE		LICENSE
Main.hs		Main.hs
Prolog.hs		Prolog.hs
README		README
Setup.hs		Setup.hs
aprolog.cabal		aprolog.cabal
demo.prolog		demo.prolog
note-ja.txt		note-ja.txt
note.html		note.html
test.hs		test.hs

Repository files navigation

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