search

adamjstewart / prolog

An implementation of Prolog written in OCaml
MIT License
2 stars 3 forks source link

Add declarations, conjunctions, and disjunctions to the AST #2

Closed adamjstewart closed 6 years ago

adamjstewart commented 6 years ago

Competing PR for #1.

adamjstewart commented 6 years ago

Updated the design page to show what this would look like when parsing real examples: https://github.com/adamjstewart/prolog/wiki/Design