See: Description
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. |
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. |
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. |
Copyright © 2024. All rights reserved.