prolog

Ordering

Visibility

class Interpreter extends AnyRef
class InterpreterTests extends SyntaxAnalyser with RegexParserTests
Tests that check that the queries run correctly.
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.
class PrologConfig extends REPLConfig
Configuration for the Prolog REPL.
class SemanticAnalyser extends AnyRef
class SemanticAnalyserTests extends SyntaxAnalyser with Compiler[Program] with TestCompiler[Program]
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.
abstract class Subst extends AnyRef
A substitution that records how variables (given by their names) are to be replaced by Prolog terms.
class SyntaxAnalyser extends PositionedParserUtilities
Module containing parsers for Prolog.
class SyntaxAnalyserTests extends SyntaxAnalyser with RegexParserTests
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.

object GoalTree
Abstract syntax tree representation of goals.
object Main extends SyntaxAnalyser with ParsingREPLWithConfig[Literal, PrologConfig] with PrettyPrinter
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.
object PrologTree
Module containing tree structures for representing Prolog programs.
object Subst
Factory and utility methods for substitutions.
object SymbolTable extends Environments
Symbol table module containing facilities for creating and manipulating expression language symbol information.
object Unifier

Packages