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

compute mian functor correctly a(X), [Y] <-- b(X,Y).

Browse Source
This commit is contained in:
Vítor Santos Costa 2014-10-07 21:04:54 +01:00
parent ef73a788d9
commit ad82a2619d
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
C/cdmgr.c
View File

@ -2103,6 +2103,8 @@ PredEntry * Yap_PredFromClause( Term t USES_REGS )
t = ArgOfTerm( 2, t ); t = ArgOfTerm( 2, t );
} else if ( f == FunctorAssert ) { } else if ( f == FunctorAssert ) {
t = ArgOfTerm(1, t); t = ArgOfTerm(1, t);
} else if ( f == FunctorComma && extra_arity == 2 ) {
t = ArgOfTerm(1, t);
} else if ( f == FunctorDoubleArrow ) { } else if ( f == FunctorDoubleArrow ) {
extra_arity = 2; extra_arity = 2;
t = ArgOfTerm(1, t); t = ArgOfTerm(1, t);