Uses of Class
ubc.cs.JLog.Foundation.jGoal

Packages that use jGoal

ubc.cs.JLog.Builtins
ubc.cs.JLog.Builtins.Goals
ubc.cs.JLog.Foundation
ubc.cs.JLog.Terms
ubc.cs.JLog.Terms.Goals

Uses of jGoal in ubc.cs.JLog.Builtins

Methods in ubc.cs.JLog.Builtins with parameters of type jGoal

void	jRead.addGoals(jGoal g, iGoalStack goals)
void	jCopyTerm.addGoals(jGoal g, iGoalStack goals)
void	jTime.addGoals(jGoal g, iGoalStack goals)
void	jRetract.addGoals(jGoal g, iGoalStack goals)
void	jUnionArray.addGoals(jGoal g, iGoalStack goals)
void	jIsReal.addGoals(jGoal g, iGoalStack goals)
void	jExists.addGoals(jGoal g, iGoalStack goals)
void	jFunctor.addGoals(jGoal g, iGoalStack goals)
void	jEnumerateVariablesArray.addGoals(jGoal g, iGoalStack goals)
void	jRepeat.addGoals(jGoal g, iGoalStack goals)
void	jGetArrayElement.addGoals(jGoal g, iGoalStack goals)
void	jName.addGoals(jGoal g, iGoalStack goals)
void	jCall.addGoals(jGoal g, iGoalStack goals)
void	jAppendArray.addGoals(jGoal g, iGoalStack goals)
void	jCompare.addGoals(jGoal g, iGoalStack goals)
void	jTermToList.addGoals(jGoal g, iGoalStack goals)
void	jEquivalent.addGoals(jGoal g, iGoalStack goals)
void	jOperator.addGoals(jGoal g, iGoalStack goals)
void	jCurrentOpList.addGoals(jGoal g, iGoalStack goals)
void	jEquivalence.addGoals(jGoal g, iGoalStack goals)
void	jSort.addGoals(jGoal g, iGoalStack goals)
void	jWrite.addGoals(jGoal g, iGoalStack goals)
void	jAssert.addGoals(jGoal g, iGoalStack goals)
void	jOp.addGoals(jGoal g, iGoalStack goals)
void	jIs.addGoals(jGoal g, iGoalStack goals)
void	jIntersectArray.addGoals(jGoal g, iGoalStack goals)
void	jIsInteger.addGoals(jGoal g, iGoalStack goals)
void	jCallN.addGoals(jGoal g, iGoalStack goals)
void	jSetArrayElement.addGoals(jGoal g, iGoalStack goals)
void	jCut.addGoals(jGoal g, iGoalStack goals)
void	jUnaryOperator.addGoals(jGoal g, iGoalStack goals)
void	jUnaryArithmetic.addGoals(jGoal g, iGoalStack goals) Arithmetics are intended as expressions for is, if used a predicate they fail.
void	jAsserta.addGoals(jGoal g, iGoalStack goals)
void	jSubtractArray.addGoals(jGoal g, iGoalStack goals)
void	jRead.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jCopyTerm.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jTime.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jRetract.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jUnionArray.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jIsReal.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jExists.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jFunctor.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jEnumerateVariablesArray.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jRepeat.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jGetArrayElement.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jName.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jCall.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jAppendArray.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jCompare.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jTermToList.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jEquivalent.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jOperator.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jCurrentOpList.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jEquivalence.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jSort.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jWrite.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jAssert.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jOp.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jIs.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jIntersectArray.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jIsInteger.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jCallN.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jSetArrayElement.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jCut.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jUnaryOperator.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jUnaryArithmetic.addGoals(jGoal g, jVariable[] vars, iGoalStack goals) Arithmetics are intended as expressions for is, if used a predicate they fail.
void	jAsserta.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jSubtractArray.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)

Uses of jGoal in ubc.cs.JLog.Builtins.Goals

Subclasses of jGoal in ubc.cs.JLog.Builtins.Goals

