prolog
Tests that check that the queries run correctly.
Configuration for the Prolog REPL.
Tests that check that the semantic analyser works correctly.
Tests that check that the semantic analyser works correctly. I.e., it correctly diagnoses errors where they are present, and passes correct code.
A substitution that records how variables (given by their names) are to be replaced by Prolog terms.
Module containing parsers for Prolog.
Tests that check that the parser works correctly.
Tests that check that the parser works correctly. I.e., it accepts correct input and produces the appropriate trees, and it rejects illegal input.
Abstract syntax tree representation of goals.
Conduct semantic analysis on the Prolog program in the file given as the first command-line argument.
Conduct semantic analysis on the Prolog program in the file given as the first command-line argument. If the program is correct, enter an interactive read-eval-print loop (REPL) to read queries. For each query, call the interpreter to evaluate it.
Module containing tree structures for representing Prolog programs.
Factory and utility methods for substitutions.
Symbol table module containing facilities for creating and manipulating expression language symbol information.
Tests that check that the queries run correctly. I.e., given a base Prolog file containing definitions, that running specific queries over those definitions give the expected results.