Searched refs:my_clause (Results 1 – 1 of 1) sorted by relevance
3313 Term my_clause; local3404 my_clause = inp_clause;3445 if (IsVarTerm(my_clause)) {3447 Yap_Error_Term = my_clause;3451 if (IsApplTerm(my_clause) && FunctorOfTerm(my_clause) == FunctorAssert) {3452 head = ArgOfTerm(1, my_clause);3453 body = ArgOfTerm(2, my_clause);3456 head = my_clause, body = MkAtomTerm(AtomTrue);3460 Yap_Error_Term = my_clause;