org.projog.core.predicate.builtin.kb

Class EnsureLoaded

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.kb.EnsureLoaded

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class EnsureLoaded
extends AbstractSingleResultPredicate

ensure_loaded(X) - reads clauses and goals from a file.

ensure_loaded(X) reads clauses and goals from a file. X must be instantiated to the name of a text file containing Prolog clauses and goals which will be added to the knowledge base. Will do nothing when X represents a file that has already been loaded using ensure_loaded(X).

Constructor Summary

Constructors

Constructor and Description
EnsureLoaded()

Method Summary

Modifier and Type	Method and Description
protected boolean	evaluate(Term arg)

Methods inherited from class org.projog.core.predicate.AbstractSingleResultPredicate

evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.projog.core.predicate.PredicateFactory

isAlwaysCutOnBacktrack

Constructor Detail

EnsureLoaded

public EnsureLoaded()

Method Detail

evaluate

protected boolean evaluate(Term arg)

Overrides:

evaluate in class AbstractSingleResultPredicate