: Uses of Class tarau.jinni.Clause

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

Kernel Prolog with Fluent based Builtins

PREV NEXT

FRAMES NO FRAMES

Uses of Class
tarau.jinni.Clause

Packages that use Clause
tarau.jinni

Uses of Clause in tarau.jinni

Fields in tarau.jinni declared as Clause

private Clause Unfolder.goal

Methods in tarau.jinni that return Clause

Clause Term.toClause()


static Clause Init.getGoal(java.lang.String line)


(package private) static Clause Init.getGoal()
          reads a query from input strea

(package private) Clause Unfolder.getAnswer()
          Extracts an answer at the end of an AND-derivation

Clause Parser.readClause()
          Main Parser interface: reads a clause together with variable name information

(package private) static Clause Parser.errorClause(java.lang.Exception e, java.lang.String type, int line, boolean verbose)


protected static Clause Parser.toClause(Term T, HashDict dict)


private Clause Parser.readClauseOrEOF()


static Clause Parser.clsFromString(java.lang.String s)


static Clause Clause.clauseFromString(java.lang.String s)
          Extracts a clause from its String representation.

Clause Clause.toGoal()
          Reads a goal as a clause containing a dummy header with all veriables in it

static Clause Clause.goalFromString(java.lang.String line)


Clause Clause.toClause()
          Clause to Term converter: the joy of strong typing:-)

Clause Clause.cnumbervars(boolean replaceAnonymous)
          Replaces varibles with nice looking upper case constants for printing purposes

(package private) Clause Clause.ccopy()
          Creates a copy of the clause with variables standardized apart, i.e.

(package private) Clause Clause.unfold(Clause that, Trail trail)
          Algebraic composition operation of 2 Clauses, doing the basic resolution step Jinni is based on.

(package private) Clause Clause.unfold_with_goal(Clause goal, Trail trail)


(package private) Clause Clause.unfoldedCopy(Clause that, Trail trail)

Methods in tarau.jinni with parameters of type Clause

static void Init.evalGoal(Clause Goal)
          evalutes a query

static void Init.timeGoal(Clause Goal)
          evaluates and times a Goal querying program P

(package private) void Unfolder.trace_goal(Clause g)
          Tracer on entering g

(package private) void Unfolder.trace_failing(Clause g)
          Tracer on exiting g

(package private) static Fun ClauseReader.extract_info(Clause C)


static void DataBase.addClause(Clause C, HashDict ktable)
          adds a Clause to the joint Linda and Predicate table

static void DataBase.processClause(Clause C, HashDict ktable)
          adds a Clause to the joint Linda and Predicate table

static boolean Parser.isError(Clause C)


static void Parser.showError(Clause C)


private java.lang.String Clause.Clause2String(Clause c)
          Prints out a clause as Head:-Body

(package private) Clause Clause.unfold(Clause that, Trail trail)
          Algebraic composition operation of 2 Clauses, doing the basic resolution step Jinni is based on.

(package private) Clause Clause.unfold_with_goal(Clause goal, Trail trail)


(package private) Clause Clause.unfoldedCopy(Clause that, Trail trail)

Constructors in tarau.jinni with parameters of type Clause

Prog.Prog(Clause goal, Prog parent)
Creates a Prog starting execution with argument "goal"

Unfolder.Unfolder(Clause g, Prog p)
Creates an Unfolder based on goal clause g for resolution step in program p