org.kiama.example

prolog

package prolog

Visibility
  1. Public
  2. All

Type Members

  1. class InterpreterTests extends SyntaxAnalysis with Tests

    Tests that check that the queries run correctly.

  2. class ParsingTests extends SyntaxAnalysis with RegexParserTests

    Tests that check that the parser works correctly.

  3. class SemanticTestDriver extends SyntaxAnalysis with Compiler[Program] with TestCompiler[Program]

  4. class SemanticTests extends SemanticTestDriver

    Tests that check that the semantic analyser works correctly.

  5. abstract class Subst extends AnyRef

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

  6. class SyntaxAnalysis extends PositionedParserUtilities

    Module containing parsers for Prolog.

Value Members

  1. object Interpreter

  2. object Main extends SyntaxAnalysis with ParsingREPL[Literal] 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 SemanticAnalysis

  5. object Subst

    Factory and utility methods for substitutions.

  6. object SymbolTable extends Environments

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

  7. object Unifier

Ungrouped