YAPPrologPredicate¶

This class interfaces with Predicates Implemented in Prolog.

Public Function:¶

1. YAPPrologPredicate::YAPPrologPredicate(YAPTerm t):

1. YAPPrologPredicate::YAPPrologPredicate(const char *s, arity_t arity):

1. YAPPrologPredicate::YAPPrologPredicate(YAPAtom s, arity_t arity):

1. bool YAPPrologPredicate::assertClause(YAPTerm clause, bool last=true, YAPTerm source=YAPTerm()):

1. bool YAPPrologPredicate::assertFact(YAPTerm *tuple, bool last=true): : add a new tuple

1. void * YAPPrologPredicate::retractClause(YAPTerm skeleton, bool all=false): : retract at least the first clause matching the predicate.

1. YAPTerm * YAPPrologPredicate::nextClause():

Class: YAPPredicate¶