4 % Purpose: XREF definitions for UTIL predicates /* This file defines all the predicates found in UTIL. It is intended for use with the Prolog Cross Referencer XREF, which will take them into account when producing the Cross reference Listing for your programs. */ % UTIL operators % (from UTIL.OPS) op(1100, xfy, (\\)). op( 950, xfy, #). op( 850, xfy, &). op( 710, fy, [not,thnot]). op( 700, xfx, \=). op( 300, , fx, redo). op( 300, fx, tlim). op( 300, fx, ton). op( 300, fx, toff). % (from ARITH.OPS) op( 500, yfx, [++,--]). op( 400, yfx, [div,mod]). op( 300, xfy, [:,^]). % UTIL procedures known( &(Goal1,Goal2), utility ). applies( &(Goal1,Goal2), Goal1 ). applies( &(Goal1,Goal2), 2 ). known( \=(X,Y), utility ). known( \\(Goal1,Goal2), utility ). applies( \\(Goal1,Goal2), Goal1 ). applies( \\(Goal1,Goal2), Goal2 ). known( add_element(Elem,S1,S2)