josdEyelog now has a language specification.
It describes the Prolog-like rule language itself: syntax, terms, clauses, goals, built-ins, `triple/3`, conformance boundaries, and Herbrand semantics.
Eyelog now has a language specification.
It describes the Prolog-like rule language itself: syntax, terms, clauses, goals, built-ins, `triple/3`, conformance boundaries, and Herbrand semantics.