eval.c File Reference

#include "Yap.h"
#include "YapHeap.h"
#include "Yatom.h"
#include "YapEval.h"
#include <stdlib.h>

Go to the source code of this file.

Functions
Term	Yap_InnerEval__ (Term t USES_REGS)
void	Yap_EvalError__ (const char *file, const char *function, int lineno, yap_error_number type, Term where,...)
void	Yap_InitEval (void)