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

provide a real interface to exo routines: needed by raptor

Browse Source
This commit is contained in:
Vítor Santos Costa 2014-10-26 17:37:46 +00:00
parent 6c76a5f827
commit 86a79e2cab
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
C/exo.c
View File

@ -39,7 +39,7 @@
#endif
bool YAP_NewExo( PredEntry *ap, size_t data, struct udi_info *udi);
bool YAP_ExoAssert( PredEntry *pe, const Term *ts, size_t m);
bool YAP_AssertTuples( PredEntry *pe, const Term *ts, size_t m);
//static int exo_write=FALSE;
@ -726,7 +726,7 @@ store_exo(yamop *pc, UInt arity, Term t0)
}
bool
YAP_ExoAssert( PredEntry *pe, const Term *ts, size_t m)
YAP_AssertTuples( PredEntry *pe, const Term *ts, size_t m)
{
MegaClause *mcl = ClauseCodeToMegaClause(pe->cs.p_code.FirstClause);
size_t i, n = pe->cs.p_code.NOfClauses;