class	jAppendArrayGoal Goal for appending terms to array of terms.
class	jAssertGoal
class	jCallGoal
class	jCallNGoal
class	jCompareGoal
class	jCopyGoal
class	jCurrentOpListGoal
class	jCutGoal
class	jEnumerateVariablesArrayGoal
class	jEquivalenceGoal
class	jEquivGoal
class	jFunctorGoal
class	jGetArrayElementGoal Goal for getting the term element of an array at a given index.
class	jIntersectArrayGoal Goal for getting the intersection of term arrays.
class	jIsGoal
class	jNameGoal
class	jOperatorGoal
class	jOpGoal
class	jReadGoal Goal for inputing text from the console.
class	jRepeatGoal
class	jRetractGoal
class	jSetArrayElementGoal Goal for setting the term element of an array at a given index.
class	jSortGoal
class	jSubtractArrayGoal Goal for subtracting terms from array of terms.
class	jTermToListGoal
class	jTimeGoal
protected class	jTimeGoal.jReportTimeGoal
class	jUnaryArithmeticGoal
class	jUnaryOperatorGoal
class	jUnionArrayGoal Goal for getting the union of term arrays.
class	jWriteGoal Goal for displaying text to the console.

Fields in ubc.cs.JLog.Builtins.Goals declared as jGoal

protected jGoal	jCallGoal.end_goal
protected jGoal	jCutGoal.rule_goal

Methods in ubc.cs.JLog.Builtins.Goals with parameters of type jGoal

void	jCallGoal.setEndGoal(jGoal goal)
void	jCutGoal.setRuleGoal(jGoal rule)

Constructors in ubc.cs.JLog.Builtins.Goals with parameters of type jGoal

jCutGoal(jGoal rule)

Uses of jGoal in ubc.cs.JLog.Foundation

Subclasses of jGoal in ubc.cs.JLog.Foundation

class

jUserGoal Goal for getting user queries.

Fields in ubc.cs.JLog.Foundation declared as jGoal

protected jGoal	jDebugProveGoalEvent.goal
protected jGoal	jDebugFailGoalEvent.goal
protected jGoal	jDebugTryGoalEvent.goal
protected jGoal	jDebugProvedGoalStack.jDebugGoalItem.goal
protected jGoal	jDebugRetryGoalEvent.goal
protected jGoal	jGoalStack.head
protected jGoal	jDebugTryGoalEvent.next
jGoal	jGoal.next
protected jGoal	jDebugProvedGoalStack.jDebugGoalItem.next

Methods in ubc.cs.JLog.Foundation that return jGoal

jGoal	jGoalStack.cut(jGoal item)
jGoal	jDebugProvedGoalStack.cut(jGoal item)
jGoal	iGoalStack.cut(jGoal item) Removes all goals above the specified item.
jGoal	jDebugProveGoalEvent.getGoal()
jGoal	jDebugFailGoalEvent.getGoal()
jGoal	jDebugTryGoalEvent.getGoal()
jGoal	jDebugProvedGoalStack.jDebugGoalItem.getGoal()
jGoal	jDebugRetryGoalEvent.getGoal()
jGoal	jDebugTryGoalEvent.getNextGoal()
jGoal	jDebugProvedGoalStack.jDebugGoalItem.getNextGoal()
jGoal	jGoalStack.peek()
jGoal	jDebugProvedGoalStack.peek()
jGoal	iGoalStack.peek() Returns the top goal of the stack, without removing that goal.
jGoal	jGoalStack.peekn(int n)
jGoal	jDebugProvedGoalStack.peekn(int n)
jGoal	iGoalStack.peekn(int n) Returns the nth goal on the stack, without removing that goal.
jGoal	jDebugGoalStack.peekTopGoal()
jGoal	jGoalStack.pop()
jGoal	jDebugProvedGoalStack.pop()
jGoal	iGoalStack.pop() Returns and removes the top goal of the stack.
jGoal	jGoalStack.push(jGoal item)
jGoal	jDebugProvedGoalStack.push(jGoal item)
jGoal	iGoalStack.push(jGoal item) Places the provided goal item as the top element of the stack.

Methods in ubc.cs.JLog.Foundation with parameters of type jGoal

