A toy implementation of a Prolog's interpreter. No cut operator, no negation, just Horn clauses.
Tools required to build this project:
- stack http://haskellstack.org
stack buildstack teststack exec hiProlog-exefixxxedpoint/hiProlog
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|