YAP allows a list to execute
This commit is contained in:
parent
f3b0e962a7
commit
34d3d7c176
@ -118,6 +118,9 @@ restart:
|
|||||||
return RepPredProp(Yap_GetPredPropByAtom(AtomOfTerm(t), tmod));
|
return RepPredProp(Yap_GetPredPropByAtom(AtomOfTerm(t), tmod));
|
||||||
} else if (IsIntegerTerm(t) && tmod == IDB_MODULE) {
|
} else if (IsIntegerTerm(t) && tmod == IDB_MODULE) {
|
||||||
return Yap_FindLUIntKey(IntegerOfTerm(t));
|
return Yap_FindLUIntKey(IntegerOfTerm(t));
|
||||||
|
} else if (IsPairTerm(t)) {
|
||||||
|
t = Yap_MkApplTerm(FunctorCsult, 1, &t);
|
||||||
|
goto restart;
|
||||||
} else if (IsApplTerm(t)) {
|
} else if (IsApplTerm(t)) {
|
||||||
Functor fun = FunctorOfTerm(t);
|
Functor fun = FunctorOfTerm(t);
|
||||||
if (IsExtensionFunctor(fun)) {
|
if (IsExtensionFunctor(fun)) {
|
||||||
|
Reference in New Issue
Block a user