Package org.projog.core.predicate.builtin.kb

Predicates for inspecting, adding and retracting clauses.

Class Summary

Class	Description
AddArithmeticOperator	pj_add_arithmetic_operator(X,Y) - defines a Java class as an arithmetic operator.
AddPredicateFactory	pj_add_predicate(X,Y) - defines a Java class as a built-in predicate.
AddUserDefinedArithmeticOperator	arithmetic_function(X) - defines a predicate as an arithmetic function.
AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator
Assert	asserta(X) / assertz(X) - adds a clause to the knowledge base.
Consult	consult(X) - reads clauses and goals from a file.
ConsultList	Read clauses and goals from a list of files.
CurrentPredicate	current_predicate(X) - unifies with defined predicates.
CurrentPredicate.Retryable
Dynamic	dynamic/1 - indicates that a user defined predicate is dynamic.
EnsureLoaded	ensure_loaded(X) - reads clauses and goals from a file.
Flag	flag(X,Y,Z) - associates a key with a value.
Inspect	clause(X,Y) / retract(X) - matches terms to existing clauses.
Listing	listing(X) - outputs current clauses.
RetractAll	retractall(X) - remove clauses from the knowledge base.