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).

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  private java.util.Set<java.lang.String> loadedResources
  
  private java.lang.Object lock
- Constructor Summary
  
  Constructors
  Constructor Description
  
  EnsureLoaded()
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  protected boolean evaluate(Term arg)
  
  private java.lang.String getResourceName(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

Field Detail

lock
```
private final java.lang.Object lock
```

loadedResources

private final java.util.Set<java.lang.String> loadedResources

Constructor Detail
- EnsureLoaded
```
public EnsureLoaded()
```

Method Detail

evaluate
```
protected boolean evaluate(Term arg)
```
Overrides:

evaluate in class AbstractSingleResultPredicate

getResourceName

private java.lang.String getResourceName(Term arg)