jGoal	jGoalStack.cut(jGoal item)
jGoal	jDebugProvedGoalStack.cut(jGoal item)
jGoal	iGoalStack.cut(jGoal item) Removes all goals above the specified item.
jDebugProvedGoalStack.jDebugGoalItem	jDebugProvedGoalStack.getDebugItem(jGoal item)
Vector	jDebugProvedGoalStack.getProvedDebugItems(jGoal next)
Vector	jDebugGoalStack.getTopGoals(jGoal bottom)
jGoal	jGoalStack.push(jGoal item)
jGoal	jDebugProvedGoalStack.push(jGoal item)
jGoal	iGoalStack.push(jGoal item) Places the provided goal item as the top element of the stack.
void	jDebugProvedGoalStack.jDebugGoalItem.setNextGoal(jGoal n)

Constructors in ubc.cs.JLog.Foundation with parameters of type jGoal

jDebugFailGoalEvent(jGoal g)

jDebugProvedGoalStack.jDebugGoalItem(jGoal g)

jDebugProveGoalEvent(jGoal g, Vector sg)

jDebugRetryGoalEvent(jGoal g)

jDebugTryGoalEvent(jGoal g, jGoal n)

Uses of jGoal in ubc.cs.JLog.Terms

Methods in ubc.cs.JLog.Terms with parameters of type jGoal

void	jBinaryBuiltinPredicate.addGoals(jGoal g, iGoalStack goals)
void	jAtom.addGoals(jGoal g, iGoalStack goals)
void	jClause.addGoals(jGoal g, iGoalStack goals)
void	jTrue.addGoals(jGoal g, iGoalStack goals)
void	jOrPredicate.addGoals(jGoal g, iGoalStack goals)
void	jPredicateTerms.addGoals(jGoal g, iGoalStack goals)
abstract void	iPredicate.addGoals(jGoal g, iGoalStack goals) Adds goal to prove this predicate onto goal stack.
void	jPredicate.addGoals(jGoal g, iGoalStack goals)
void	jNaryBuiltinPredicate.addGoals(jGoal g, iGoalStack goals)
void	jQuadaryBuiltinPredicate.addGoals(jGoal g, iGoalStack goals)
void	jFail.addGoals(jGoal g, iGoalStack goals)
void	jTrinaryBuiltinPredicate.addGoals(jGoal g, iGoalStack goals)
void	jDCG.addGoals(jGoal g, iGoalStack goals)
void	jUnaryBuiltinPredicate.addGoals(jGoal g, iGoalStack goals)
void	jBinaryBuiltinPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jAtom.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jClause.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jTrue.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jOrPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jPredicateTerms.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
abstract void	iPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals) Adds goal to prove this predicate onto goal stack.
void	jPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jNaryBuiltinPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jQuadaryBuiltinPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jFail.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jTrinaryBuiltinPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jDCG.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jUnaryBuiltinPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
boolean	jOrPredicate.prove(jOrGoal og, jGoal g, iGoalStack goals)
boolean	jOrPredicate.prove(jOrGoal og, jGoal g, jVariable[] vars, iGoalStack goals)

Uses of jGoal in ubc.cs.JLog.Terms.Goals

Subclasses of jGoal in ubc.cs.JLog.Terms.Goals

class	jBinaryBuiltinPredicateGoal A very basic goal for binary builtin predicates.
class	jClauseGoal
class	jFailGoal
class	jNaryBuiltinPredicateGoal A very basic goal for N-ary builtin predicates.
class	jOrGoal
class	jOrGoalWVars
class	jPredicateGoal
class	jQuadaryBuiltinPredicateGoal A very basic goal for quadary builtin predicates.
class	jTrinaryBuiltinPredicateGoal A very basic goal for trinary builtin predicates.
class	jTrueGoal
class	jUnaryBuiltinPredicateGoal A very basic goal for unary builtin predicates.

Fields in ubc.cs.JLog.Terms.Goals declared as jGoal

protected jGoal	jOrGoal.end_goal
protected jGoal	jPredicateGoal.end_goal
protected jGoal	jOrGoal.head_goal

Methods in ubc.cs.JLog.Terms.Goals with parameters of type jGoal

void	jPredicateGoal.setEndGoal(jGoal goal)

Constructors in ubc.cs.JLog.Terms.Goals with parameters of type jGoal

jOrGoal(jOrPredicate op, jGoal g, jGoal end)

jOrGoalWVars(jOrPredicate op, jGoal g, jVariable[] v, jGoal end)