org.jpc.engine.prolog

Interface PrologDatabase

All Known Subinterfaces:

PrologEngine

All Known Implementing Classes:

AbstractPrologEngine, JpcEngine, Logtalk, LogtalkEngine, LogtalkObject, PrologEngineProxy, User

public interface PrologDatabase

Method Summary

Modifier and Type	Method and Description
boolean	abolish(Term term)
boolean	asserta(Term term) Assert a clause in the logic database.
boolean	assertz(Term term) Assert a clause in the logic database.
Query	clause(Term head, Term body)
Query	retract(Term term)
boolean	retractAll(Term term)

Method Detail

asserta

boolean asserta(Term term)

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

Parameters:

terms - the terms to assert

Returns:

assertz

boolean assertz(Term term)

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

Parameters:

terms - the terms to assert

Returns:

retract

Query retract(Term term)

retractAll

boolean retractAll(Term term)

abolish

boolean abolish(Term term)

clause

Query clause(Term head,
             Term body)