io.github.prolobjectlink.prolog.jlog

Class jMultifile

java.lang.Object

ubc.cs.JLog.Foundation.jType

ubc.cs.JLog.Terms.jTerm

ubc.cs.JLog.Terms.iPredicate

ubc.cs.JLog.Terms.jBuiltinPredicate

ubc.cs.JLog.Terms.jUnaryBuiltinPredicate

ubc.cs.JLog.Builtins.jUnaryOperator

io.github.prolobjectlink.prolog.jlog.jMultifile

All Implemented Interfaces:

ubc.cs.JLog.Foundation.iType, ubc.cs.JLog.Foundation.iUnifiable, ubc.cs.JLog.Terms.iConsultable, ubc.cs.JLog.Terms.iName, ubc.cs.JLog.Terms.iNameArity, ubc.cs.JLog.Terms.iTerm, ubc.cs.JLog.Terms.iValue

public class jMultifile
extends ubc.cs.JLog.Builtins.jUnaryOperator

Field Summary

Fields inherited from class ubc.cs.JLog.Terms.jUnaryBuiltinPredicate

rhs

Fields inherited from class ubc.cs.JLog.Foundation.jType

type

Fields inherited from interface ubc.cs.JLog.Terms.iTerm

EQUAL, GREATER_THAN, LESS_THAN

Fields inherited from interface ubc.cs.JLog.Foundation.iType

TYPE_ARITHMETIC, TYPE_ATOM, TYPE_BUILTINPREDICATE, TYPE_COMMAND, TYPE_COMPARE, TYPE_COMPOUND, TYPE_CONS, TYPE_IF, TYPE_INTEGER, TYPE_LIST, TYPE_NULLLIST, TYPE_NUMERICCOMPARE, TYPE_OBJECT, TYPE_OPERATOR, TYPE_OR, TYPE_ORPREDICATE, TYPE_PREDICATE, TYPE_PREDICATETERMS, TYPE_REAL, TYPE_TYPE, TYPE_UNARYARITHMETIC, TYPE_UNARYOPERATOR, TYPE_UNDEFINED, TYPE_VARIABLE

Constructor Summary

Constructors

Constructor and Description
jMultifile(ubc.cs.JLog.Terms.jTerm r)

Method Summary

Modifier and Type	Method and Description
protected ubc.cs.JLog.Terms.jUnaryBuiltinPredicate	duplicate(ubc.cs.JLog.Terms.jTerm arg0)
String	getName()
boolean	prove(ubc.cs.JLog.Builtins.Goals.jUnaryOperatorGoal arg0)

Methods inherited from class ubc.cs.JLog.Builtins.jUnaryOperator

addGoals, addGoals, toString

Methods inherited from class ubc.cs.JLog.Terms.jUnaryBuiltinPredicate

compareArguments, consult, consultReset, copy, duplicate, enumerateVariables, equivalenceArguments, getArguments, getArity, getRHS, isConsultNeeded, prove, registerUnboundVariables, registerVariables, unifyArguments

Methods inherited from class ubc.cs.JLog.Terms.jBuiltinPredicate

equivalence, unify

Methods inherited from class ubc.cs.JLog.Terms.iPredicate

compare

Methods inherited from class ubc.cs.JLog.Terms.jTerm

compare, copy, getTerm, getValue, requiresCompleteVariableState, toString

Methods inherited from class ubc.cs.JLog.Foundation.jType

getType, objectToString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

jMultifile

public jMultifile(ubc.cs.JLog.Terms.jTerm r)

Method Detail

getName

public String getName()

Specified by:

getName in interface ubc.cs.JLog.Terms.iName

Specified by:

getName in interface ubc.cs.JLog.Terms.iTerm

Overrides:

getName in class ubc.cs.JLog.Terms.jTerm

prove

public boolean prove(ubc.cs.JLog.Builtins.Goals.jUnaryOperatorGoal arg0)

Specified by:

prove in class ubc.cs.JLog.Builtins.jUnaryOperator

duplicate

protected ubc.cs.JLog.Terms.jUnaryBuiltinPredicate duplicate(ubc.cs.JLog.Terms.jTerm arg0)

Specified by:

duplicate in class ubc.cs.JLog.Terms.jUnaryBuiltinPredicate