#include "clause_eval.h"

This page has information from files clause_eval.h and clause_eval.c.

Public Routines in File clause_eval.c

Clause_eval compile_clause_eval_rule(Term t);

BOOL eval_clause_in_rule(Topform c, Clause_eval p);

The following properties have fields in the clause, and if they hold, those flags should already be set: matches_hint, weight, semantics.

BOOL rule_contains_semantics(Clause_eval p);

void zap_clause_eval_rule(Clause_eval p);

typedef struct clause_eval *Clause_eval;