view xf.pl @ 0:cfb7c6b24319

Initial revision
author kono
date Thu, 30 Aug 2007 14:57:44 +0900
parents
children 61743469ee56
line wrap: on
line source

/*
 Copyright (C) 1988,2005, Shinji Kono 
 Everyone is permitted to copy and distribute verbatim copies
 of this license, but changing it is not allowed.  You can also
 use this wording to make the terms for other programs.

 send your comments to kono@ie.u-ryukyu.ac.jp
*/

% This routine is faster than predicate_property.
% This is a old fashsioned method for C-Prolog.
% $Header$

systemp(   com(_File)). 
systemp(   com(_File,_Output)).
systemp(   mcom(_File)). 
systemp(   mcom(_File,_Output)).
systemp(   pcom(_File,_PredicateHeads)).
systemp(   pcom(_File,_PredicateHeads,_Output)).
systemp(   restart(_File)).
systemp(   tokiodebug).
systemp(   tokionodebug). 
systemp(   tokiodebugging).
systemp(   notimebacktrack).
systemp(   timebacktrack).
systemp(   (tokio)).
systemp(   tokio(_)).
systemp(   static(_)).
systemp(   reset_macro).
systemp( tokiospy).
systemp( tokiospy(_F/_N)).
systemp( tokionospy).
systemp( tokionospy(_F/_N)).
systemp( tokiodebugat(_T)).
systemp( tokionodebugat).
systemp( help).
systemp( tokio_help).
systemp( unix(_)).
systemp( vms(_)).
systemp( compile(_)).
systemp( fcompile(_)).
systemp( load(_)).
systemp( use_module(_)).
systemp( use_module(_,_)).
systemp( use_module(_,_,_)).
systemp( module(_)).

systemp( =>(_,_)).
systemp( <=(_,_)).
systemp( nextevent(_)).
systemp( waitevent(_)).

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