org.kiama.example

prolog

package prolog

Visibility
  1. Public
  2. All

Type Members

  1. class Interpreter extends AnyRef

  2. class InterpreterTests extends SyntaxAnalyser with RegexParserTests

    Tests that check that the queries run correctly.

  3. class PrologConfig extends REPLConfig

    Configuration for the Prolog REPL.

  4. class SemanticAnalyser extends AnyRef

  5. class SemanticAnalyserTests extends SyntaxAnalyser with Compiler[Program] with TestCompiler[Program]

    Tests that check that the semantic analyser works correctly.

  6. abstract class Subst extends AnyRef

    A substitution that records how variables (given by their names) are to be replaced by Prolog terms.

  7. class SyntaxAnalyser extends PositionedParserUtilities

    Module containing parsers for Prolog.

  8. class SyntaxAnalyserTests extends SyntaxAnalyser with RegexParserTests

    Tests that check that the parser works correctly.

Value Members

  1. object GoalTree

    Abstract syntax tree representation of goals.

  2. 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.

  3. object PrologTree

    Module containing tree structures for representing Prolog programs.

  4. object Subst

    Factory and utility methods for substitutions.

  5. object SymbolTable extends Environments

    Symbol table module containing facilities for creating and manipulating expression language symbol information.

  6. object Unifier

Ungrouped