Prolog compiler with an optional type checker
Details explained here: https://github.com/PhoebeMay/Dissertation/blob/master/dissertation.pdf
PhoebeMay/Pholog
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Prolog compiler with an optional type checker
Details explained here: https://github.com/PhoebeMay/Dissertation/blob/master/dissertation.pdf