Searched refs:a_modulo (Results 1 – 2 of 2) sorted by relevance
80 Prolog_atom a_modulo; variable208 { &a_modulo, "/" },1083 if (functor == a_modulo) { in build_congruence()1295 Prolog_atom relation2 = a_modulo; in congruence_term()
347 extern Prolog_atom a_modulo;