% This is a list of all the system predicates, in case you ever need it
% but note that current_predicate(_,P) lists the system predicates
% as well as any currently loaded user predicates

% Ken Johnson 24-6-87


system(',').
system('<').
system('=').
system('=..').
system('=:=').
system('=<').
system('==').
system('=\=').
system('>').
system('>=').
system('@<').
system('@=<').
system('@>').
system('@>=').
system('C').
system('[|]').
system('\+ ').
system('\==').
system('^').
system((':-')).
system(abolish).
system(abort).
system(ancestors).
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(compile).
system(consult).
system(current_atom).
system(current_functor).
system(current_op).
system(current_predicate).
system(debug).
system(debugging).
system(display).
system(erase).
system(erase_all).
system(exists).
system(expand_term).
system(fail).
system(fileerrors).
system(functor).
system(get).
system(get0).
system(halt).
system(incore).
system(instance).
system(integer).
system(is ).
system(keysort).
system(leash).
system(length).
system(listing).
system(listing).
system(load).
system(name).
system(nl).
system(nodebug).
system(nofileerrors).
system(nonvar).
system(nospy).
system(notrace).
system(number).
system(numbervars).
system(numbervars).
system(op).
system(phrase).
system(print).
system(prompt).
system(put).
system(read).
system(read).
system(real).
system(reconsult).
system(record).
system(recorda).
system(recorded).
system(recordz).
system(rename).
system(repeat).
system(retract).
system(save).
system(save_program).
system(see).
system(seeing).
system(seen).
system(setof).
system(shell).
system(skip).
system(sort).
system(spy).
system(statistics).
system(statistics).
system(subgoal_of).
system(sysflag).
system(tab).
system(tell).
system(telling).
system(told).
system(trace).
system(true).
system(ttyflush).
system(ttyget).
system(ttyget0).
system(ttynl).
system(ttyput).
system(ttyskip).
system(ttytab).
system(unknown).
system(var).
system(version).
system(version).
system(write).
system(writeq).