/*  --- University of Sussex POPLOG file -----------------------------------
 *  File:           $usepop/pop/local/plog/lib/xref/xref.def
 *  Purpose:        declarations for prolog cross reference checker
 *  Author:         Edinburgh (see revisions)
 *  Machines:       cvaxa unx1
 *  Documentation:  HELP * XREF
 *  Related Files:  called by $usepop/pop/local/plog/lib/xref.pl
 */

/* XREF.DEF
    These are the functors that have special significance as predicates
*/

system(!).
system((_->_)).
system([_|_]).
system(\+ _).
system(_ \= _).
system(_<_).
system(_=.._).
system(_=:=_).
system(_=<_).
system(_==_).
system(_=\=_).
system(_=_).
system(_>=_).
system(_>_).
system(_@<_).
system(_@=<_).
system(_@>=_).
system(_@>_).
system(_\==_).
system(_^_).
system(abolish(_,_)).
system(abort).
system(arg(_,_,_)).
system(assert(_)).
system(assert(_,_)).
system(asserta(_)).
system(asserta(_,_)).
system(assertz(_)).
system(assertz(_,_)).
system(atom(_)).
system(atomic(_)).
system(bagof(_,_,_)).
system(break).
system(call(_)).
system(clause(_,_)).
system(clause(_,_,_)).
system(close(_)).
system(compare(_,_,_)).
system(consult(_)).
system(current_atom(_)).
system(current_functor(_,_)).
system(current_predicate(_,_)).
system(db_reference(_)).
system(debug).
system(debugging).
system(display(_)).
system(erase(_)).
system(erased(_)).
system(exists(_)).
system(expand_term(_,_)).
system(expanded_exprs(_,_)).
system(fail).
system(fileerrors).
system(functor(_,_,_)).
system(get(_)).
system(get0(_)).
system(halt).
system(instance(_,_)).
system(integer(_)).
system(is(_,_)).
system(keysort(_,_)).
system(leash(_)).
system(length(_,_)).
system(lib(_)).
system(listing(_)).
system(listing).
system(name(_,_)).
system(nl).
system(nodebug).
system(nofileerrors).
system(nonvar(_)).
system(nospy _).
system(number(_)).
system(primitive(_)).
system(print(_)).
system(prolog_eval(_)).
system(prolog_eval(_,_)).
system(prolog_language(_)).                
system(prompt(_,_)).
system(put(_)).
system(read(_)).
system(reconsult(_)).
system(recorda(_,_,_)).
system(recorded(_,_,_)).
system(recordz(_,_,_)).
system(rename(_,_)).
system(repeat).
system(retract(_)).
system(save(_)).
system(see(_)).
system(seeing(_)).
system(seen).
system(setof(_,_,_)).
system(sh).
system(skip(_)).
system(sort(_,_)).
system(spy _).
system(statistics).
system(system(_)).
system(tab(_)).
system(tell(_)).
system(telling(_)).
system(telling(_,_)).
system(told).
system(trace).
system(true).
system(ttyflush).
system(var(_)).
system(write(_)).
system(writeq(_)).

applies(call(Goal), Goal).
applies(phrase(Nonterminal, List), Nonterminal+2).
applies(bagof(Vars,Test,Bag), Test).
applies(setof(Vars,Test,Set), Test).
applies((P->Q), (P,Q)).
applies(X^P, P).
applies(\+G, G).

/*  --- Revision History ---------------------------------------------------
--- Unknown, Nov 20 1983 - Updated.
 */