A proof-of-concept parser for the Prolog programming language, at the Bern University of Applied Sciences for the course "Automata and formal languages"
Switch branches/tags
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
doc
src/ch/bfh/bti7064/w2013/prologparser
.classpath
.gitignore
.project
LICENSE
README.md
blocksworld.pl
example.out

README.md

ch.bfh.bti7064.w2013.PrologParser

A non-complete parser for the Prolog programming language