Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master

This branch is even with propella:master

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
Something went wrong with that request. Please try again.