org.kiama.example

prolog

package prolog

Visibility
  1. Public
  2. All

Type Members

  1. class Interpreter extends AnyRef

  2. class InterpreterTests extends SyntaxAnalysis with RegexParserTests

    Tests that check that the queries run correctly.

  3. class ParsingTests extends SyntaxAnalysis with RegexParserTests

    Tests that check that the parser works correctly.

  4. class PrologConfig extends REPLConfig

    Configuration for the Prolog REPL.

  5. class SemanticAnalysis extends AnyRef

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

  7. class SemanticTests extends SemanticTestDriver

    Tests that check that the semantic analyser works correctly.

  8. abstract class Subst extends AnyRef

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

  9. class SyntaxAnalysis extends PositionedParserUtilities

    Module containing parsers for Prolog.

Value Members

  1. object GoalAST

    Abstract syntax tree representation of goals.

  2. object Main extends SyntaxAnalysis 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