Searched defs:notation3 (Results 1 – 1 of 1) sorted by relevance
113 notation0, notation1, notation2, notation3, notation4, variable715 notation3(PROLOG_STATE *state, in notation3() function