prolog library
This package contains a simple grammar and evaluator for Prolog based on this blog post: https://curiosity-driven.org/prolog-interpreter.
The code is reasonably complete to run and evaluate reasonably complex programs from the console or the web browser.
Classes
- Conjunction
- Database
- Node
- PrologGrammarDefinition
- Prolog grammar definition.
- PrologParserDefinition
- LISP parser definition.
- Rule
- Term
- Value
- Variable
Constants
-
argumentEquality
→ const Equality<
List< Node> >
Properties
-
rulesParser
→ Parser<
List< Rule> > -
The standard prolog parser to read rules.
final
-
termParser
→ Parser<
Term> -
The standard prolog parser to read queries.
final