|
0
|
1 /*
|
|
|
2 Copyright (C) 1988,2005, Shinji Kono
|
|
|
3 Everyone is permitted to copy and distribute verbatim copies
|
|
|
4 of this license, but changing it is not allowed. You can also
|
|
|
5 use this wording to make the terms for other programs.
|
|
|
6
|
|
|
7 send your comments to kono@ie.u-ryukyu.ac.jp
|
|
|
8 */
|
|
|
9
|
|
|
10 % This routine is faster than predicate_property.
|
|
|
11 % This is a old fashsioned method for C-Prolog.
|
|
|
12 % $Header$
|
|
|
13
|
|
|
14 systemp( com(_File)).
|
|
|
15 systemp( com(_File,_Output)).
|
|
|
16 systemp( mcom(_File)).
|
|
|
17 systemp( mcom(_File,_Output)).
|
|
|
18 systemp( pcom(_File,_PredicateHeads)).
|
|
|
19 systemp( pcom(_File,_PredicateHeads,_Output)).
|
|
|
20 systemp( restart(_File)).
|
|
|
21 systemp( tokiodebug).
|
|
|
22 systemp( tokionodebug).
|
|
|
23 systemp( tokiodebugging).
|
|
|
24 systemp( notimebacktrack).
|
|
|
25 systemp( timebacktrack).
|
|
|
26 systemp( (tokio)).
|
|
|
27 systemp( tokio(_)).
|
|
|
28 systemp( static(_)).
|
|
|
29 systemp( reset_macro).
|
|
|
30 systemp( tokiospy).
|
|
|
31 systemp( tokiospy(_F/_N)).
|
|
|
32 systemp( tokionospy).
|
|
|
33 systemp( tokionospy(_F/_N)).
|
|
|
34 systemp( tokiodebugat(_T)).
|
|
|
35 systemp( tokionodebugat).
|
|
|
36 systemp( help).
|
|
|
37 systemp( tokio_help).
|
|
|
38 systemp( unix(_)).
|
|
|
39 systemp( vms(_)).
|
|
|
40 systemp( compile(_)).
|
|
|
41 systemp( fcompile(_)).
|
|
|
42 systemp( load(_)).
|
|
|
43 systemp( use_module(_)).
|
|
|
44 systemp( use_module(_,_)).
|
|
|
45 systemp( use_module(_,_,_)).
|
|
|
46 systemp( module(_)).
|
|
|
47
|
|
|
48 systemp( =>(_,_)).
|
|
|
49 systemp( <=(_,_)).
|
|
|
50 systemp( nextevent(_)).
|
|
|
51 systemp( waitevent(_)).
|
|
|
52
|
|
|
53 systemp(abolish(_,_)).
|
|
|
54 systemp(abort).
|
|
|
55 systemp(arg(_,_,_)).
|
|
|
56 systemp(assert(_)).
|
|
|
57 systemp(assert(_,_)).
|
|
|
58 systemp(asserta(_)).
|
|
|
59 systemp(asserta(_,_)).
|
|
|
60 systemp(assertz(_)).
|
|
|
61 systemp(assertz(_,_)).
|
|
|
62 systemp(atom(_)).
|
|
|
63 systemp(atomic(_)).
|
|
|
64 systemp(bagof(_,_,_)).
|
|
|
65 systemp(break).
|
|
|
66 systemp(c(_,_,_)).
|
|
|
67 systemp(call(_)).
|
|
|
68 systemp(clause(_,_)).
|
|
|
69 systemp(clause(_,_,_)).
|
|
|
70 systemp(close(_)).
|
|
|
71 systemp(compare(_,_,_)).
|
|
|
72 systemp(consult(_)).
|
|
|
73 systemp(current_atom(_)).
|
|
|
74 systemp(current_functor(_,_)).
|
|
|
75 systemp(current_predicate(_,_)).
|
|
|
76 systemp(db_reference(_)).
|
|
|
77 systemp(debug).
|
|
|
78 systemp(debugging).
|
|
|
79 systemp(display(_)).
|
|
|
80 systemp(erase(_)).
|
|
|
81 systemp(erased(_)).
|
|
|
82 systemp(expand_term(_,_)).
|
|
|
83 systemp(exists(_)).
|
|
|
84 systemp(fail).
|
|
|
85 systemp(fileerrors).
|
|
|
86 systemp(functor(_,_,_)).
|
|
|
87 systemp(get(_)).
|
|
|
88 systemp(get0(_)).
|
|
|
89 systemp((halt)).
|
|
|
90 systemp(instance(_,_)).
|
|
|
91 systemp(integer(_)).
|
|
|
92 systemp(is(_,_)).
|
|
|
93 systemp(keysort(_,_)).
|
|
|
94 systemp(leash(_)).
|
|
|
95 systemp(listing).
|
|
|
96 systemp(listing(_)).
|
|
|
97 systemp(name(_,_)).
|
|
|
98 systemp(nl).
|
|
|
99 systemp(nodebug).
|
|
|
100 systemp(nofileerrors).
|
|
|
101 systemp(nonvar(_)).
|
|
|
102 systemp(nospy(_)).
|
|
|
103 systemp(number(_)).
|
|
|
104 systemp(op(_,_,_)).
|
|
|
105 systemp(primitive(_)).
|
|
|
106 systemp(print(_)).
|
|
|
107 systemp(prompt(_,_)).
|
|
|
108 systemp(put(_)).
|
|
|
109 systemp(read(_)).
|
|
|
110 systemp(reconsult(_)).
|
|
|
111 systemp(recorda(_,_,_)).
|
|
|
112 systemp(recorded(_,_,_)).
|
|
|
113 systemp(recordz(_,_,_)).
|
|
|
114 systemp(rename(_,_)).
|
|
|
115 systemp(repeat).
|
|
|
116 systemp(retract(_)).
|
|
|
117 systemp(save(_)).
|
|
|
118 systemp(see(_)).
|
|
|
119 systemp(seeing(_)).
|
|
|
120 systemp(seen).
|
|
|
121 systemp(setof(_,_,_)).
|
|
|
122 systemp(sh).
|
|
|
123 systemp(skip(_)).
|
|
|
124 systemp(sort(_,_)).
|
|
|
125 systemp(spy(_)).
|
|
|
126 systemp(system(_)).
|
|
|
127 systemp(statistics).
|
|
|
128 systemp(statistics(_,_)).
|
|
|
129 systemp(unix(_)).
|
|
|
130 systemp(vms(_)).
|
|
|
131 systemp(tab(_)).
|
|
|
132 systemp(tell(_)).
|
|
|
133 systemp(telling(_)).
|
|
|
134 systemp(told).
|
|
|
135 systemp(trace).
|
|
|
136 systemp(true).
|
|
|
137 systemp(var(_)).
|
|
|
138 systemp(write(_)).
|
|
|
139 systemp(writeq(_)).
|
|
|
140 systemp('LC').
|
|
|
141 systemp('NOLC').
|
|
|
142 systemp('!').
|
|
|
143 systemp('\+').
|
|
|
144 systemp(_'<'_).
|
|
|
145 systemp(_'=<'_).
|
|
|
146 systemp('>'(_,_)).
|
|
|
147 systemp('>='(_,_)).
|
|
|
148 systemp('='(_,_)).
|
|
|
149 systemp('=..'(_,_)).
|
|
|
150 systemp('=='(_,_)).
|
|
|
151 systemp('\=='(_,_)).
|
|
|
152 systemp('@<'(_,_)).
|
|
|
153 systemp('@=<'(_,_)).
|
|
|
154 systemp('@>'(_,_)).
|
|
|
155 systemp('@>='(_,_)).
|
