builtins.pl

   1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   2 % Author:       Tom Schrijvers
   3 % Email:        Tom.Schrijvers@cs.kuleuven.be
   4 % Copyright:    K.U.Leuven 2004
   5 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   6 :- module(builtins,
   7         [
   8                 negate_b/2,
   9                 entails_b/2,
  10                 binds_b/2,
  11                 builtin_binds_b/2
  12         ]).
  13
  14 :- use_module(hprolog).
  15
  16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  17 negate_b(A,B) :- once(negate(A,B)).
  18 negate((A,B),NotB) :- A==true,negate(B,NotB). % added by jon
  19 negate((A,B),NotA) :- B==true,negate(A,NotA). % added by jon
  20 negate((A,B),(NotA;NotB)) :- negate(A,NotA),negate(B,NotB). % added by jon
  21 negate((A;B),(NotA,NotB)) :- negate(A,NotA),negate(B,NotB). % added by jon
  22 negate(true,fail).
  23 negate(fail,true).
  24 negate(X =< Y, Y < X).
  25 negate(X > Y, Y >= X).
  26 negate(X >= Y, Y > X).
  27 negate(X < Y, Y =< X).
  28 negate(X == Y, X \== Y). % added by jon
  29 negate(X \== Y, X == Y). % added by jon
  30 negate(X =:= Y, X =\= Y). % added by jon
  31 negate(X is Y, X =\= Y). % added by jon
  32 negate(X =\= Y, X =:= Y). % added by jon
  33 negate(X = Y, X \= Y). % added by jon
  34 negate(X \= Y, X = Y). % added by jon
  35 negate(var(X),nonvar(X)).
  36 negate(nonvar(X),var(X)).
  37 negate(\+ X,X). % added by jon
  38 negate(X,\+ X). % added by jon
  39
  40 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  41 entails_b(fail,_) :-!.
  42 entails_b(A,B) :-
  43         ( var(B) ->
  44                 entails(A,B,[A])
  45         ;
  46                 once((
  47                         entails(A,C,[A]),
  48                         B == C
  49                 ))
  50         ).
  51
  52 entails(A,A,_).
  53 entails(A,C,History) :-
  54         entails_(A,B),
  55         \+ hprolog:memberchk_eq(B,History),
  56         entails(B,C,[B|History]).
  57
  58 entails_(X > Y, X >= Y).
  59 entails_(X > Y, Y < X).
  60 entails_(X >= Y, Y =< X).
  61 entails_(X =< Y, Y >= X). %added by jon
  62 entails_(X < Y, Y > X).
  63 entails_(X < Y, X =< Y).
  64 entails_(X > Y, X \== Y).
  65 entails_(X \== Y, Y \== X).
  66 entails_(X == Y, Y == X).
  67 entails_(X == Y, X =:= Y) :- ground(X). %added by jon
  68 entails_(X == Y, X =:= Y) :- ground(Y). %added by jon
  69 entails_(X \== Y, X =\= Y) :- ground(X). %added by jon
  70 entails_(X \== Y, X =\= Y) :- ground(Y). %added by jon
  71 entails_(X =:= Y, Y =:= X). %added by jon
  72 entails_(X =\= Y, Y =\= X). %added by jon
  73 entails_(X == Y, X >= Y). %added by jon
  74 entails_(X == Y, X =< Y). %added by jon
  75 entails_(ground(X),nonvar(X)).
  76 entails_(compound(X),nonvar(X)).
  77 entails_(atomic(X),nonvar(X)).
  78 entails_(number(X),nonvar(X)).
  79 entails_(atom(X),nonvar(X)).
  80 entails_(fail,true).
  81
  82 builtin_binds_b(G,Vars) :-
  83         builtin_binds_(G,L,[]),
  84         sort(L,Vars).
  85
  86 builtin_binds_(var(_),L,L).
  87 builtin_binds_(nonvar(_),L,L).
  88 builtin_binds_(ground(_),L,L).
  89 builtin_binds_(compound(_),L,L).
  90 builtin_binds_(number(_),L,L).
  91 builtin_binds_(atom(_),L,L).
  92 builtin_binds_(atomic(_),L,L).
  93 builtin_binds_(integer(_),L,L).
  94 builtin_binds_(float(_),L,L).
  95
  96 builtin_binds_(?=(_, _), L, L).
  97 builtin_binds_(_<_, L, L).
  98 builtin_binds_(_=:=_, L, L).
  99 builtin_binds_(_=<_, L, L).
 100 builtin_binds_(_==_, L, L).
 101 builtin_binds_(_=@=_, L, L).
 102 builtin_binds_(_=\=_, L, L).
 103 builtin_binds_(_>=_, L, L).
 104 builtin_binds_(_>_, L, L).
 105 builtin_binds_(_@<_, L, L).
 106 builtin_binds_(_@=<_, L, L).
 107 builtin_binds_(_@>=_, L, L).
 108 builtin_binds_(_@>_, L, L).
 109 builtin_binds_(_\==_, L, L).
 110 builtin_binds_(_\=@=_, L, L).
 111 builtin_binds_(true,L,L).
 112
 113 % TODO: check all these SWI-Prolog built-ins for binding behavior.
 114 %
 115 % builtin_binds_(format(_,_),L,L).
 116 % builtin_binds_(portray(_), L, L).
 117 % builtin_binds_(write(_), L, L).
 118 % builtin_binds_(write(_),L,L).
 119 % builtin_binds_(write(_, _), L, L).
 120 % builtin_binds_(write_canonical(_), L, L).
 121 % builtin_binds_(write_canonical(_, _), L, L).
 122 % builtin_binds_(write_term(_, _), L, L).
 123 % builtin_binds_(write_term(_, _, _), L, L).
 124 % builtin_binds_(writef(_), L, L).
 125 % builtin_binds_(writef(_, _), L, L).
 126 % builtin_binds_(writeln(_), L, L).
 127 % builtin_binds_(writeln(_),L,L).
 128 % builtin_binds_(writeq(_), L, L).
 129 % builtin_binds_(writeq(_, _), L, L).
 130 %
 131 % builtin_binds_(!(_), L, L).
 132 % builtin_binds_(!, L, L).
 133 % builtin_binds_((_'|'_), L, L).
 134 % builtin_binds_((_*->_), L, L).
 135 % builtin_binds_(abolish(_), L, L).
 136 % builtin_binds_(abolish(_, _), L, L).
 137 % builtin_binds_(abort, L, L).
 138 % builtin_binds_(absolute_file_name(_, _), L, L).
 139 % builtin_binds_(absolute_file_name(_, _, _), L, L).
 140 % builtin_binds_(access_file(_, _), L, L).
 141 % builtin_binds_(acyclic_term(_), L, L).
 142 % builtin_binds_(add_import_module(_, _, _), L, L).
 143 % builtin_binds_(append(_), L, L).
 144 % builtin_binds_(apply(_, _), L, L).
 145 % builtin_binds_(arg(_, _, _), L, L).
 146 % builtin_binds_(arithmetic_function(_), L, L).
 147 % builtin_binds_(assert(_), L, L).
 148 % builtin_binds_(assert(_, _), L, L).
 149 % builtin_binds_(asserta(_), L, L).
 150 % builtin_binds_(asserta(_, _), L, L).
 151 % builtin_binds_(assertz(_), L, L).
 152 % builtin_binds_(assertz(_, _), L, L).
 153 % builtin_binds_(at_end_of_stream(_), L, L).
 154 % builtin_binds_(at_end_of_stream, L, L).
 155 % builtin_binds_(at_halt(_), L, L).
 156 % builtin_binds_(at_initialization(_), L, L).
 157 % builtin_binds_(atom(_), L, L).
 158 % builtin_binds_(atom_chars(_, _), L, L).
 159 % builtin_binds_(atom_codes(_, _), L, L).
 160 % builtin_binds_(atom_concat(_, _, _), L, L).
 161 % builtin_binds_(atom_length(_, _), L, L).
 162 % builtin_binds_(atom_number(_, _), L, L).
 163 % builtin_binds_(atom_prefix(_, _), L, L).
 164 % builtin_binds_(atom_to_term(_, _, _), L, L).
 165 % builtin_binds_(atomic(_), L, L).
 166 % builtin_binds_(attvar(_), L, L).
 167 % builtin_binds_(autoload(_), L, L).
 168 % builtin_binds_(autoload, L, L).
 169 % builtin_binds_(b_getval(_, _), L, L).
 170 % builtin_binds_(b_setval(_, _), L, L).
 171 % builtin_binds_(bagof(_, _, _), L, L).
 172 % builtin_binds_(between(_, _, _), L, L).
 173 % builtin_binds_(block(_, _, _), L, L).
 174 % builtin_binds_(break, L, L).
 175 % builtin_binds_(byte_count(_, _), L, L).
 176 % builtin_binds_(call(_), L, L).
 177 % builtin_binds_(call(_, _), L, L).
 178 % builtin_binds_(call(_, _, _), L, L).
 179 % builtin_binds_(call(_, _, _, _), L, L).
 180 % builtin_binds_(call(_, _, _, _, _), L, L).
 181 % builtin_binds_(call(_, _, _, _, _, _), L, L).
 182 % builtin_binds_(call(_, _, _, _, _, _, _), L, L).
 183 % builtin_binds_(call(_, _, _, _, _, _, _, _), L, L).
 184 % builtin_binds_(call(_, _, _, _, _, _, _, _, _), L, L).
 185 % builtin_binds_(call(_, _, _, _, _, _, _, _, _, _), L, L).
 186 % builtin_binds_(call(_, _, _, _, _, _, _, _, _, _, _), L, L).
 187 % builtin_binds_(call_cleanup(_, _), L, L).
 188 % builtin_binds_(call_cleanup(_, _, _), L, L).
 189 % builtin_binds_(call_shared_object_function(_, _), L, L).
 190 % builtin_binds_(call_with_depth_limit(_, _, _), L, L).
 191 % builtin_binds_(callable(_), L, L).
 192 % builtin_binds_(catch(_, _, _), L, L).
 193 % builtin_binds_(char_code(_, _), L, L).
 194 % builtin_binds_(char_conversion(_, _), L, L).
 195 % builtin_binds_(char_type(_, _), L, L).
 196 % builtin_binds_(character_count(_, _), L, L).
 197 % builtin_binds_(clause(_, _), L, L).
 198 % builtin_binds_(clause(_, _, _), L, L).
 199 % builtin_binds_(clause_property(_, _), L, L).
 200 % builtin_binds_(close(_), L, L).
 201 % builtin_binds_(close(_, _), L, L).
 202 % builtin_binds_(close_shared_object(_), L, L).
 203 % builtin_binds_(code_type(_, _), L, L).
 204 % builtin_binds_(collation_key(_, _), L, L).
 205 % builtin_binds_(compare(_, _, _), L, L).
 206 % builtin_binds_(compile_aux_clauses(_), L, L).
 207 % builtin_binds_(compile_predicates(_), L, L).
 208 % builtin_binds_(compiling, L, L).
 209 % builtin_binds_(compound(_), L, L).
 210 % builtin_binds_(concat_atom(_, _), L, L).
 211 % builtin_binds_(concat_atom(_, _, _), L, L).
 212 % builtin_binds_(consult(_), L, L).
 213 % builtin_binds_(context_module(_), L, L).
 214 % builtin_binds_(copy_stream_data(_, _), L, L).
 215 % builtin_binds_(copy_stream_data(_, _, _), L, L).
 216 % builtin_binds_(copy_term(_, _), L, L).
 217 % builtin_binds_(copy_term_nat(_, _), L, L).
 218 % builtin_binds_(current_arithmetic_function(_), L, L).
 219 % builtin_binds_(current_atom(_), L, L).
 220 % builtin_binds_(current_blob(_, _), L, L).
 221 % builtin_binds_(current_char_conversion(_, _), L, L).
 222 % builtin_binds_(current_flag(_), L, L).
 223 % builtin_binds_(current_format_predicate(_, _), L, L).
 224 % builtin_binds_(current_functor(_, _), L, L).
 225 % builtin_binds_(current_input(_), L, L).
 226 % builtin_binds_(current_key(_), L, L).
 227 % builtin_binds_(current_module(_), L, L).
 228 % builtin_binds_(current_module(_, _), L, L).
 229 % builtin_binds_(current_op(_, _, _), L, L).
 230 % builtin_binds_(current_output(_), L, L).
 231 % builtin_binds_(current_predicate(_), L, L).
 232 % builtin_binds_(current_predicate(_, _), L, L).
 233 % builtin_binds_(current_prolog_flag(_, _), L, L).
 234 % builtin_binds_(current_resource(_, _, _), L, L).
 235 % builtin_binds_(current_signal(_, _, _), L, L).
 236 % builtin_binds_(cyclic_term(_), L, L).
 237 % builtin_binds_(date_time_stamp(_, _), L, L).
 238 % builtin_binds_(debugging, L, L).
 239 % builtin_binds_(default_module(_, _), L, L).
 240 % builtin_binds_(del_attr(_, _), L, L).
 241 % builtin_binds_(delete_directory(_), L, L).
 242 % builtin_binds_(delete_file(_), L, L).
 243 % builtin_binds_(delete_import_module(_, _), L, L).
 244 % builtin_binds_(deterministic(_), L, L).
 245 % builtin_binds_(downcase_atom(_, _), L, L).
 246 % builtin_binds_(duplicate_term(_, _), L, L).
 247 % builtin_binds_(dwim_match(_, _), L, L).
 248 % builtin_binds_(dwim_match(_, _, _), L, L).
 249 % builtin_binds_(dwim_predicate(_, _), L, L).
 250 % builtin_binds_(ensure_loaded(_), L, L).
 251 % builtin_binds_(erase(_), L, L).
 252 % builtin_binds_(eval_license, L, L).
 253 % builtin_binds_(exists_directory(_), L, L).
 254 % builtin_binds_(exists_file(_), L, L).
 255 % builtin_binds_(exit(_, _), L, L).
 256 % builtin_binds_(expand_file_name(_, _), L, L).
 257 % builtin_binds_(expand_file_search_path(_, _), L, L).
 258 % builtin_binds_(expand_goal(_, _), L, L).
 259 % builtin_binds_(expand_term(_, _), L, L).
 260 % builtin_binds_(export(_), L, L).
 261 % builtin_binds_(export_list(_, _), L, L).
 262 % builtin_binds_(fail(_), L, L).
 263 % builtin_binds_(fail, L, L).
 264 % builtin_binds_(file_base_name(_, _), L, L).
 265 % builtin_binds_(file_directory_name(_, _), L, L).
 266 % builtin_binds_(file_name_extension(_, _, _), L, L).
 267 % builtin_binds_(fileerrors(_, _), L, L).
 268 % builtin_binds_(findall(_, _, _), L, L).
 269 % builtin_binds_(findall(_, _, _, _), L, L).
 270 % builtin_binds_(flag(_, _, _), L, L).
 271 % builtin_binds_(float(_), L, L).
 272 % builtin_binds_(flush_output(_), L, L).
 273 % builtin_binds_(flush_output, L, L).
 274 % builtin_binds_(forall(_, _), L, L).
 275 % builtin_binds_(format(_), L, L).
 276 % builtin_binds_(format(_, _), L, L).
 277 % builtin_binds_(format(_, _, _), L, L).
 278 % builtin_binds_(format_predicate(_, _), L, L).
 279 % builtin_binds_(format_time(_, _, _), L, L).
 280 % builtin_binds_(format_time(_, _, _, _), L, L).
 281 % builtin_binds_(freeze(_, _), L, L).
 282 % builtin_binds_(frozen(_, _), L, L).
 283 % builtin_binds_(functor(_, _, _), L, L).
 284 % builtin_binds_(garbage_collect, L, L).
 285 % builtin_binds_(garbage_collect_atoms, L, L).
 286 % builtin_binds_(garbage_collect_clauses, L, L).
 287 % builtin_binds_(get(_), L, L).
 288 % builtin_binds_(get(_, _), L, L).
 289 % builtin_binds_(get0(_), L, L).
 290 % builtin_binds_(get0(_, _), L, L).
 291 % builtin_binds_(get_attr(_, _, _), L, L).
 292 % builtin_binds_(get_attrs(_, _), L, L).
 293 % builtin_binds_(get_byte(_), L, L).
 294 % builtin_binds_(get_byte(_, _), L, L).
 295 % builtin_binds_(get_char(_), L, L).
 296 % builtin_binds_(get_char(_, _), L, L).
 297 % builtin_binds_(get_code(_), L, L).
 298 % builtin_binds_(get_code(_, _), L, L).
 299 % builtin_binds_(get_single_char(_), L, L).
 300 % builtin_binds_(get_time(_), L, L).
 301 % builtin_binds_(getenv(_, _), L, L).
 302 % builtin_binds_(ground(_), L, L).
 303 % builtin_binds_(halt(_), L, L).
 304 % builtin_binds_(halt, L, L).
 305 % builtin_binds_(hash(_), L, L).
 306 % builtin_binds_(term_hash(_, _), L, L).
 307 % builtin_binds_(ignore(_), L, L).
 308 % builtin_binds_(import(_), L, L).
 309 % builtin_binds_(import_module(_, _), L, L).
 310 % builtin_binds_(index(_), L, L).
 311 % builtin_binds_(integer(_), L, L).
 312 % builtin_binds_(is_absolute_file_name(_), L, L).
 313 % builtin_binds_(is_list(_), L, L).
 314 % builtin_binds_(is_stream(_), L, L).
 315 % builtin_binds_(keysort(_, _), L, L).
 316 % builtin_binds_(leash(_), L, L).
 317 % builtin_binds_(length(_, _), L, L).
 318 % builtin_binds_(license(_), L, L).
 319 % builtin_binds_(license(_, _), L, L).
 320 % builtin_binds_(line_count(_, _), L, L).
 321 % builtin_binds_(line_position(_, _), L, L).
 322 % builtin_binds_(load_files(_), L, L).
 323 % builtin_binds_(load_files(_, _), L, L).
 324 % builtin_binds_(make_directory(_), L, L).
 325 % builtin_binds_(make_library_index(_), L, L).
 326 % builtin_binds_(make_library_index(_, _), L, L).
 327 % builtin_binds_(maplist(_, _), L, L).
 328 % builtin_binds_(maplist(_, _, _), L, L).
 329 % builtin_binds_(maplist(_, _, _, _), L, L).
 330 % builtin_binds_(memberchk(_, _), L, L).
 331 % builtin_binds_(message_queue_create(_), L, L).
 332 % builtin_binds_(message_queue_create(_, _), L, L).
 333 % builtin_binds_(message_queue_destroy(_), L, L).
 334 % builtin_binds_(message_queue_property(_, _), L, L).
 335 % builtin_binds_(message_to_string(_, _), L, L).
 336 % builtin_binds_(module(_), L, L).
 337 % builtin_binds_(msort(_, _), L, L).
 338 % builtin_binds_(mutex_create(_), L, L).
 339 % builtin_binds_(mutex_create(_, _), L, L).
 340 % builtin_binds_(mutex_destroy(_), L, L).
 341 % builtin_binds_(mutex_lock(_), L, L).
 342 % builtin_binds_(mutex_property(_, _), L, L).
 343 % builtin_binds_(mutex_statistics, L, L).
 344 % builtin_binds_(mutex_trylock(_), L, L).
 345 % builtin_binds_(mutex_unlock(_), L, L).
 346 % builtin_binds_(mutex_unlock_all, L, L).
 347 % builtin_binds_(name(_, _), L, L).
 348 % builtin_binds_(nb_current(_, _), L, L).
 349 % builtin_binds_(nb_delete(_), L, L).
 350 % builtin_binds_(nb_getval(_, _), L, L).
 351 % builtin_binds_(nb_linkarg(_, _, _), L, L).
 352 % builtin_binds_(nb_linkval(_, _), L, L).
 353 % builtin_binds_(nb_setarg(_, _, _), L, L).
 354 % builtin_binds_(nb_setval(_, _), L, L).
 355 % builtin_binds_(nl(_), L, L).
 356 % builtin_binds_(nl, L, L).
 357 % builtin_binds_(nonvar(_), L, L).
 358 % builtin_binds_(noprofile(_), L, L).
 359 % builtin_binds_(noprotocol, L, L).
 360 % builtin_binds_(nospy(_), L, L).
 361 % builtin_binds_(nospyall, L, L).
 362 % builtin_binds_(not(_), L, L).
 363 % builtin_binds_(notrace(_), L, L).
 364 % builtin_binds_(notrace, L, L).
 365 % builtin_binds_(nth_clause(_, _, _), L, L).
 366 % builtin_binds_(number(_), L, L).
 367 % builtin_binds_(number_chars(_, _), L, L).
 368 % builtin_binds_(number_codes(_, _), L, L).
 369 % builtin_binds_(numbervars(_, _, _), L, L).
 370 % builtin_binds_(numbervars(_, _, _, _), L, L).
 371 % builtin_binds_(on_signal(_, _, _), L, L).
 372 % builtin_binds_(once(_), L, L).
 373 % builtin_binds_(op(_, _, _), L, L).
 374 % builtin_binds_(open(_, _, _), L, L).
 375 % builtin_binds_(open(_, _, _, _), L, L).
 376 % builtin_binds_(open_null_stream(_), L, L).
 377 % builtin_binds_(open_resource(_, _, _), L, L).
 378 % builtin_binds_(open_resource(_, _, _, _), L, L).
 379 % builtin_binds_(open_shared_object(_, _), L, L).
 380 % builtin_binds_(open_shared_object(_, _, _), L, L).
 381 % builtin_binds_(open_xterm(_, _, _, _), L, L).
 382 % builtin_binds_(peek_byte(_), L, L).
 383 % builtin_binds_(peek_byte(_, _), L, L).
 384 % builtin_binds_(peek_char(_), L, L).
 385 % builtin_binds_(peek_char(_, _), L, L).
 386 % builtin_binds_(peek_code(_), L, L).
 387 % builtin_binds_(peek_code(_, _), L, L).
 388 % builtin_binds_(phrase(_, _), L, L).
 389 % builtin_binds_(phrase(_, _, _), L, L).
 390 % builtin_binds_(plus(_, _, _), L, L).
 391 % builtin_binds_(predicate_property(_, _), L, L).
 392 % builtin_binds_(preprocessor(_, _), L, L).
 393 % builtin_binds_(print(_), L, L).
 394 % builtin_binds_(print(_, _), L, L).
 395 % builtin_binds_(print_message(_, _), L, L).
 396 % builtin_binds_(print_message_lines(_, _, _), L, L).
 397 % builtin_binds_(profiler(_, _), L, L).
 398 % builtin_binds_(prolog, L, L).
 399 % builtin_binds_(prolog_choice_attribute(_, _, _), L, L).
 400 % builtin_binds_(prolog_current_frame(_), L, L).
 401 % builtin_binds_(prolog_frame_attribute(_, _, _), L, L).
 402 % builtin_binds_(prolog_load_context(_, _), L, L).
 403 % builtin_binds_(prolog_skip_level(_, _), L, L).
 404 % builtin_binds_(prolog_to_os_filename(_, _), L, L).
 405 % builtin_binds_(prompt(_, _), L, L).
 406 % builtin_binds_(prompt1(_), L, L).
 407 % builtin_binds_(protocol(_), L, L).
 408 % builtin_binds_(protocola(_), L, L).
 409 % builtin_binds_(protocolling(_), L, L).
 410 % builtin_binds_(put(_), L, L).
 411 % builtin_binds_(put(_, _), L, L).
 412 % builtin_binds_(put_attr(_, _, _), L, L).
 413 % builtin_binds_(put_attrs(_, _), L, L).
 414 % builtin_binds_(put_byte(_), L, L).
 415 % builtin_binds_(put_byte(_, _), L, L).
 416 % builtin_binds_(put_char(_), L, L).
 417 % builtin_binds_(put_char(_, _), L, L).
 418 % builtin_binds_(put_code(_), L, L).
 419 % builtin_binds_(put_code(_, _), L, L).
 420 % builtin_binds_(qcompile(_), L, L).
 421 % builtin_binds_(rational(_), L, L).
 422 % builtin_binds_(rational(_, _, _), L, L).
 423 % builtin_binds_(read(_), L, L).
 424 % builtin_binds_(read(_, _), L, L).
 425 % builtin_binds_(read_clause(_), L, L).
 426 % builtin_binds_(read_clause(_, _), L, L).
 427 % builtin_binds_(read_history(_, _, _, _, _, _), L, L).
 428 % builtin_binds_(read_link(_, _, _), L, L).
 429 % builtin_binds_(read_pending_input(_, _, _), L, L).
 430 % builtin_binds_(read_term(_, _), L, L).
 431 % builtin_binds_(read_term(_, _, _), L, L).
 432 % builtin_binds_(recorda(_, _), L, L).
 433 % builtin_binds_(recorda(_, _, _), L, L).
 434 % builtin_binds_(recorded(_, _), L, L).
 435 % builtin_binds_(recorded(_, _, _), L, L).
 436 % builtin_binds_(recordz(_, _), L, L).
 437 % builtin_binds_(recordz(_, _, _), L, L).
 438 % builtin_binds_(redefine_system_predicate(_), L, L).
 439 % builtin_binds_(reload_library_index, L, L).
 440 % builtin_binds_(rename_file(_, _), L, L).
 441 % builtin_binds_(repeat, L, L).
 442 % builtin_binds_(require(_), L, L).
 443 % builtin_binds_(reset_profiler, L, L).
 444 % builtin_binds_(retract(_), L, L).
 445 % builtin_binds_(retractall(_), L, L).
 446 % builtin_binds_(same_file(_, _), L, L).
 447 % builtin_binds_(same_term(_, _), L, L).
 448 % builtin_binds_(see(_), L, L).
 449 % builtin_binds_(seeing(_), L, L).
 450 % builtin_binds_(seek(_, _, _, _), L, L).
 451 % builtin_binds_(seen, L, L).
 452 % builtin_binds_(set_input(_), L, L).
 453 % builtin_binds_(set_output(_), L, L).
 454 % builtin_binds_(set_prolog_IO(_, _, _), L, L).
 455 % builtin_binds_(set_prolog_flag(_, _), L, L).
 456 % builtin_binds_(set_stream(_, _), L, L).
 457 % builtin_binds_(set_stream_position(_, _), L, L).
 458 % builtin_binds_(setarg(_, _, _), L, L).
 459 % builtin_binds_(setenv(_, _), L, L).
 460 % builtin_binds_(setlocale(_, _, _), L, L).
 461 % builtin_binds_(setof(_, _, _), L, L).
 462 % builtin_binds_(setup_and_call_cleanup(_, _, _), L, L).
 463 % builtin_binds_(setup_and_call_cleanup(_, _, _, _), L, L).
 464 % builtin_binds_(shell(_), L, L).
 465 % builtin_binds_(shell(_, _), L, L).
 466 % builtin_binds_(shell, L, L).
 467 % builtin_binds_(size_file(_, _), L, L).
 468 % builtin_binds_(skip(_), L, L).
 469 % builtin_binds_(skip(_, _), L, L).
 470 % builtin_binds_(sleep(_), L, L).
 471 % builtin_binds_(sort(_, _), L, L).
 472 % builtin_binds_(source_file(_), L, L).
 473 % builtin_binds_(source_file(_, _), L, L).
 474 % builtin_binds_(source_location(_, _), L, L).
 475 % builtin_binds_(spy(_), L, L).
 476 % builtin_binds_(stamp_date_time(_, _, _), L, L).
 477 % builtin_binds_(statistics(_, _), L, L).
 478 % builtin_binds_(statistics, L, L).
 479 % builtin_binds_(stream_position_data(_, _, _), L, L).
 480 % builtin_binds_(stream_property(_, _), L, L).
 481 % builtin_binds_(string(_), L, L).
 482 % builtin_binds_(string_concat(_, _, _), L, L).
 483 % builtin_binds_(string_length(_, _), L, L).
 484 % builtin_binds_(string_to_atom(_, _), L, L).
 485 % builtin_binds_(string_to_list(_, _), L, L).
 486 % builtin_binds_(strip_module(_, _, _), L, L).
 487 % builtin_binds_(style_check(_), L, L).
 488 % builtin_binds_(sub_atom(_, _, _, _, _), L, L).
 489 % builtin_binds_(sub_string(_, _, _, _, _), L, L).
 490 % builtin_binds_(succ(_, _), L, L).
 491 % builtin_binds_(swritef(_, _), L, L).
 492 % builtin_binds_(swritef(_, _, _), L, L).
 493 % builtin_binds_(tab(_), L, L).
 494 % builtin_binds_(tab(_, _), L, L).
 495 % builtin_binds_(tell(_), L, L).
 496 % builtin_binds_(telling(_), L, L).
 497 % builtin_binds_(term_to_atom(_, _), L, L).
 498 % builtin_binds_(term_variables(_, _), L, L).
 499 % builtin_binds_(term_variables(_, _, _), L, L).
 500 % builtin_binds_(thread_at_exit(_), L, L).
 501 % builtin_binds_(thread_create(_, _, _), L, L).
 502 % builtin_binds_(thread_detach(_), L, L).
 503 % builtin_binds_(thread_exit(_), L, L).
 504 % builtin_binds_(thread_get_message(_), L, L).
 505 % builtin_binds_(thread_get_message(_, _), L, L).
 506 % builtin_binds_(thread_join(_, _), L, L).
 507 % builtin_binds_(thread_kill(_, _), L, L).
 508 % builtin_binds_(thread_peek_message(_), L, L).
 509 % builtin_binds_(thread_peek_message(_, _), L, L).
 510 % builtin_binds_(thread_property(_, _), L, L).
 511 % builtin_binds_(thread_self(_), L, L).
 512 % builtin_binds_(thread_send_message(_, _), L, L).
 513 % builtin_binds_(thread_setconcurrency(_, _), L, L).
 514 % builtin_binds_(thread_signal(_, _), L, L).
 515 % builtin_binds_(thread_statistics(_, _, _), L, L).
 516 % builtin_binds_(throw(_), L, L).
 517 % builtin_binds_(time_file(_, _), L, L).
 518 % builtin_binds_(tmp_file(_, _), L, L).
 519 % builtin_binds_(told, L, L).
 520 % builtin_binds_(trim_stacks, L, L).
 521 % builtin_binds_(tty_get_capability(_, _, _), L, L).
 522 % builtin_binds_(tty_goto(_, _), L, L).
 523 % builtin_binds_(tty_put(_, _), L, L).
 524 % builtin_binds_(tty_size(_, _), L, L).
 525 % builtin_binds_(ttyflush, L, L).
 526 % builtin_binds_(unifiable(_, _, _), L, L).
 527 % builtin_binds_(unify_with_occurs_check(_, _), L, L).
 528 % builtin_binds_(unsetenv(_), L, L).
 529 % builtin_binds_(upcase_atom(_, _), L, L).
 530 % builtin_binds_(wait_for_input(_, _, _), L, L).
 531 % builtin_binds_(wildcard_match(_, _), L, L).
 532 % builtin_binds_(with_mutex(_, _), L, L).
 533 % builtin_binds_(with_output_to(_, _), L, L).
 534 % builtin_binds_(working_directory(_, _), L, L).
 535
 536
 537 % builtin_binds_(functor(Term, Functor, Arity), [Term,Functor,Arity|T], T).
 538 % builtin_binds_(arg(Arg, Term, Pos), [Arg,Term,Pos|T], T).
 539 % builtin_binds_(term_variables(_, _), L, L).
 540 % builtin_binds_(X=Y, [X,Y|T], T).
 541
 542
 543 builtin_binds_(X is _,[X|L],L).
 544 builtin_binds_((G1,G2),L,T) :-
 545         builtin_binds_(G1,L,R),
 546         builtin_binds_(G2,R,T).
 547 builtin_binds_((G1;G2),L,T) :-
 548         builtin_binds_(G1,L,R),
 549         builtin_binds_(G2,R,T).
 550 builtin_binds_((G1->G2),L,T) :-
 551         builtin_binds_(G1,L,R),
 552         builtin_binds_(G2,R,T).
 553
 554 builtin_binds_(\+ G,L,T) :-
 555         builtin_binds_(G,L,T).
 556 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 557 binds_b(G,Vars) :-
 558         binds_(G,L,[]),
 559         sort(L,Vars).
 560
 561 binds_(var(_),L,L).
 562 binds_(nonvar(_),L,L).
 563 binds_(ground(_),L,L).
 564 binds_(compound(_),L,L).
 565 binds_(number(_),L,L).
 566 binds_(atom(_),L,L).
 567 binds_(atomic(_),L,L).
 568 binds_(integer(_),L,L).
 569 binds_(float(_),L,L).
 570
 571 binds_(_ > _ ,L,L).
 572 binds_(_ < _ ,L,L).
 573 binds_(_ =< _,L,L).
 574 binds_(_ >= _,L,L).
 575 binds_(_ =:= _,L,L).
 576 binds_(_ =\= _,L,L).
 577 binds_(_ == _,L,L).
 578 binds_(_ \== _,L,L).
 579 binds_(true,L,L).
 580
 581 binds_(write(_),L,L).
 582 binds_(writeln(_),L,L).
 583 binds_(format(_,_),L,L).
 584
 585 binds_(X is _,[X|L],L).
 586 binds_((G1,G2),L,T) :-
 587         binds_(G1,L,R),
 588         binds_(G2,R,T).
 589 binds_((G1;G2),L,T) :-
 590         binds_(G1,L,R),
 591         binds_(G2,R,T).
 592 binds_((G1->G2),L,T) :-
 593         binds_(G1,L,R),
 594         binds_(G2,R,T).
 595
 596 binds_(\+ G,L,T) :-
 597         binds_(G,L,T).
 598
 599 binds_(G,L,T) :- term_variables(G,GVars),append(GVars,T,L).     %jon