alice.tuprolog

Class PrimitiveManager

java.lang.Object

alice.tuprolog.PrimitiveManager

public class PrimitiveManager
extends Object

Administration of primitive predicates

Author:

Alex Benini

Constructor Summary

Constructors

Constructor and Description
PrimitiveManager()

Method Summary

Methods

Modifier and Type	Method and Description
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 Throwable

Throws:

Throwable

identifyPredicate

public void identifyPredicate(Term term)

identifyFunctor

public void identifyFunctor(Term term)