|
GNU Prolog for Java | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CompoundTerm | |
---|---|
gnu.prolog.database | |
gnu.prolog.io | |
gnu.prolog.io.parser.gen | |
gnu.prolog.term | Contains the various types of Term that can be used. |
gnu.prolog.vm | |
gnu.prolog.vm.buildins.database | |
gnu.prolog.vm.buildins.datetime | |
gnu.prolog.vm.buildins.list |
Uses of CompoundTerm in gnu.prolog.database |
---|
Methods in gnu.prolog.database with parameters of type CompoundTerm | |
---|---|
void |
PrologTextLoaderState.defineExternal(PrologTextLoader loader,
CompoundTerm pi,
String javaClassName,
Predicate.TYPE type)
|
Uses of CompoundTerm in gnu.prolog.io |
---|
Methods in gnu.prolog.io with parameters of type CompoundTerm | |
---|---|
protected void |
TermWriter.displayCompound(WriteOptions options,
int priority,
CompoundTerm term)
display compound term |
protected void |
TermWriter.displayList(WriteOptions options,
CompoundTerm term)
display list |
Uses of CompoundTerm in gnu.prolog.io.parser.gen |
---|
Methods in gnu.prolog.io.parser.gen that return CompoundTerm | |
---|---|
CompoundTerm |
TermParser.compound(ReadOptions options)
|
Uses of CompoundTerm in gnu.prolog.term |
---|
Methods in gnu.prolog.term that return CompoundTerm | |
---|---|
static CompoundTerm |
CompoundTerm.getConjunction(Term head,
Term tail)
get conjunction term |
static CompoundTerm |
CompoundTerm.getDisjunction(Term head,
Term tail)
get disjunction term |
static CompoundTerm |
CompoundTerm.getList(Term head,
Term tail)
get list pair |
CompoundTerm |
CompoundTermTag.getPredicateIndicator()
get predicate indicator for this tag |
Methods in gnu.prolog.term with parameters of type CompoundTerm | |
---|---|
static CompoundTermTag |
CompoundTermTag.get(CompoundTerm predicateIndicator)
get compound term tag |
Uses of CompoundTerm in gnu.prolog.vm |
---|
Fields in gnu.prolog.vm declared as CompoundTerm | |
---|---|
protected CompoundTerm |
UndefinedPredicateCode.predicateIndicator
predicate indicator for this procedure |
Uses of CompoundTerm in gnu.prolog.vm.buildins.database |
---|
Methods in gnu.prolog.vm.buildins.database with parameters of type CompoundTerm | |
---|---|
protected void |
Predicate_assertz.assertPred(Predicate p,
CompoundTerm clause)
assert a clause |
protected void |
Predicate_asserta.assertPred(Predicate p,
CompoundTerm clause)
assert a clause |
protected abstract void |
Predicate_assert.assertPred(Predicate p,
CompoundTerm clause)
assert a clause |
Uses of CompoundTerm in gnu.prolog.vm.buildins.datetime |
---|
Methods in gnu.prolog.vm.buildins.datetime with parameters of type CompoundTerm | |
---|---|
protected Term |
Predicate_date_time_value.getDate9Value(Term term,
CompoundTerm date9)
|
Uses of CompoundTerm in gnu.prolog.vm.buildins.list |
---|
Constructors in gnu.prolog.vm.buildins.list with parameters of type CompoundTerm | |
---|---|
Predicate_predsort.CallPredComparator(Interpreter interp,
CompoundTerm call)
|
|
GNU Prolog for Java | |||||||||
PREV NEXT | FRAMES NO FRAMES |