diff xf.pl @ 0:cfb7c6b24319

Initial revision
author kono
date Thu, 30 Aug 2007 14:57:44 +0900
parents
children 61743469ee56
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/xf.pl	Thu Aug 30 14:57:44 2007 +0900
@@ -0,0 +1,155 @@
+/*
+ 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('@>='(_,_)).