Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Haskell Prolog
Branch: master
Pull request Compare This branch is 3 commits behind norm2782:master.

* Priority fix

* Other parse fix (spaces)
latest commit 9896851754
@spockz authored
Failed to load latest commit information.
src * Priority fix
.ghci
.gitignore
LICENSE
Makefile Makefile for NanoProlog
NanoProlog.cabal Split off the parser from the Prolog machinery.
README Initial import of NanoProlog
Setup.hs Initial import of NanoProlog
royals.pro Add more example rules
tc.pro Adapted for terms with [.] and -> constructors.

README

NanoProlog README goes here.
Something went wrong with that request. Please try again.