globals.c File Reference

support for backtrable and non-backtrackable variables in Prolog More...

#include "Yap.h"
#include "YapEval.h"
#include "YapHeap.h"
#include "Yatom.h"
#include "attvar.h"
#include "clause.h"
#include "heapgc.h"
#include "iopreds.h"
#include "yapio.h"
#include <math.h>
#include "YapArenas.h"
#include "YapError.h"
#include "terms.h"

Go to the source code of this file.

Macros
#define	GLOBALS_C   1
#define	QUEUE_FUNCTOR_ARITY   4
#define	QUEUE_ARENA   0
#define	QUEUE_HEAD   1
#define	QUEUE_TAIL   2
#define	QUEUE_SIZE   3
#define	HEAP_FUNCTOR_MIN_ARITY
#define	HEAP_SIZE   0
#define	HEAP_MAX   1
#define	HEAP_ARENA   2
#define	HEAP_START   3

Functions
Term	Yap_SetGlobalVal (Atom at, Term t0)
Term	Yap_CopyTermToArena (Term inp, Term *arenap)
Term	Yap_SaveTerm (Term t0)
Term	Yap_GetGlobal (Atom at)
Int	Yap_DeleteGlobal (Atom at)
CELL *	new_heap_entry (CELL *qd)
void	Yap_InitGlobals (void)

Detailed Description

support for backtrable and non-backtrackable variables in Prolog

Author

VITOR SANTOS COSTA vsc@V.nosp@m.ITOR.nosp@m.s-MBP.nosp@m..lan

Date

Tue Nov 17 23:16:17 2015

Definition in file globals.c.