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

package org.projog.core.predicate.builtin.kb
Predicates for inspecting, adding and retracting clauses.
  • Classes
    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.
    Tabling
    table/1 - defines a user defined predicate as using tabled execution.