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

have different types for Functor,Atom and Term.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@555 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2002-06-26 05:24:51 +00:00
parent 73cfb5f100
commit e476bc0abc
3 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
changes4.3.html
View File

@ -17,6 +17,10 @@
<h2>Yap-4.3.23:</h2> <h2>Yap-4.3.23:</h2>
<ul> <ul>
<li>FIXED: make call_with_args/* check if first arg is atom.</li>
<li>FIXED: make cd/1 complain on bugs.</li>
<li>FIXED: always do something on gmp allocation (request from
Roberto Bagnara).</li>
<li>FIXED: always allow abolish on static predicates.</li> <li>FIXED: always allow abolish on static predicates.</li>
<li>UPDATE: include new apply_macros code from Erick Alphonse, <li>UPDATE: include new apply_macros code from Erick Alphonse,
and acknowledge J. Schimpf.</li> and acknowledge J. Schimpf.</li>

2
console/yap.c
View File

@ -145,7 +145,7 @@ do_bootfile (char *bootfilename)
Term term_nil = MkAtomTerm(YapLookupAtom("[]")); Term term_nil = MkAtomTerm(YapLookupAtom("[]"));
Term term_end_of_file = MkAtomTerm(YapLookupAtom("end_of_file")); Term term_end_of_file = MkAtomTerm(YapLookupAtom("end_of_file"));
Term term_true = MkAtomTerm(YapLookupAtom("true")); Term term_true = MkAtomTerm(YapLookupAtom("true"));
Term functor_query = MkFunctor(YapLookupAtom("?-"),1); Functor functor_query = MkFunctor(YapLookupAtom("?-"),1);
fprintf(stderr,"Entering Yap\n"); fprintf(stderr,"Entering Yap\n");

6
include/yap_structs.h
View File

@ -36,7 +36,11 @@ typedef long int Int;
typedef double flt; typedef double flt;
typedef CELL Term, Functor, Atom; typedef CELL Term;
typedef struct FunctorEntry *Functor;
typedef struct AtomEntry *Atom;
#ifndef TRUE #ifndef TRUE
#define TRUE 1 #define TRUE 1