org.jpc.engine.logtalk

Class LogtalkObject<T extends Term>

java.lang.Object

org.jpc.engine.logtalk.LogtalkObject<T>

All Implemented Interfaces:

TermConvertable<T>, PrologDatabase

Direct Known Subclasses:

Logtalk, User

public class LogtalkObject<T extends Term>
extends Object
implements TermConvertable<T>, PrologDatabase

Constructor Summary

Constructors

Constructor and Description
LogtalkObject(Object object, PrologEngine prologEngine)
LogtalkObject(Object object, PrologEngine prologEngine, Jpc context)

Method Summary

Modifier and Type	Method and Description
boolean	abolish(Term term)
int	arity()
boolean	asserta(Term term) Assert a clause in the logic database.
boolean	assertz(Term term) Assert a clause in the logic database.
T	asTerm()
Query	clause(Term head, Term body)
Query	currentOp(Term priority, Term specifier, Term operator)
Query	currentPredicate(Term predicate)
static boolean	isLogtalkMessage(Term term)
static Compound	logtalkMessage(Term receiver, String message)
static Compound	logtalkMessage(Term receiver, String message, List<? extends Term> args)
static Compound	logtalkMessage(Term receiver, Term message)
Term	message(Term message)
Term	name()
Query	perform(Term message)
Query	predicateProperty(Term predicate, Term property)
Query	retract(Term term)
boolean	retractAll(Term term)
Query	threaded(Term goals)
boolean	threadedCall(Term goal)
boolean	threadedCall(Term goal, Term tag)
Query	threadedExit(Term goal)
Query	threadedExit(Term goal, Term tag)
boolean	threadedIgnore(Term goal)
Query	threadedNotify(Term term)
boolean	threadedOnce(Term goal)
boolean	threadedOnce(Term goal, Term tag)
boolean	threadedPeek(Term goal)
boolean	threadedPeek(Term goal, Term tag)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

LogtalkObject

public LogtalkObject(Object object,
                     PrologEngine prologEngine)

LogtalkObject

public LogtalkObject(Object object,
                     PrologEngine prologEngine,
                     Jpc context)

Method Detail

logtalkMessage

public static Compound logtalkMessage(Term receiver,
                                      String message)

logtalkMessage

public static Compound logtalkMessage(Term receiver,
                                      String message,
                                      List<? extends Term> args)

logtalkMessage

public static Compound logtalkMessage(Term receiver,
                                      Term message)

isLogtalkMessage

public static boolean isLogtalkMessage(Term term)

message

public Term message(Term message)

perform

public Query perform(Term message)

toString

public String toString()

Overrides:

toString in class Object

asTerm

public T asTerm()

Specified by:

asTerm in interface TermConvertable<T extends Term>

name

public Term name()

arity

public int arity()

asserta

public boolean asserta(Term term)

Description copied from interface: PrologDatabase

Assert a clause in the logic database. Term is asserted as the first fact or rule of the corresponding predicate.

Specified by:

asserta in interface PrologDatabase

Returns:

assertz

public boolean assertz(Term term)

Description copied from interface: PrologDatabase

Assert a clause in the logic database. Term is asserted as the last fact or rule of the corresponding predicate.

Specified by:

assertz in interface PrologDatabase

Returns:

retract

public Query retract(Term term)

Specified by:

retract in interface PrologDatabase

retractAll

public boolean retractAll(Term term)

Specified by:

retractAll in interface PrologDatabase

abolish

public boolean abolish(Term term)

Specified by:

abolish in interface PrologDatabase

clause

public Query clause(Term head,
                    Term body)

Specified by:

clause in interface PrologDatabase

currentOp

public Query currentOp(Term priority,
                       Term specifier,
                       Term operator)

predicateProperty

public Query predicateProperty(Term predicate,
                               Term property)

currentPredicate

public Query currentPredicate(Term predicate)

threaded

public Query threaded(Term goals)

threadedCall

public boolean threadedCall(Term goal)

threadedCall

public boolean threadedCall(Term goal,
                            Term tag)

threadedOnce

public boolean threadedOnce(Term goal)

threadedOnce

public boolean threadedOnce(Term goal,
                            Term tag)

threadedPeek

public boolean threadedPeek(Term goal)

threadedPeek

public boolean threadedPeek(Term goal,
                            Term tag)

threadedExit

public Query threadedExit(Term goal)

threadedExit

public Query threadedExit(Term goal,
                          Term tag)

threadedIgnore

public boolean threadedIgnore(Term goal)

threadedNotify

public Query threadedNotify(Term term)