alice.tuprolog
Class PrimitiveManager
java.lang.Object
alice.tuprolog.PrimitiveManager
- public class PrimitiveManager
- extends java.lang.Object
Administration of primitive predicates
- Author:
- Alex Benini
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PrimitiveManager
public PrimitiveManager()
identifyDirective
public Term identifyDirective(Term term)
- Identifies the term passed as argument.
This involves identifying structs representing builtin
predicates and functors, and setting up related structures and links
- Returns:
- term with the identified built-in directive
evalAsDirective
public boolean evalAsDirective(Struct d)
throws java.lang.Throwable
- Throws:
java.lang.Throwable
identifyPredicate
public void identifyPredicate(Term term)
identifyFunctor
public void identifyFunctor(Term term)