alice.tuprolog
Class PrimitiveManager

java.lang.Object
  extended byalice.tuprolog.PrimitiveManager

public class PrimitiveManager
extends java.lang.Object

Administration of primitive predicates

Author:
Alex Benini

Constructor Summary
PrimitiveManager()
           
 
Method Summary
 boolean evalAsDirective(Struct d)
           
 Term identifyDirective(Term term)
          Identifies the term passed as argument.
 void identifyFunctor(Term term)
           
 void identifyPredicate(Term term)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PrimitiveManager

public PrimitiveManager()
Method Detail

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)