diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

try to improve manual.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@527 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2002-06-11 05:50:29 +00:00
parent 0f027df00c
commit d7665e2b30
2 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
docs/yap.tex
View File

@ -12736,7 +12736,8 @@ static int start_n100()
The routine starts by getting the dereference value of the argument.
The call to @code{PRESERVE_DATA} is used to initialize the memory which will
hold the information to be preserved across backtracking.
hold the information to be preserved across backtracking. The first
argument is the variable we shall use, and the second its type.
If the argument of the predicate is a variable, the routine initializes the
structure to be preserved across backtracking with the information
@ -12799,7 +12800,8 @@ call to
@noindent
where @code{name} is a string with the name of the predicate, @code{init} and
@code{cont} are the C functions used to start and continue the execution of
the predicate, and @code{arity} is the predicate arity.
the predicate, @code{arity} is the predicate arity, and @code{sizeof} is
the size of the data to be preserved in the stack.
@node Loading Objects, Sav&Rest, Writing C, C-Interface
@section Loading Object Files

8
include/c_interface.h
View File

@ -331,13 +331,11 @@ static Int (*YapIArityOfFunctor)() = YapArityOfFunctor;
extern X_API void *PROTO(YapExtraSpace,(void));
#ifdef IndirectCalls
static void *(*YapIExtraSpace)() = YapExtraSpace;
#define ExtraSpace() (*YapExtraSpace)()
#else
#define ExtraSpace() YapExtraSpace()
#define YapExtraSpace() (*YapExtraSpace)()
#endif
#define PRESERVE_DATA(ptr, type) (ptr = (type *)ExtraSpace())
#define PRESERVED_DATA(ptr, type) (ptr = (type *)ExtraSpace())
#define PRESERVE_DATA(ptr, type) (ptr = (type *)YapExtraSpace())
#define PRESERVED_DATA(ptr, type) (ptr = (type *)YapExtraSpace())
/* Int unify(Term a, Term b) */
extern X_API Int PROTO(YapUnify,(Term, Term));