Skip to content

Latest commit

 

History

History
11 lines (8 loc) · 458 Bytes

readme.md

File metadata and controls

11 lines (8 loc) · 458 Bytes

mini-prolog

Build instructions

make

This places an executable in ./bin/prolog that reads from stdin and takes no command line arguments.

Features

This interpreter currently implements basic fact (apple.), relation (likes(mary, john).), and rule (parent(Child1, Child2, Parent) :- child(Child1, Parent), child(Child2, Parent).) parsing. External definition loading, is, and other advanced features are not currently implemented.