August 198 , xfy, (\\)). op( 950, xfy, #). op( 850, xfy, &). op( 710, fy, [not,thnot]). op( 700, xfx, \=). op( 300, fx, edit). op( 300, fx, redo). op( 300, fx, tlim). op( 300, fx, ton). op( 300, fx, toff). % , xfy, [:,^]). % UTIL procedures known( &(Goal1,Goal2), utility ). applies( &(Goal1,Goal2), Goal1 ). applies( &(Goal1,Goal2), Goal2 ). known( \=(X,Y), utility ). known( \\(Goal1,Goal2), utility ). applies( \\(Goal1,Goal2), Goal1 ). applies( \\(Goal1,Goal2), Go ). known( add_element(Elem,S1,S2), utility ). known( any(Goallist), utility ). % Hairy applies... known( ap