0mm

\Huge BinProlog Professional Edition\\ Predicate Cross-Reference Guide \\ \vskip 5cm

BinProlog Professional Edition
Predicate Cross-Reference Guide

Written by BinProlog Itself
under the kind regards of:

Paul Tarau
BinNet Corp.
WWW: http://www.binnetcorp.com

0.1 Undefined predicates, possibly intended to be imported

```
$hx/3
```

0.2 Unused predicates, possibly intended to be exported

0.3 Cross reference and info on predicates

0.3.1 Predicate:

# /3

INFO: bitwise XOR

EXAMPLE(S):

?-#(1,2,_A).
_A = 3;

no

0.3.2 Predicate:

(##)/1

INFO: executes arg 1 at compile time - make sure the executed code terminates

Calls:

0.3.71
```
arg/3
```
0.3.258
```
errmes/2
```
0.3.376
```
is_compiled/1
```

Is called from:

0.3.340
```
hash_clear/1
```
0.3.349
```
hash_put/2
```
0.3.350
```
hash_rm/2
```
0.3.351
```
hash_rm_one/2
```
0.3.498
```
numbervars/3
```
```
x_asserta/1
```
```
x_assertz/1
```
```
x_retractall/1
```

0.3.3 Predicate:

(#*)/3

INFO: (X): adds intuitionisic assumption *(X) to be used indefinitely by #- operation

0.3.4 Predicate:

(#+)/3

INFO: (X): adds linear assumption +(X) to be consumed at most once, by a #- operation

0.3.5 Predicate:

(#-)/3

INFO: (X): consumes +(X) linear assumption or matches *(X) intuitionistic assumption

0.3.6 Predicate:

(#:)/3

INFO: (X): matches X against current dcg token

0.3.7 Predicate:

(#<)/3

INFO: (Xs): sets the dcg token list to be Xs

0.3.8 Predicate:

(#=)/3

INFO: (X): unifies X with any matching existing or future +(X) linear assumptions

0.3.9 Predicate:

(#>)/3

INFO: (Xs): unifies current dcg token list with Xs

0.3.10 Predicate:

(#?)/3

INFO: (X): matches +(X) or *(X) assumptions without any binding

0.3.11 Predicate:

$process_catch/3

INFO: processes data sent by catch for throw

Calls:

0.3.168
```
copy_term/2
```
```
untrail_to/1
```

0.3.12 Predicate:

* /3

INFO: multiply

EXAMPLE(S):

?-*(10,3,_A).
_A = 30;

no

0.3.13 Predicate:

** /3

INFO: returns arg 1 at power arg 2, a float

EXAMPLE(S):

?-**(2,3,_A).
_A = 8;

no

0.3.14 Predicate:

(+)/2

INFO: returns 0 + arg 1

Calls:

0.3.15
```
(+)/3
```

0.3.15 Predicate:

(+)/3

INFO: add

EXAMPLE(S):

?-+(10,3,_A).
_A = 13;

no

Is called from:

0.3.14
```
(+)/2
```

0.3.16 Predicate:

(++)/3

INFO: concatenates N lists, usable in is/2

0.3.17 Predicate:

(,)/2

INFO: A,B succeeds if A suceeds and B, called after A, succeeds

0.3.18 Predicate:

(-)/2

INFO: returns 0 - arg 1

Calls:

0.3.19
```
(-)/3
```

0.3.19 Predicate:

(-)/3

INFO: subtract

EXAMPLE(S):

?--(10,3,_A).
_A = 7;

no

Is called from:

0.3.18
```
(-)/2
```

0.3.20 Predicate:

(->)/2

INFO: Cond->Then executes Cond once; if it succeeds it also executes Then

0.3.21 Predicate:

(.)/3

INFO: (Head,Tail,List) builds List=[Head|Tail]

0.3.22 Predicate:

/ /3

INFO: division

EXAMPLE(S):

?-/(10,3,_A).
_A = 3.33333333;

no

0.3.23 Predicate:

// /3

INFO: integer division

EXAMPLE(S):

?-//(10,3,_A).
_A = 3;

no

0.3.24 Predicate:

/\ /3

INFO: bitwise AND

EXAMPLE(S):

?-/\(1,2,_A).
_A = 0;

no

0.3.25 Predicate:

(::-)/2

INFO: variant of :- for hand transformed binary clauses - use with care

0.3.26 Predicate:

(;)/2

INFO: A;B succeeds if A succeeds or B, called after A, succeeds

0.3.27 Predicate:

(<)/2

INFO: numeric comparison

Calls:

0.3.392
```
less/2
```

Is called from:

0.3.247
```
dynco/1
```
0.3.308
```
get/1
```
0.3.597
```
sdebug/1
```
0.3.710
```
timed_call/4
```

0.3.28 Predicate:

<< /3

INFO: left shifts arg 1 by arg 2 bits

EXAMPLE(S):

?-<<(1,5,_A).
_A = 32;

no

0.3.29 Predicate:

(=)/2

INFO: (X,Y) true if (possibly cyclic) terms X and Y unify - cyclic terms can result from =/2, as occur check is not performed

EXAMPLE(S):

?-f(_A,s(a)) = f(_B,_B).
_A = s(a);
_B = s(a);

no

Is called from:

0.3.30 Predicate:

(=..)/2

INFO: called univ -this is bidirectional- it converts between a term and its view as a alist of components

EXAMPLE(S):

?-f(a,b) =.. _A.
_A = [f,a,b];

no

?-_A =.. [f,a,b].
_A = f(a,b);

no

Calls:

```
var/1
```

Is called from:

0.3.96
```
bagof/3
```
0.3.212
```
dcg_call/4
```
0.3.213
```
dcg_call/5
```
```
trim_term/4
```

0.3.31 Predicate:

(=:=)/2

INFO: numeric comparison

Calls:

0.3.74
```
arith_eq/2
```

Is called from:

0.3.140
```
char_of/2
```
0.3.313
```
get_char/2
```
0.3.548
```
qfindall/4
```
```
unix_cat/1
```

0.3.32 Predicate:

(=<)/2

INFO: numeric comparison

Calls:

0.3.393
```
less_eq/2
```

Is called from:

0.3.297
```
free_thread_guard/1
```
0.3.448
```
min/3
```
0.3.554
```
quietmes/2
```
0.3.712
```
to_lower_char/2
```
0.3.716
```
to_upper_char/2
```

0.3.33 Predicate:

(==)/2

INFO: true if args are identical terms

Is called from:

0.3.56
```
addq/3
```
0.3.141
```
check_password/1
```
0.3.538
```
pushq/3
```
0.3.691
```
term_of/2
```

0.3.34 Predicate:

(=\=)/2

INFO: numeric comparison

Calls:

0.3.73
```
arith_dif/2
```

Is called from:

0.3.147
```
clean_up_engines/1
```

0.3.35 Predicate:

(>)/2

INFO: numeric comparison

Calls:

0.3.330
```
greater/2
```

Is called from:

0.3.228
```
default_this_port/1
```
0.3.308
```
get/1
```
0.3.338
```
has_threads/0
```
0.3.440
```
max/3
```
0.3.632
```
sign/2
```
0.3.710
```
timed_call/4
```

0.3.36 Predicate:

(>=)/2

INFO: numeric comparison

Calls:

0.3.331
```
greater_eq/2
```

Is called from:

0.3.53
```
abs/2
```
0.3.281
```
float/1
```
0.3.297
```
free_thread_guard/1
```
0.3.712
```
to_lower_char/2
```
0.3.716
```
to_upper_char/2
```

0.3.37 Predicate:

>> /3

INFO: right shifts arg 1 by arg 2 bits

EXAMPLE(S):

?->>(16,2,_A).
_A = 4;

no

0.3.38 Predicate:

@ /3

INFO: alternative form for C/3 DCG connect relation

Calls:

0.3.43
```
C/3
```

0.3.39 Predicate:

(@<)/2

INFO: instance of compare/3 with arg 1: <

0.3.40 Predicate:

(@=<)/2

INFO: instance of compare/3 with arg 1: = or <

0.3.41 Predicate:

(@>)/2

INFO: instance of compare/3 with arg 1: >

0.3.42 Predicate:

(@>=)/2

INFO: instance of compare/3 with arg 1: > or =

0.3.43 Predicate:

C/3

INFO: DCG connect predicate

Is called from:

0.3.38
```
@ /3
```
0.3.438
```
match_before/5
```
0.3.439
```
match_word/3
```

0.3.44 Predicate:

\ /2

INFO: complement

Calls:

0.3.45
```
\ /3
```

0.3.45 Predicate:

\ /3

INFO: bitwise or of first arg with bitwise complement of second

EXAMPLE(S):

?-\(0,2,_A).
_A = -3;

no

Is called from:

0.3.44
```
\ /2
```

0.3.46 Predicate:

(\+)/1

INFO: succeeds if its argument is executed and fails

Calls:

0.3.263
```
fail/0
```

0.3.47 Predicate:

\/ /3

INFO: bitwise OR

EXAMPLE(S):

?-\/(1,2,_A).
_A = 3;

no

0.3.48 Predicate:

(\=)/2

INFO: true if args fail to unify

Calls:

0.3.263
```
fail/0
```

0.3.49 Predicate:

(\==)/2

INFO: true if arg 1 is not identical to arg 2

Is called from:

0.3.56
```
addq/3
```
0.3.70
```
apropos/2
```
0.3.96
```
bagof/3
```
0.3.172
```
cpopq/3
```
0.3.336
```
has_info/1
```
0.3.538
```
pushq/3
```

0.3.50 Predicate:

^ /2

INFO: calls arg 2 and binds arg 1

EXAMPLE(S):

?-_A^eq(_A,1).
_A = 1;

no

0.3.51 Predicate:

abolish/1

INFO: abolish(F/N) deletes predicate F/N

Calls:

0.3.177
```
current_db/1
```
0.3.190
```
db_abolish/2
```
```
x_abolish/1
```

0.3.52 Predicate:

abort/0

INFO: returns to toplevel

Is called from:

0.3.401
```
load/1
```
0.3.441
```
mcompile/1
```
0.3.595
```
scompile/1
```

0.3.53 Predicate:

abs/2

INFO: int function

Calls:

0.3.29
```
(=)/2
```
0.3.36
```
(>=)/2
```
0.3.372
```
(is)/2
```

0.3.54 Predicate:

abstime/1

INFO: gets time in secs since arbitrary origin

EXAMPLE(S):

?-abstime(_A).
_A = 372179908;

no

Calls:

0.3.372
```
(is)/2
```
0.3.663
```
statistics/2
```

0.3.55 Predicate:

acos/2

INFO: float function

0.3.56 Predicate:

addq/3

INFO: adds to end of persistent queeue

EXAMPLE(S):

?-addq(key1,key2,33).

yes

Calls:

0.3.33
```
(==)/2
```
0.3.49
```
(\==)/2
```
0.3.99
```
bb_gc/0
```
0.3.148
```
clear_bp_error/0
```
0.3.265
```
fatal_error/2
```
0.3.312
```
get_bp_error/4
```

Is called from:

0.3.194
```
db_assertz/2
```
0.3.430
```
map_put/3
```
0.3.454
```
mmap_push/3
```
0.3.455
```
mmap_put/3
```

0.3.57 Predicate:

all/2

INFO: gets the list of terms matching arg 1 from Linda blackboard

Calls:

0.3.404
```
local_all/2
```

0.3.58 Predicate:

all/3

INFO: gets a selection arg 1 of terms matching arg 2 from Linda blackboard

Calls:

0.3.405
```
local_all/3
```

0.3.59 Predicate:

all_answers/3

INFO: (X,G,Xs): like findall/3, but such that if V is not common to X and G then V cannot be bound by execution of G

EXAMPLE(S):

?-all_answers(_A,member(s(_A),[_B,_C,_C,_D]),_E).
_A = _x149315;
_B = s(_x150414);
_C = s(_x150441);
_D = s(_x150495);
_E = [_x150414,_x150441,_x150441,_x150495];

no

0.3.60 Predicate:

all_but_at_least/4

INFO: (N,X,G,Xs) findall variant, computing all but the first N answers X of G

Calls:

0.3.242
```
drop_at_least/2
```

0.3.61 Predicate:

all_for/2

INFO: all_for(X,Xs) collects all constrained terms X on the blackboard to list Xs

0.3.62 Predicate:

and/2

INFO: conjunction, like comma

0.3.63 Predicate:

answer_of/2

INFO: (X,G): X is an answer for G, after finding all, sorting and removing duplicates

Calls:

0.3.442
```
member/2
```
0.3.647
```
sort/2
```

0.3.64 Predicate:

answer_one_query/2

INFO: handles a Jinni service S with password P

Is called from:

0.3.606
```
service_loop/2
```

0.3.65 Predicate:

append/3

INFO: concatenates/decomposes lists

EXAMPLE(S):

?-append([1,2],[3,4],_A).
_A = [1,2,3,4];

no

?-append(_A,_B,[1,2]).
_A = [];
_B = [1,2];

_A = [1];
_B = [2];

_A = [1,2];
_B = [];

no

Calls:

0.3.65
```
append/3
```

Is called from:

0.3.65
```
append/3
```
0.3.566
```
read_terms_from_chars/3
```
0.3.629
```
show_defaults/0
```

0.3.66 Predicate:

appendN/2

INFO: concatenates N lists

EXAMPLE(S):

?-appendN([[a,b],[],[c]],_A).
_A = [a,b,c];

no

0.3.67 Predicate:

append_conj/3

INFO: concatenates 2 conjunctions

0.3.68 Predicate:

append_disj/3

INFO: concatenates 2 disjunctions

0.3.69 Predicate:

apropos/1

INFO: prints names of predicates defined in the system

EXAMPLE(S):

?-apropos(garbage).
use info/1 to get a description of a predicate
garbage_collect/0-[built_in,performs heap gc now]

yes

Calls:

0.3.70
```
apropos/2
```
0.3.263
```
fail/0
```
0.3.442
```
member/2
```
0.3.484
```
nl/0
```
0.3.647
```
sort/2
```
```
write/1
```

Is called from:

0.3.356
```
help/1
```

0.3.70 Predicate:

apropos/2

INFO: returns names of predicates defined in the system

EXAMPLE(S):

?-apropos(retract,_A).
_A = retract/1-[built_in,backtracks over deleting matching clauses];

_A = retract1/1-[built_in,deletes first matching clause in the current database];

_A = retractall/1-[built_in,deletes all matching clauses];

_A = x_retract/1-[built_in,db hook, backtracks over deleting matching clauses];

_A = x_retractall/1-[built_in,db hook, deletes all matching clauses];

_A = db_retract/2-[built_in,does retract/1 arg 2 from database given as arg 1];

_A = db_retract/3-[built_in,db_retract(Db,H,B) retracts clause with head H and body B from database Db];

_A = db_retract1/2-[built_in,deletes from database given as arg 1 a matching clause];

_A = db_retractall/2-[built_in,removes from database given as arg 1, all matching clauses];

_A = db_retractall/3-[built_in,removes from database given as arg 1, all matching clauses seen as head + body];

_A = prolog:x_retract_each/1-[compiled];

_A = prolog:db_retractall0/3-[compiled];

_A = prolog:x_retract/2-[compiled];

_A = prolog:x_retract_args/5-[compiled];

no

Calls:

0.3.29
```
(=)/2
```
0.3.49
```
(\==)/2
```
0.3.116
```
bp_info/2
```
0.3.300
```
functor/3
```
0.3.471
```
name/2
```
0.3.473
```
near_match/2
```
0.3.525
```
predicate_property/2
```

Is called from:

0.3.69
```
apropos/1
```

0.3.71 Predicate:

arg/3

INFO: arg(I,T,X) extracts arg I of term T to be unified with X

EXAMPLE(S):

?-arg(2,f(a,b),_A).
_A = b;

no

Is called from:

0.3.72 Predicate:

argn/3

INFO: generates all n args of term

EXAMPLE(S):

?-argn(_A,f(a,b),_B).
_A = 1;
_B = a;

_A = 2;
_B = b;

no

Calls:

0.3.71
```
arg/3
```
0.3.289
```
for/3
```
0.3.300
```
functor/3
```
0.3.487
```
nonvar/1
```

0.3.73 Predicate:

arith_dif/2

INFO: arithemetic comparison

Is called from:

0.3.34
```
(=\=)/2
```

0.3.74 Predicate:

arith_eq/2

INFO: arithemetic comparison

Is called from:

0.3.31
```
(=:=)/2
```

0.3.75 Predicate:

array_get/3

INFO: gets and dereferences array element

Is called from:

0.3.136
```
cdelq/4
```
0.3.137
```
cdelq_any/3
```
0.3.157
```
cmembq/3
```
0.3.206
```
db_retract/3
```
```
vget/2
```

0.3.76 Predicate:

array_get0/3

INFO: gets  array element

Is called from:

```
vget0/2
```

0.3.77 Predicate:

array_set/3

INFO: sets array element

Is called from:

```
vset/2
```

0.3.78 Predicate:

asin/2

INFO: float function

0.3.79 Predicate:

ask/5

INFO: ask(ClientSocket,X,G,W,R): calls rpc server on on ClientSocket with query X goal G password W and gets result R back - supports socket reuse

Calls:

0.3.29
```
(=)/2
```

Is called from:

0.3.584
```
rpc/3
```

0.3.80 Predicate:

ask_engine/2

INFO: ask_engine(E,X) retrieves from engine E (a copy of) answer X

Is called from:

0.3.309
```
get/2
```

0.3.81 Predicate:

ask_thread/2

INFO: (E,R): asks an answer of engine E on a new thread R

Is called from:

0.3.114
```
bg/7
```

0.3.82 Predicate:

asm/0

INFO: shows transformations and readable BinWAM assembler for Prolog code entered at terminal

0.3.83 Predicate:

asm/1

INFO: generates readable binarized form and BinWAM assembler to a file

0.3.84 Predicate:

assert/1

INFO: adds a clause

Calls:

0.3.89
```
assertz/1
```

Is called from:

0.3.611
```
set_default/1
```

0.3.85 Predicate:

assert_from_chars/1

INFO: asserts a program from clauses in list of chars

Calls:

0.3.86
```
assert_from_chars/2
```
0.3.177
```
current_db/1
```

0.3.86 Predicate:

assert_from_chars/2

INFO: (Db,Cs) asserts to database Db, a set of clauses parsed from list of char codes Cs

Calls:

0.3.294
```
foreach/2
```

Is called from:

0.3.85
```
assert_from_chars/1
```

0.3.87 Predicate:

asserta/1

INFO: adds a clause to be first in a predicate definition

Calls:

0.3.177
```
current_db/1
```
0.3.192
```
db_asserta/2
```
```
x_asserta/1
```

0.3.88 Predicate:

asserted/1

INFO: runs a predicated if asserted

Calls:

0.3.143
```
clause/2
```
0.3.487
```
nonvar/1
```

0.3.89 Predicate:

assertz/1

INFO: adds a clause to be last in a predicate definition

Calls:

0.3.177
```
current_db/1
```
0.3.194
```
db_assertz/2
```
```
x_assertz/1
```

Is called from:

0.3.84
```
assert/1
```

0.3.90 Predicate:

atan/2

INFO: float function

0.3.91 Predicate:

atan2/3

INFO: float function

0.3.92 Predicate:

atom/1

INFO: true if symbol (functor of arity 0)

EXAMPLE(S):

?-atom(a).

yes

Calls:

0.3.95
```
atomic/1
```
0.3.263
```
fail/0
```
0.3.369
```
integer/1
```

Is called from:

0.3.94
```
atom_codes/2
```
0.3.277
```
find_file/2
```

0.3.93 Predicate:

atom_chars/2

INFO: (Atom,CharAtoms): converts between an atom and its list of char atoms representation

EXAMPLE(S):

?-atom_chars(hello,_A).
_A = [h,e,l,l,o];

no

?-atom_chars(_A,[104,101,108,108,111]).
no

Calls:

0.3.94
```
atom_codes/2
```
0.3.487
```
nonvar/1
```

0.3.94 Predicate:

atom_codes/2

INFO: (Atom,CharCodes): converts between an atom and its list of char code representation

EXAMPLE(S):

?-atom_codes(hello,_A).
_A = [104,101,108,108,111];

no

?-atom_codes(_A,[104,101,108,108,111]).
_A = hello;

no

Calls:

0.3.29
```
(=)/2
```
0.3.92
```
atom/1
```
0.3.471
```
name/2
```
0.3.495
```
number/1
```

Is called from:

0.3.93
```
atom_chars/2
```
0.3.397
```
listify/2
```
0.3.419
```
make_cmd/2
```
0.3.670
```
swrite/2
```
```
words_code/2
```

0.3.95 Predicate:

atomic/1

INFO: true if an integer or symbolic constant

Is called from:

0.3.92
```
atom/1
```
0.3.150
```
close/1
```
0.3.164
```
compound/1
```
0.3.421
```
make_compileable/2
```
0.3.498
```
numbervars/3
```
0.3.678
```
system/2
```
```
trim_term/4
```

0.3.96 Predicate:

bagof/3

INFO: all solutions predicate generating unsorted bags of possibly dupplicated answers

EXAMPLE(S):

?-bagof(_A,member(_A,[3,2,2,1]),_B).
_A = _x149050;
_B = [3,2,2,1];

no

Calls:

0.3.29
```
(=)/2
```
0.3.30
```
(=..)/2
```
0.3.49
```
(\==)/2
```
0.3.300
```
functor/3
```
0.3.390
```
keysort/2
```

0.3.97 Predicate:

bb/0

INFO: lists (long!) content of the blackboard

0.3.98 Predicate:

bb_def/3

INFO: bb_def(K1,K2,T) associates to K1 and K2 (a copy of) T on the blackboard

Is called from:

0.3.102
```
bb_let/3
```
0.3.430
```
map_put/3
```
0.3.711
```
to_engine/2
```

0.3.99 Predicate:

bb_gc/0

INFO: performs blackboard gc now, if enabled

Calls:

0.3.108
```
bbgc_status/1
```
0.3.128
```
call_ifdef/2
```
0.3.148
```
clear_bp_error/0
```
0.3.258
```
errmes/2
```
0.3.263
```
fail/0
```

Is called from:

0.3.56
```
addq/3
```
0.3.538
```
pushq/3
```

0.3.100 Predicate:

bb_gc0/0

INFO: performs blackboard gc now, in this engine

Calls:

0.3.103
```
bb_reset/1
```
0.3.168
```
copy_term/2
```
0.3.220
```
debugmes/1
```
0.3.263
```
fail/0
```
0.3.372
```
(is)/2
```
0.3.663
```
statistics/2
```

0.3.101 Predicate:

bb_get/3

INFO: bb_get(K1,K2,T) consumes the term T associated with K1 and K2

Calls:

0.3.104
```
bb_rm/2
```
0.3.106
```
bb_val/3
```

0.3.102 Predicate:

bb_let/3

INFO: bb_let(K1,K2,T) updates or defines the term associated with K1 and K2 to be T

Calls:

0.3.98
```
bb_def/3
```
0.3.105
```
bb_set/3
```

Is called from:

0.3.357
```
hide_default/1
```
0.3.367
```
init_gensym/1
```
0.3.609
```
set_c_threshold/2
```
0.3.650
```
(spy)/1
```

0.3.103 Predicate:

bb_reset/1

INFO: cleans up and resizes to at least arg 1 bytes compound term area of the blackboard

Is called from:

0.3.100
```
bb_gc0/0
```

0.3.104 Predicate:

bb_rm/2

INFO: removes the term associated with K1 and K2 from the blackboard

Is called from:

0.3.101
```
bb_get/3
```
0.3.298
```
from_engine/1
```
0.3.488
```
(nospy)/1
```

0.3.105 Predicate:

bb_set/3

INFO: bb_set(K1,K2,T) updates the term associated with K1 and K2 to be a copy of T

Is called from:

0.3.102
```
bb_let/3
```
0.3.430
```
map_put/3
```

0.3.106 Predicate:

bb_val/3

INFO: bb_val(K1,K2,T) T is (a copy of) the term associated with keys K1 and K2

Calls:

0.3.168
```
copy_term/2
```

Is called from:

0.3.101
```
bb_get/3
```
0.3.183
```
current_module/1
```
0.3.298
```
from_engine/1
```
0.3.383
```
is_module/1
```
0.3.385
```
is_prolog/1
```
0.3.427
```
map_get/3
```
0.3.628
```
show_default/1
```

0.3.107 Predicate:

bbgc/0

INFO: enables blackboard gc

0.3.108 Predicate:

bbgc_status/1

INFO: shows if blackboard gc is enabled or not

Calls:

```
vget0/2
```

Is called from:

0.3.99
```
bb_gc/0
```

0.3.109 Predicate:

begin_critical/0

INFO: begin serialized execution - enters critical region

Calls:

0.3.412
```
lock_thread_guard/1
```

Is called from:

0.3.597
```
sdebug/1
```

0.3.110 Predicate:

bg/1

INFO: runs Goal in background thread - you can set engine size like in heap(500)=>bg(...)

Calls:

0.3.111
```
bg/2
```

Is called from:

0.3.588
```
rpc_test/0
```

0.3.111 Predicate:

bg/2

INFO: runs Goal in new background thread, which is returned in second arg

Calls:

0.3.112
```
bg/3
```

Is called from:

0.3.110
```
bg/1
```

0.3.112 Predicate:

bg/3

INFO: bg(Goal,Thread,EngineAddr): runs goal in background if threads are available

Calls:

0.3.113
```
bg/4
```

Is called from:

0.3.111
```
bg/2
```
0.3.710
```
timed_call/4
```

0.3.113 Predicate:

bg/4

INFO: bg(Goal,Thread,EngineAddr,EngineID): runs goal in background on new engine - with unique EngineID

Calls:

0.3.114
```
bg/7
```

Is called from:

0.3.112
```
bg/3
```

0.3.114 Predicate:

bg/7

INFO: bg(Goal,H,S,T,-Thread,-EngineAddr,-EngineID): runs goal in background on engine with given heap,stack,trail

Calls:

0.3.81
```
ask_thread/2
```
0.3.220
```
debugmes/1
```
0.3.318
```
get_engine_id/2
```
0.3.338
```
has_threads/0
```
0.3.402
```
load_engine/3
```
```
topcall/1
```

Is called from:

0.3.113
```
bg/4
```
0.3.594
```
run_server/6
```

0.3.115 Predicate:

boot/0

INFO: regenerates file wam.bp in BinProlog src directory

Is called from:

0.3.568
```
reboot/0
```

0.3.116 Predicate:

bp_info/2

INFO: keeps basic help info on BinProlog builtins

Calls:

0.3.300
```
functor/3
```
0.3.372
```
(is)/2
```
0.3.487
```
nonvar/1
```

Is called from:

0.3.70
```
apropos/2
```

0.3.117 Predicate:

bp_only/1

INFO: runs goal only if is_prolog(binprolog) is true

Calls:

0.3.118
```
bp_only/2
```

0.3.118 Predicate:

bp_only/2

INFO: (Goal,Alternative): runs goal only if is_prolog(binprolog) is true otherwise runs Alternative

Calls:

0.3.385
```
is_prolog/1
```

Is called from:

0.3.117
```
bp_only/1
```

0.3.119 Predicate:

bp_val/3

INFO: unifies with 2 key indexed global logical variable

0.3.120 Predicate:

call/1

INFO: executes (atomic!) arg 1

0.3.121 Predicate:

call/2

INFO: efficient call/N variant

Calls:

0.3.687
```
term_append/3
```

Is called from:

0.3.364
```
include/1
```

0.3.122 Predicate:

call/3

INFO: efficient call/N variant

Calls:

0.3.687
```
term_append/3
```

0.3.123 Predicate:

call/4

INFO: efficient call/N variant

Calls:

0.3.687
```
term_append/3
```

Is called from:

0.3.165
```
compute/4
```

0.3.124 Predicate:

call/5

INFO: efficient call/N variant

Calls:

0.3.687
```
term_append/3
```

0.3.125 Predicate:

call/6

INFO: efficient call/N variant

Calls:

0.3.687
```
term_append/3
```

0.3.126 Predicate:

call/7

INFO: efficient call/N variant

Calls:

0.3.687
```
term_append/3
```

0.3.127 Predicate:

call_external/3

INFO: args: StringToStringFunctionAddress,InputChars,OuputChars - calls a C function

0.3.128 Predicate:

call_ifdef/2

INFO: calls if predicate head is defined, calls arg 2 if not

Calls:

0.3.220
```
debugmes/1
```
0.3.263
```
fail/0
```
0.3.376
```
is_compiled/1
```

Is called from:

0.3.99
```
bb_gc/0
```
0.3.533
```
prolog_load/1
```
0.3.575
```
restart/0
```
0.3.629
```
show_defaults/0
```
```
x_gc/0
```
```
xload/1
```

0.3.129 Predicate:

call_jinni/1

INFO: call_jinni(G) calls Jinni in Twin Prolog with first answer binding G and fails if no answers are found

Calls:

0.3.29
```
(=)/2
```
0.3.130
```
call_jinni/2
```

0.3.130 Predicate:

call_jinni/2

INFO: call_jinni(G,R) calls Jinni in Twin Prolog with first answer R=the(G) or R=no, without binding G

Calls:

0.3.131
```
call_jinni/3
```

Is called from:

0.3.129
```
call_jinni/1
```

0.3.131 Predicate:

call_jinni/3

INFO: call_jinni(X,G,R) calls Jinni in Twin Prolog with first answer R=the(X) or R=no, without binding G

Calls:

0.3.29
```
(=)/2
```

Is called from:

0.3.130
```
call_jinni/2
```
0.3.572
```
remote_run/6
```

0.3.132 Predicate:

callable/1

INFO: checks if predicate head is defined (callable)

Calls:

0.3.300
```
functor/3
```
0.3.376
```
is_compiled/1
```
0.3.378
```
is_dynamic/1
```
0.3.487
```
nonvar/1
```

Is called from:

0.3.222
```
default/2
```

0.3.133 Predicate:

catch/3

INFO: ISO Prolog exception operator: executes arg 1 and if it catches arg 2, it executes arg 3

Calls:

0.3.263
```
fail/0
```

0.3.134 Predicate:

cd/0

INFO: changes local dir to HOME directory or / if no such env var

0.3.135 Predicate:

cd/1

INFO: changes local dir to arg 1

Calls:

```
unix_cd/1
```

0.3.136 Predicate:

cdelq/4

INFO: deletes first matching element from a queue

EXAMPLE(S):

?-cdelq(key1,key2,_A,_B).
_A = _x148849;
_B = 33;

no

Calls:

0.3.75
```
array_get/3
```

Is called from:

0.3.190
```
db_abolish/2
```
0.3.207
```
db_retract1/2
```
0.3.426
```
map_gc/1
```
0.3.458
```
mmap_rm_one/3
```

0.3.137 Predicate:

cdelq_any/3

INFO: deletes any matching element from a queue

EXAMPLE(S):

?-cdelq_any(key1,key2,_A).
no

Calls:

0.3.75
```
array_get/3
```

Is called from:

0.3.456
```
mmap_rm/3
```

0.3.138 Predicate:

ceiling/2

INFO: float to int function

EXAMPLE(S):

?-ceiling(1.3,_A).
_A = 2;

no

Calls:

0.3.370
```
integer/2
```
0.3.372
```
(is)/2
```

0.3.139 Predicate:

change_arg/3

INFO: destructive: change_arg(I,T,X) replaces arg I of T with X

EXAMPLE(S):

?-change_arg(2,f(a,b),c).

yes

Is called from:

0.3.362
```
if_any/3
```

0.3.140 Predicate:

char_of/2

INFO: reads a Prolog file to a set of ascii codes - on backtracking

Calls:

0.3.141 Predicate:

check_password/1

INFO: checks that password matches default password

Calls:

0.3.33
```
(==)/2
```
0.3.225
```
default_password/1
```
0.3.258
```
errmes/2
```

0.3.142 Predicate:

cin/1

INFO: tries to get and remove a term from Linda blackboard

Calls:

0.3.406
```
local_cin/1
```

0.3.143 Predicate:

clause/2

INFO: clause(H,B) generates a clause with head matching H and body B

Calls:

0.3.177
```
current_db/1
```
0.3.195
```
db_clause/3
```
```
x_clause/2
```

Is called from:

0.3.88
```
asserted/1
```

0.3.144 Predicate:

clause_of/2

INFO: reads a Prolog file to a set of clauses - on backtracking

Calls:

0.3.691
```
term_of/2
```

0.3.145 Predicate:

clean_up_dead_engines/0

INFO: frees resources used by dead engines

Calls:

0.3.29
```
(=)/2
```
0.3.147
```
clean_up_engines/1
```

0.3.146 Predicate:

clean_up_engines/0

INFO: frees resources used by all engines except main

Calls:

0.3.147
```
clean_up_engines/1
```

0.3.147 Predicate:

clean_up_engines/1

INFO: internal predicate

Calls:

Is called from:

0.3.145
```
clean_up_dead_engines/0
```
0.3.146
```
clean_up_engines/0
```

0.3.148 Predicate:

clear_bp_error/0

INFO: clears errors set by various conditions

Calls:

0.3.607
```
set_bp_error/4
```

Is called from:

0.3.56
```
addq/3
```
0.3.99
```
bb_gc/0
```
0.3.538
```
pushq/3
```

0.3.149 Predicate:

clone_term/3

INFO: clone_term(Vs,T,CT) does copy_term(T,C) while keeping unchanged variables Vs - useful if doing things like setarg/3 on the new copy

EXAMPLE(S):

?-clone_term([_A,_C],f(_A,_B,_B,_C),_D).
_A = _x149826;
_B = _x149196;
_C = _x149829;
_D = f(_x149826,_x149827,_x149827,_x149829);

no

Calls:

0.3.168
```
copy_term/2
```

0.3.150 Predicate:

close/1

INFO: closes a stream opened by open/3

Calls:

0.3.95
```
atomic/1
```

0.3.151 Predicate:

close_iterator/1

INFO: (Iterator) closes an iterator

Calls:

0.3.692
```
term_store_op/4
```

Is called from:

0.3.311
```
get_all_terms/2
```

0.3.152 Predicate:

close_socket/1

INFO: closes a server, service or client

0.3.153 Predicate:

close_stream/2

INFO: (Type,StreamID) closes various streams

Is called from:

0.3.267
```
fclose/1
```

0.3.154 Predicate:

cmake/0

INFO: compiles BinProlog's Prolog components to compact C code - for packaging as standalone executable

Calls:

0.3.155
```
cmake/1
```

0.3.155 Predicate:

cmake/1

INFO: compiles a Project to compact C code - for packaging as standalone executable

Calls:

0.3.156
```
cmake/2
```

Is called from:

0.3.154
```
cmake/0
```

0.3.156 Predicate:

cmake/2

INFO: (Project,Module): compiles to C a project with all clauses belonging to Module

Is called from:

0.3.155
```
cmake/1
```
0.3.550
```
qmake/2
```

0.3.157 Predicate:

cmembq/3

INFO: generates (copies of) members of a queue

EXAMPLE(S):

?-cmembq(key1,key2,_A).
no

Calls:

0.3.75
```
array_get/3
```

Is called from:

0.3.195
```
db_clause/3
```
0.3.428
```
map_key/2
```
0.3.451
```
mmap_get/3
```
0.3.452
```
mmap_key/2
```

0.3.158 Predicate:

cnl/0

INFO: writes a new line

Is called from:

0.3.484
```
nl/0
```

0.3.159 Predicate:

co/0

INFO: reconsults/recompiles last file

Calls:

0.3.364
```
include/1
```

0.3.160 Predicate:

co/1

INFO: reconsults using fast reader

Calls:

0.3.569
```
reconsult/1
```

Is called from:

```
~ /1
```

0.3.161 Predicate:

codes_words/2

INFO: converts a list of character codes to a list of words and back

Calls:

0.3.719
```
to_words/2
```
```
var/1
```
```
words_code/2
```

Is called from:

0.3.567
```
read_words/1
```
0.3.604
```
sentence_of/2
```
0.3.720
```
token_of/2
```

0.3.162 Predicate:

compare/3

INFO: returns <,=,> in arg 1 after comparing arg 2 with arg 3

EXAMPLE(S):

?-compare(_A,1,2).
_A = (<);

no

?-compare(_A,f(b),f(a)).
_A = (>);

no

?-compare(_A,s(_B),s(_B)).
_A = (=);
_B = _x149196;

no

0.3.163 Predicate:

compile/1

INFO: applies current compilation method to the file arg 1

0.3.164 Predicate:

compound/1

INFO: true if it has arity > 0

EXAMPLE(S):

?-compound(f(a)).

yes

Calls:

0.3.95
```
atomic/1
```
0.3.487
```
nonvar/1
```

0.3.165 Predicate:

compute/4

INFO: applies Op to arg 2 and arg 3 giving a result

Calls:

0.3.123
```
call/4
```

0.3.166 Predicate:

consult/1

INFO: consults with possible duplication of clauses, allows later dynamic recompilation depending on db_ratio/1

Calls:

0.3.167
```
consult/2
```
0.3.177
```
current_db/1
```
```
x_consult/1
```

Is called from:

```
xload/1
```

0.3.167 Predicate:

consult/2

INFO: consult(File,DB) consults File into DB)

Calls:

0.3.198
```
db_consult/2
```

Is called from:

0.3.166
```
consult/1
```

0.3.168 Predicate:

copy_term/2

INFO: returns a copy of arg 1 with fresh variables

EXAMPLE(S):

?-copy_term(f(_A,_A,_B,_B),_C).
_A = _x149028;
_B = _x149030;
_C = f(_x149464,_x149464,_x149466,_x149466);

no

Is called from:

0.3.11
```
$process_catch/3
```
0.3.100
```
bb_gc0/0
```
0.3.106
```
bb_val/3
```
0.3.149
```
clone_term/3
```
0.3.696
```
the/3
```

0.3.169 Predicate:

cos/2

INFO: float function

0.3.170 Predicate:

count_terms/2

INFO: returns the number of terms attached to a key

Calls:

0.3.692
```
term_store_op/4
```

0.3.171 Predicate:

cout/1

INFO: adds a term to the blackboard, unless already a matching one is there

Calls:

0.3.407
```
local_cout/1
```

0.3.172 Predicate:

cpopq/3

INFO: pops (copy of) first element of persistent queue

EXAMPLE(S):

?-cpopq(key1,key2,_A).
no

Calls:

0.3.49
```
(\==)/2
```
0.3.258
```
errmes/2
```
0.3.312
```
get_bp_error/4
```

0.3.173 Predicate:

create_engine/1

INFO: makes a new engine or reuses a dead one

Is called from:

0.3.505
```
open_engine/3
```

0.3.174 Predicate:

create_engine/4

INFO: create_engine(Heap,Stack,Trail,IntHandle) creates an engine IntHandle

Is called from:

0.3.175
```
create_new_engine/1
```

0.3.175 Predicate:

create_new_engine/1

INFO: creates an engine as big as the current one

Calls:

0.3.174
```
create_engine/4
```

0.3.176 Predicate:

ctime/1

INFO: gets elapsed cpu time in ms

EXAMPLE(S):

?-ctime(_A).
_A = 7046;

no

Calls:

0.3.663
```
statistics/2
```

Is called from:

0.3.342
```
hash_compile/0
```
0.3.589
```
rpc_test/1
```
```
x_gc/0
```
```
x_traced_call/1
```

0.3.177 Predicate:

current_db/1

INFO: gets the name of currently active database

Calls:

```
vget0/2
```

Is called from:

0.3.178 Predicate:

current_engine/1

INFO: gets the unique id of the current engine

Calls:

0.3.180
```
current_engine_id/1
```

0.3.179 Predicate:

current_engine_addr/1

INFO: returns current engine handle

Is called from:

0.3.180
```
current_engine_id/1
```
0.3.181
```
current_engine_thread/1
```
0.3.698
```
this_engine/1
```

0.3.180 Predicate:

current_engine_id/1

INFO: returns a unique id associated to an engine at creation time

Calls:

0.3.179
```
current_engine_addr/1
```
0.3.318
```
get_engine_id/2
```

Is called from:

0.3.178
```
current_engine/1
```

0.3.181 Predicate:

current_engine_thread/1

INFO: gets from the current Engine the thread it is running on

Calls:

0.3.179
```
current_engine_addr/1
```
0.3.320
```
get_engine_thread/2
```

Is called from:

0.3.408
```
local_in/1
```
0.3.411
```
local_when/1
```

0.3.182 Predicate:

current_input/1

INFO: gets current input stream

Is called from:

0.3.513
```
pcollect/2
```

0.3.183 Predicate:

current_module/1

INFO: gets name of current module

Calls:

0.3.29
```
(=)/2
```
0.3.106
```
bb_val/3
```

Is called from:

0.3.255
```
end_module/1
```

0.3.184 Predicate:

current_op/3

INFO: generates/check current op/3 operator definition(s)

Calls:

0.3.263
```
fail/0
```
0.3.289
```
for/3
```
0.3.487
```
nonvar/1
```

Is called from:

0.3.380
```
is_interactive/0
```

0.3.185 Predicate:

current_output/1

INFO: gets current output stream

0.3.186 Predicate:

current_predicate/1

INFO: generates/checks the head of an existing predicate

Calls:

0.3.300
```
functor/3
```
0.3.487
```
nonvar/1
```

0.3.187 Predicate:

current_predicate/2

INFO: generates/checks name and head of a currently defined predicate

Calls:

0.3.300
```
functor/3
```
0.3.487
```
nonvar/1
```

Is called from:

0.3.629
```
show_defaults/0
```

0.3.188 Predicate:

current_thread/1

INFO: gets thread id number of current thread

0.3.189 Predicate:

cwrite/1

INFO: basic but quick C-version of write/1

0.3.190 Predicate:

db_abolish/2

INFO: db_abolish(DB,F/N) removes predicate F/N from DB

Calls:

0.3.136
```
cdelq/4
```
0.3.300
```
functor/3
```

Is called from:

0.3.51
```
abolish/1
```
0.3.203
```
db_move/2
```
0.3.209
```
db_retractall/3
```

0.3.191 Predicate:

db_assert/2

INFO: does assert/1 arg 2 into database given as arg 1

Calls:

0.3.194
```
db_assertz/2
```

0.3.192 Predicate:

db_asserta/2

INFO: does asserta/1 arg 2 into database given as arg 1

Calls:

0.3.538
```
pushq/3
```

Is called from:

0.3.87
```
asserta/1
```
0.3.209
```
db_retractall/3
```

0.3.193 Predicate:

db_asserted/2

INFO: runs predicate arg 2 if asserted in database arg 1

Calls:

0.3.195
```
db_clause/3
```
0.3.487
```
nonvar/1
```

0.3.194 Predicate:

db_assertz/2

INFO: does assertz/1 arg 2 into database given as arg 1

Calls:

0.3.56
```
addq/3
```

Is called from:

0.3.89
```
assertz/1
```
0.3.191
```
db_assert/2
```

0.3.195 Predicate:

db_clause/3

INFO: clause(DB,H,B) generates a clause found in database DB with head matching H and body B

Calls:

0.3.157
```
cmembq/3
```
0.3.199
```
db_head/2
```
0.3.487
```
nonvar/1
```

Is called from:

0.3.143
```
clause/2
```
0.3.193
```
db_asserted/2
```
0.3.211
```
db_save/2
```

0.3.196 Predicate:

db_clean/0

INFO: abolishes all predicates in currently active database

Calls:

0.3.177
```
current_db/1
```
0.3.197
```
db_clean/1
```

0.3.197 Predicate:

db_clean/1

INFO: db_clean(DB) abolishes all predicates in DB

Calls:

0.3.263
```
fail/0
```

Is called from:

0.3.196
```
db_clean/0
```
0.3.421
```
make_compileable/2
```

0.3.198 Predicate:

db_consult/2

INFO: db_consult(File,Db) consults a file to a database Db

Calls:

0.3.277
```
find_file/2
```

Is called from:

0.3.167
```
consult/2
```

0.3.199 Predicate:

db_head/2

INFO: generates/checks a predicate head in database (arg 1)

Calls:

0.3.300
```
functor/3
```

Is called from:

0.3.195
```
db_clause/3
```
0.3.203
```
db_move/2
```
0.3.660
```
stat2dyn/2
```

0.3.200 Predicate:

db_is_dynamic/2

INFO: checks if dynamic in a given database

0.3.201 Predicate:

db_listing/1

INFO: lists caluses given database

0.3.202 Predicate:

db_listing/2

INFO: lists predicate F/N in given database

Calls:

0.3.300
```
functor/3
```

0.3.203 Predicate:

db_move/2

INFO: db_move(FromDB,ToDB) moves the content of database FromDB over database ToDB while replacing similar predicates

Calls:

0.3.190
```
db_abolish/2
```
0.3.199
```
db_head/2
```
0.3.263
```
fail/0
```
0.3.300
```
functor/3
```

Is called from:

0.3.499
```
oconsult/1
```

0.3.204 Predicate:

db_ratio/1

INFO: sets/gets call/assert ratio which triggers dynamic recompilation

Calls:

0.3.369
```
integer/1
```
```
vget0/2
```
```
vset/2
```

Is called from:

0.3.247
```
dynco/1
```

0.3.205 Predicate:

db_retract/2

INFO: does retract/1 arg 2 from database given as arg 1

Calls:

0.3.206
```
db_retract/3
```

Is called from:

0.3.576
```
retract/1
```

0.3.206 Predicate:

db_retract/3

INFO: db_retract(Db,H,B) retracts clause with head H and body B from database Db

Calls:

0.3.75
```
array_get/3
```

Is called from:

0.3.205
```
db_retract/2
```

0.3.207 Predicate:

db_retract1/2

INFO: deletes from database given as arg 1 a matching clause

Calls:

0.3.29
```
(=)/2
```
0.3.136
```
cdelq/4
```

Is called from:

0.3.209
```
db_retractall/3
```
0.3.577
```
retract1/1
```

0.3.208 Predicate:

db_retractall/2

INFO: removes from database given as arg 1, all matching clauses

Calls:

0.3.209
```
db_retractall/3
```

Is called from:

0.3.578
```
retractall/1
```

0.3.209 Predicate:

db_retractall/3

INFO: removes from database given as arg 1, all matching clauses seen as head + body

Calls:

0.3.71
```
arg/3
```
0.3.190
```
db_abolish/2
```
0.3.192
```
db_asserta/2
```
0.3.207
```
db_retract1/2
```
0.3.289
```
for/3
```
0.3.300
```
functor/3
```
0.3.487
```
nonvar/1
```

Is called from:

0.3.208
```
db_retractall/2
```

0.3.210 Predicate:

db_save/1

INFO: db_save(File) saves all the clauses of the current database to File

Calls:

0.3.177
```
current_db/1
```
0.3.211
```
db_save/2
```

Is called from:

```
xsave/1
```

0.3.211 Predicate:

db_save/2

INFO: db_save(Db,File) saves using qprint/1 all the clauses of Db to File

Calls:

0.3.195
```
db_clause/3
```
0.3.263
```
fail/0
```
0.3.551
```
qprint/1
```
0.3.682
```
tell/1
```
```
told/0
```

Is called from:

0.3.210
```
db_save/1
```

0.3.212 Predicate:

dcg_call/4

INFO: (F,X,I,O): DCG metacall for star,plus,one

Calls:

0.3.30
```
(=..)/2
```
```
topcall/1
```

Is called from:

0.3.502
```
one/4
```
0.3.519
```
plus/4
```
0.3.655
```
star/4
```

0.3.213 Predicate:

dcg_call/5

INFO: (F,X,Y,I,O): DCG metacall for star,plus,one

Calls:

0.3.30
```
(=..)/2
```
```
topcall/1
```

0.3.214 Predicate:

dcg_connect/1

INFO: handles a terminal symbol in HAGs, as [a] in DCGs

0.3.215 Predicate:

dcg_def/1

INFO: backtrackable: sets current Assumption Grammar stream - usually a hidden DCG list

0.3.216 Predicate:

dcg_tell/1

INFO: switches to hidden DCG-stream number K (form 0 to MAXDCG=255)

0.3.217 Predicate:

dcg_telling/1

INFO: retrieves which hidden DCG-stream we a re processing

EXAMPLE(S):

?-dcg_telling(_A).
_A = 1;

no

0.3.218 Predicate:

dcg_val/1

INFO: backtrackable: retrieves current Assumption Grammar stream - usually a hidden DCG list

0.3.219 Predicate:

dconsult/1

INFO: reconsult/1 variant: cleans up data areas, consults/compiles based on db_ratio/1

0.3.220 Predicate:

debugmes/1

INFO: writes message in debug mode (low quietness)

Calls:

0.3.554
```
quietmes/2
```

Is called from:

0.3.221 Predicate:

deep_hash/4

INFO: (Key,Depth,Mod) computes hashvalue of Key modulo Mod, up to max recursion Depth

EXAMPLE(S):

?-deep_hash(f(a),5,0,_A).
_A = 23114257;

no

?-deep_hash(f(b),1,32,_A).
_A = 18;

no

Is called from:

0.3.332
```
ground/1
```
0.3.358
```
hkey/2
```
0.3.690
```
term_hash/2
```

0.3.222 Predicate:

default/2

INFO: default that can be overriden if asserted

EXAMPLE(S):

?-default(host(_A),_A = localhost).
_A = localhost;

no

Calls:

0.3.132
```
callable/1
```
0.3.628
```
show_default/1
```

Is called from:

0.3.223 Predicate:

default_host/1

INFO: returns default host for remote Linda server

Calls:

0.3.222
```
default/2
```

Is called from:

0.3.570
```
remote_run/1
```
0.3.656
```
start_rpc/0
```

0.3.224 Predicate:

default_login/1

INFO: returns default (nick)name for user

Calls:

0.3.222
```
default/2
```

0.3.225 Predicate:

default_password/1

INFO: returns default password for user

Calls:

0.3.222
```
default/2
```

Is called from:

0.3.141
```
check_password/1
```
0.3.571
```
remote_run/3
```
0.3.585
```
rpc_server/0
```
0.3.656
```
start_rpc/0
```

0.3.226 Predicate:

default_port/1

INFO: returns default port for remote Linda server

Calls:

0.3.222
```
default/2
```

Is called from:

0.3.570
```
remote_run/1
```
0.3.656
```
start_rpc/0
```

0.3.227 Predicate:

default_this_host/1

INFO: returns default IP address or hostname this machine

Calls:

0.3.222
```
default/2
```

0.3.228 Predicate:

default_this_port/1

INFO: returns default port to work as a server on

Calls:

0.3.35
```
(>)/2
```
0.3.222
```
default/2
```
```
vget0/2
```

Is called from:

0.3.585
```
rpc_server/0
```
0.3.591
```
run_server/0
```

0.3.229 Predicate:

default_timeout/1

INFO: returns default timeout

Calls:

0.3.222
```
default/2
```

Is called from:

0.3.586
```
rpc_server/2
```
0.3.708
```
thread_wait/1
```

0.3.230 Predicate:

delete_all_terms/1

INFO: (GroundKey) removes all terms attached to a key

Calls:

0.3.692
```
term_store_op/4
```

0.3.231 Predicate:

destroy_array/1

INFO: frees an array

0.3.232 Predicate:

destroy_engine/1

INFO: destroy_engine(E) frees memory of engine E (an integer)

Is called from:

0.3.147
```
clean_up_engines/1
```
0.3.665
```
stop/1
```
0.3.710
```
timed_call/4
```

0.3.233 Predicate:

det_call/1

INFO: calls a Goal and warns if it was not deterministic

Calls:

0.3.29
```
(=)/2
```
0.3.258
```
errmes/2
```
0.3.263
```
fail/0
```
0.3.276
```
find_at_most/4
```

0.3.234 Predicate:

detect_ip_addr/1

INFO: the ip address of current host, if detected, that of localhost if not

Calls:

```
vread/2
```

0.3.235 Predicate:

detect_user/1

INFO: guesses the user from environment information

Calls:

```
unix_getenv/2
```

0.3.236 Predicate:

dir/0

INFO: lists files under DOS

Calls:

0.3.677
```
system/1
```

0.3.237 Predicate:

dir2dirs/2

INFO: (Dir,Dirs): converts dir cmd output to list of sub directories of Dir

Calls:

0.3.239
```
dir2list/3
```

0.3.238 Predicate:

dir2files/2

INFO: (Dir,Files): converts dir cmd output to list of files (which are not dirs) contained in Dir

Calls:

0.3.239
```
dir2list/3
```

0.3.239 Predicate:

dir2list/3

INFO: (DirListerCmd,DirName,Files): converts OS specific DirLister output to list of files and/or directories

Calls:

0.3.29
```
(=)/2
```
0.3.472
```
namecat/4
```
0.3.513
```
pcollect/2
```

Is called from:

0.3.237
```
dir2dirs/2
```
0.3.238
```
dir2files/2
```
0.3.416
```
ls2list/2
```

0.3.240 Predicate:

(discontiguous)/1

INFO: states that clauses of a predicate can be in different places

Calls:

0.3.470
```
(multifile)/1
```

0.3.241 Predicate:

display/1

INFO: writes to terminal while ignoring operator definitions

0.3.242 Predicate:

drop_at_least/2

INFO: (N,Goal) drops at least N answers of Goal G

Calls:

0.3.29
```
(=)/2
```
0.3.635
```
skip_when/2
```

Is called from:

0.3.60
```
all_but_at_least/4
```

0.3.243 Predicate:

dyn2stat/1

INFO: dyn2stat(H): compiles at runtime a predicate with head H

Calls:

0.3.177
```
current_db/1
```
0.3.244
```
dyn2stat/2
```

0.3.244 Predicate:

dyn2stat/2

INFO: dyn2stat(Db,H): compiles at a predicate from database Db with head H

Calls:

```
vget0/2
```
```
vset/2
```

Is called from:

0.3.243
```
dyn2stat/1
```

0.3.245 Predicate:

(dynamic)/1

INFO: states that a predicate can be updated

Calls:

```
x_dynamic/1
```

0.3.246 Predicate:

dynbbgc/0

INFO: makes blackboard dynamic with gc on

Calls:

```
vset/2
```

0.3.247 Predicate:

dynco/1

INFO: yes/no: activates/desactivates dynamic recompilation

Calls:

0.3.27
```
(<)/2
```
0.3.29
```
(=)/2
```
0.3.204
```
db_ratio/1
```
0.3.372
```
(is)/2
```
```
var/1
```

Is called from:

0.3.661
```
static_prolog_flag/2
```

0.3.248 Predicate:

ed/0

INFO: edits last compiled/consulted file with default editor and refreshes it in memory

0.3.249 Predicate:

edit/0

INFO: calls DOS editor edit on last compiled file

0.3.250 Predicate:

edit/2

INFO: edit(E,F) edits with editor E, file F

Calls:

0.3.364
```
include/1
```
0.3.419
```
make_cmd/2
```
0.3.677
```
system/1
```

0.3.251 Predicate:

element_of/2

INFO: (Engine,Answer: backtracks over the answers of a fluent (usually an engine)

0.3.252 Predicate:

emacs/0

INFO: calls emacs editor on last compiled file

0.3.253 Predicate:

end_critical/0

INFO: ends serialized execution - exits critical region

Calls:

```
unlock_thread_guard/1
```

Is called from:

0.3.597
```
sdebug/1
```

0.3.254 Predicate:

end_module/0

INFO: ends current module

Is called from:

0.3.255
```
end_module/1
```

0.3.255 Predicate:

end_module/1

INFO: ends module if current, signals erro if not

Calls:

0.3.183
```
current_module/1
```
0.3.254
```
end_module/0
```
0.3.258
```
errmes/2
```

0.3.256 Predicate:

end_of_file/0

INFO: Prolog atom returned by read when at the end of a file

Calls:

0.3.333
```
halt/0
```

0.3.257 Predicate:

eq/2

INFO: unifies arg 1 and arg 2, like =

0.3.258 Predicate:

errmes/2

INFO: writes error message and fails

Is called from:

0.3.259 Predicate:

exists_file/1

INFO: true if file exists

Calls:

0.3.600
```
see_or_fail/1
```
0.3.603
```
seen/0
```

Is called from:

0.3.275
```
file_size/2
```

0.3.260 Predicate:

exit/0

INFO: same as halt

Calls:

0.3.333
```
halt/0
```

0.3.261 Predicate:

exp/2

INFO: float function

0.3.262 Predicate:

expand_term/2

INFO: expands a term according to DCG expansion rules

0.3.263 Predicate:

fail/0

INFO: always fails

Is called from:

0.3.264 Predicate:

false/0

INFO: always fails

Calls:

0.3.263
```
fail/0
```

0.3.265 Predicate:

fatal_error/2

INFO: writes error message and aborts

Is called from:

0.3.56
```
addq/3
```
0.3.538
```
pushq/3
```

0.3.266 Predicate:

fcall/3

INFO: calls a list to list function: to be implemented

0.3.267 Predicate:

fclose/1

INFO: closes the C-stream specifiend as an integer handle

Calls:

0.3.153
```
close_stream/2
```

Is called from:

0.3.140
```
char_of/2
```
0.3.271
```
file2chars/2
```
0.3.275
```
file_size/2
```
```
unix_cat/1
```

0.3.268 Predicate:

fcompile/1

INFO: compiles a *.pl file to a *.wam bytecode file

0.3.269 Predicate:

fflush/1

INFO: fflush(IntegerStreamNo) flushes a C-stream

Is called from:

0.3.285
```
flush_output/1
```

0.3.270 Predicate:

fgetc/2

INFO: fgetc(IntegerStreamNo,CharCode) inputs a char code from a C stream

Is called from:

0.3.140
```
char_of/2
```
0.3.271
```
file2chars/2
```
0.3.315
```
get_code/2
```
```
unix_cat/1
```

0.3.271 Predicate:

file2chars/2

INFO: reads a file to a list of ascii codes

Calls:

0.3.267
```
fclose/1
```
0.3.270
```
fgetc/2
```
0.3.288
```
fopen/3
```

0.3.272 Predicate:

file2sock/2

INFO: writes to a socket, from a file

0.3.273 Predicate:

file_extension_list/1

INFO: defines default file extensions for find_file

Is called from:

0.3.277
```
find_file/2
```

0.3.274 Predicate:

file_search_path/1

INFO: defines search path relative to BP_PATH (home of BinProlog) and PROLOG_PATH (home of user files)

Is called from:

0.3.277
```
find_file/2
```

0.3.275 Predicate:

file_size/2

INFO: returns the size of a file, in bytes

Calls:

0.3.29
```
(=)/2
```
0.3.259
```
exists_file/1
```
0.3.267
```
fclose/1
```
0.3.288
```
fopen/3
```
0.3.299
```
fsize/2
```

0.3.276 Predicate:

find_at_most/4

INFO: (N,X,G,Xs) findall variant, computing at most N answers X of G

Calls:

0.3.680
```
take_at_most/2
```

Is called from:

0.3.233
```
det_call/1
```

0.3.277 Predicate:

find_file/2

INFO: finds a file name on search path

Calls:

0.3.92
```
atom/1
```
0.3.273
```
file_extension_list/1
```
0.3.274
```
file_search_path/1
```
```
user_error/2
```

Is called from:

0.3.140
```
char_of/2
```
0.3.198
```
db_consult/2
```
0.3.499
```
oconsult/1
```
0.3.605
```
sentence_of/3
```
0.3.691
```
term_of/2
```

0.3.278 Predicate:

find_while/4

INFO: findall variant

Calls:

```
while/2
```

0.3.279 Predicate:

findall/3

INFO: findall(X,G,Xs) collects copies of all answers X of G to Xs. If less then half of the heap is free, it allocates new engine for running G

EXAMPLE(S):

?-findall(s(_A),(member(_A,[1,2,3]),_A > 1),_B).
_A = _x149171;
_B = [s(2),s(3)];

no

Calls:

0.3.280
```
findall/4
```

0.3.280 Predicate:

findall/4

INFO: findall(X,G,Xs,Ys) appends the list of answers X of G to Ys to obtain Xs

EXAMPLE(S):

?-findall(s(_A),(_A = 1 ; _A = 2),_B,[3,4]).
_A = _x149157;
_B = [s(1),s(2),3,4];

no

Calls:

0.3.675
```
synchronize_on/2
```

Is called from:

0.3.279
```
findall/3
```

0.3.281 Predicate:

float/1

INFO: true if represented as a 64 bit float number (C-double)

EXAMPLE(S):

?-float(3.14).

yes

Calls:

0.3.36
```
(>=)/2
```
0.3.71
```
arg/3
```
0.3.300
```
functor/3
```
0.3.487
```
nonvar/1
```

Is called from:

0.3.495
```
number/1
```
```
trim_term/4
```

0.3.282 Predicate:

float/2

INFO: float function

Calls:

0.3.372
```
(is)/2
```

0.3.283 Predicate:

floor/2

INFO: float to int function

EXAMPLE(S):

?-floor(1.3,_A).
_A = 1;

no

Calls:

0.3.370
```
integer/2
```

0.3.284 Predicate:

flush_output/0

INFO: flushes current output stream

0.3.285 Predicate:

flush_output/1

INFO: flushes a stream

Calls:

0.3.258
```
errmes/2
```
0.3.269
```
fflush/1
```

0.3.286 Predicate:

foldl/4

INFO: (Op,InitialValue,List,?Result) accumulates values interating over List with binary Op

EXAMPLE(S):

?-foldl(+,0,[10,20,30],_A).
_A = 60;

no

Is called from:

0.3.529
```
prod/2
```
0.3.669
```
sum/2
```

0.3.287 Predicate:

foldr/4

INFO: (Op,InitialValue,List,?Result) accumulates values interating over List with binary Op

EXAMPLE(S):

?-foldr(+,0,[10,20,30],_A).
_A = 60;

no

0.3.288 Predicate:

fopen/3

INFO: Prolog equivalent of C-function: opens a stream in a given mode and returns an integer handle to it

Calls:

0.3.506
```
open_stream/4
```

Is called from:

0.3.140
```
char_of/2
```
0.3.271
```
file2chars/2
```
0.3.275
```
file_size/2
```
0.3.605
```
sentence_of/3
```
```
unix_cat/1
```

0.3.289 Predicate:

for/3

INFO: generates an integer in a range

EXAMPLE(S):

?-for(_A,1,3).
_A = 1;

_A = 2;

_A = 3;

no

Is called from:

0.3.290 Predicate:

for_all/2

INFO: foreach(A,B) fails for all cases when A succeeds and B fails

0.3.291 Predicate:

forall/1

INFO: forall(G) backtracks over all answers to G and succeeds

Calls:

0.3.263
```
fail/0
```

0.3.292 Predicate:

forall/2

INFO: forall(G,D) executes D once for each answer of generator G

Calls:

0.3.263
```
fail/0
```
0.3.501
```
once/1
```

0.3.293 Predicate:

foreach/1

INFO: foreach(G) backtracks over all answers to G and succeeds

Calls:

0.3.263
```
fail/0
```

0.3.294 Predicate:

foreach/2

INFO: foreach(G,D) executes D once for each answer of generator G

Calls:

0.3.263
```
fail/0
```
0.3.501
```
once/1
```

Is called from:

0.3.295 Predicate:

fputc/2

INFO: fputc(IntegerStreamNo,CharCode) outputs a char code to a C stream

Is called from:

0.3.542
```
put_code/2
```

0.3.296 Predicate:

free_term/1

INFO: (Handle): frees external term given as a Handle

Calls:

0.3.692
```
term_store_op/4
```

0.3.297 Predicate:

free_thread_guard/1

INFO: gives back to pool thread guard in arg 1

Calls:

0.3.32
```
(=<)/2
```
0.3.36
```
(>=)/2
```
0.3.674
```
synchronize/2
```
0.3.675
```
synchronize_on/2
```

0.3.298 Predicate:

from_engine/1

INFO: (T) tries to take a term T from the message box of this engine and sets the message box empty

Calls:

0.3.29
```
(=)/2
```
0.3.104
```
bb_rm/2
```
0.3.106
```
bb_val/3
```
0.3.698
```
this_engine/1
```

0.3.299 Predicate:

fsize/2

INFO: returns the size of the file associated to a C stream, in bytes

Is called from:

0.3.275
```
file_size/2
```
```
unix_cat/1
```

0.3.300 Predicate:

functor/3

INFO: builds or decomposes a coumpound term

EXAMPLE(S):

?-functor(f(a,b),_A,_B).
_A = f;
_B = 2;

no

?-functor(_A,f,3).
_A = f(_x149745,_x149746,_x149747);

no

?-functor(f(a),f,1).

yes

Is called from:

0.3.301 Predicate:

garbage_collect/0

INFO: performs heap gc now

0.3.302 Predicate:

gc/0

INFO: enables heap gc

0.3.303 Predicate:

gc_call/1

INFO: G: executes G and ensures that no more space is consumed than the total size of the terms bound to its variables

Calls:

0.3.442
```
member/2
```

0.3.304 Predicate:

gc_status/1

INFO: shows if heap gc is enabled or not

Calls:

```
vget0/2
```

0.3.305 Predicate:

generic_write/1

INFO: overridable write/1, style (writeq, write, display) given with write_style/1 assumption

0.3.306 Predicate:

gensym/2

INFO: generates a new name based on arg 1

Calls:

0.3.307
```
gensym_no/2
```
0.3.672
```
symcat/3
```

Is called from:

0.3.343
```
hash_find_unique/3
```
0.3.429
```
map_new/1
```
0.3.453
```
mmap_new/1
```

0.3.307 Predicate:

gensym_no/2

INFO: generates a new number based on arg 1

Calls:

0.3.29
```
(=)/2
```
0.3.372
```
(is)/2
```

Is called from:

0.3.306
```
gensym/2
```

0.3.308 Predicate:

get/1

INFO: inputs the next char code after skiping over white space

Calls:

0.3.27
```
(<)/2
```
0.3.29
```
(=)/2
```
0.3.35
```
(>)/2
```
0.3.314
```
get_code/1
```
0.3.574
```
repeat/0
```

0.3.309 Predicate:

get/2

INFO: get(E,A) returns a new answer A=the(...) from engine E or returns no if no (more) answers exist

Calls:

0.3.29
```
(=)/2
```
0.3.80
```
ask_engine/2
```

0.3.310 Predicate:

get0/1

INFO: reads a char as an ascii code

Is called from:

0.3.314
```
get_code/1
```

0.3.311 Predicate:

get_all_terms/2

INFO: (GroundKey,Ts) collects to alist all terms attached to a key

Calls:

0.3.151
```
close_iterator/1
```
0.3.477
```
new_iterator/2
```

0.3.312 Predicate:

get_bp_error/4

INFO: (Id,Mes,Arg1,Arg2): gets error sate from emulator

Calls:

0.3.258
```
errmes/2
```
```
vget0/2
```

Is called from:

0.3.56
```
addq/3
```
0.3.172
```
cpopq/3
```
0.3.538
```
pushq/3
```

0.3.313 Predicate:

get_char/2

INFO: (Stream,CharAsOneLetterConstant): inputs a char from a stream -ISO Prolog

Calls:

0.3.29
```
(=)/2
```
0.3.31
```
(=:=)/2
```
0.3.315
```
get_code/2
```
0.3.471
```
name/2
```

0.3.314 Predicate:

get_code/1

INFO: ISO char code reader

Calls:

0.3.310
```
get0/1
```

Is called from:

0.3.308
```
get/1
```
0.3.513
```
pcollect/2
```
0.3.560
```
read_chars/1
```

0.3.315 Predicate:

get_code/2

INFO: inputs a char code from a stream - ISO

Calls:

0.3.258
```
errmes/2
```
0.3.270
```
fgetc/2
```

Is called from:

0.3.313
```
get_char/2
```

0.3.316 Predicate:

get_critical/2

INFO: (Guard,Data): accesses mutex Guard protected Data on blackboard

Calls:

0.3.597
```
sdebug/1
```
0.3.674
```
synchronize/2
```
0.3.676
```
synchronize_on/3
```

0.3.317 Predicate:

get_deep_cut/2

INFO: gets a choice point address, used with 1 arg only

0.3.318 Predicate:

get_engine_id/2

INFO: (+Engine,-Id) gets the unique id associated to an engine at creation time

Calls:

0.3.29
```
(=)/2
```
0.3.319
```
get_engine_prop/3
```

Is called from:

0.3.114
```
bg/7
```
0.3.180
```
current_engine_id/1
```

0.3.319 Predicate:

get_engine_prop/3

INFO: args: Engine,PropertyNo,Val

Is called from:

0.3.147
```
clean_up_engines/1
```
0.3.318
```
get_engine_id/2
```
0.3.320
```
get_engine_thread/2
```
0.3.395
```
list_engines/0
```

0.3.320 Predicate:

get_engine_thread/2

INFO: gets from an Engine the thread it is running on

Calls:

0.3.29
```
(=)/2
```
0.3.319
```
get_engine_prop/3
```

Is called from:

0.3.181
```
current_engine_thread/1
```
0.3.395
```
list_engines/0
```

0.3.321 Predicate:

get_lineno/1

INFO: gets line number counter in current file

Calls:

```
vget_int/2
```

Is called from:

0.3.364
```
include/1
```

0.3.322 Predicate:

get_load_method/1

INFO: gets the current load method by name

Calls:

0.3.403
```
load_method/2
```
```
vget0/2
```

0.3.323 Predicate:

get_neck_cut/1

INFO: gets the choice point as an integer

0.3.324 Predicate:

get_next_term/2

INFO: (Iterator,Term) returns the next term attached to an iterator, fails if no more left

Calls:

0.3.692
```
term_store_op/4
```

0.3.325 Predicate:

get_password/1

INFO: gets default password for user

Calls:

0.3.628
```
show_default/1
```

0.3.326 Predicate:

get_term/2

INFO: (Iterator,Term): backtracks over terms associated to a key

0.3.327 Predicate:

global_get/3

INFO: (A,B,X): retrieves X associated to ground keys A,B

0.3.328 Predicate:

global_rm/2

INFO: (A,B): removes value associated to ground keys A,B

0.3.329 Predicate:

global_set/3

INFO: (A,B,X): associates X to ground keys A,B

Calls:

0.3.487
```
nonvar/1
```

0.3.330 Predicate:

greater/2

INFO: arithemetic comparison

Is called from:

0.3.35
```
(>)/2
```

0.3.331 Predicate:

greater_eq/2

INFO: arithemetic comparison

Is called from:

0.3.36
```
(>=)/2
```

0.3.332 Predicate:

ground/1

INFO: true if arg has no free variables

EXAMPLE(S):

?-ground(f(a,b)).

yes

Calls:

0.3.221
```
deep_hash/4
```

Is called from:

0.3.489
```
(not)/1
```

0.3.333 Predicate:

halt/0

INFO: stops BinProlog

Calls:

0.3.334
```
halt/1
```

Is called from:

0.3.256
```
end_of_file/0
```
0.3.260
```
exit/0
```
0.3.555
```
quit/0
```

0.3.334 Predicate:

halt/1

INFO: stops Prolog with given return code when used in main thread- or halts current thread

Is called from:

0.3.333
```
halt/0
```
0.3.664
```
stop/0
```

0.3.335 Predicate:

handle_service/2

INFO: handles a Jinni service S with password P - always succedes

0.3.336 Predicate:

has_info/1

INFO: checks/generates predicates Pred/Arity for which info is available

Calls:

0.3.49
```
(\==)/2
```

Is called from:

0.3.366
```
info/1
```

0.3.337 Predicate:

has_terms/1

INFO: (GroundKey) succeds if at least on term is attached to GroundKey

Calls:

0.3.29
```
(=)/2
```
0.3.692
```
term_store_op/4
```

0.3.338 Predicate:

has_threads/0

INFO: succeeds if threads available on this platform

Calls:

0.3.35
```
(>)/2
```
0.3.263
```
fail/0
```
```
vread/2
```

Is called from:

0.3.114
```
bg/7
```
0.3.675
```
synchronize_on/2
```
0.3.710
```
timed_call/4
```

0.3.339 Predicate:

hash_clear/0

INFO: removes all terms from all hash keys

Calls:

0.3.263
```
fail/0
```
0.3.449
```
mmap_clear/1
```

Is called from:

0.3.347
```
hash_load/1
```

0.3.340 Predicate:

hash_clear/1

INFO: (GroundKey) removes all terms attached to a key

Calls:

0.3.2
```
(##)/1
```

0.3.341 Predicate:

hash_clear/2

INFO: (GroundKey,Term) removes all matching terms attached to a key

Calls:

0.3.263
```
fail/0
```
0.3.456
```
mmap_rm/3
```

0.3.342 Predicate:

hash_compile/0

INFO: compiles the hashed map to a predicate benefiting from 1-arg indexing

Calls:

0.3.176
```
ctime/1
```
0.3.372
```
(is)/2
```
```
ttyprint/1
```

0.3.343 Predicate:

hash_find_unique/3

INFO: like findall(X,G,Xs) but uses hashing on ground term X to collect unique answers

Calls:

0.3.306
```
gensym/2
```

0.3.344 Predicate:

hash_gc/0

INFO: frees space used by hash keys and values

Calls:

0.3.263
```
fail/0
```
0.3.450
```
mmap_gc/1
```

0.3.345 Predicate:

hash_get/2

INFO: (GroundKey,Term) retrieves in constant time a term attached to a ground key

Calls:

0.3.346
```
hash_key/1
```
```
var/1
```

Is called from:

```
x_listing/0
```

0.3.346 Predicate:

hash_key/1

INFO: (IntKey) backtrack over hash keys

Calls:

```
$hx/3
```
0.3.376
```
is_compiled/1
```
0.3.501
```
once/1
```

Is called from:

0.3.345
```
hash_get/2
```
0.3.353
```
hash_save/2
```

0.3.347 Predicate:

hash_load/1

INFO: (File) loads the hashed map to a database

Calls:

0.3.71
```
arg/3
```
0.3.294
```
foreach/2
```
0.3.339
```
hash_clear/0
```
0.3.691
```
term_of/2
```

0.3.348 Predicate:

hash_push/2

INFO: (GroundKey,Term): attaches a term to a ground key in constant time as a the first element

Calls:

0.3.454
```
mmap_push/3
```

0.3.349 Predicate:

hash_put/2

INFO: (GroundKey,Term): attaches a term to a ground key in constant time as the last element

Calls:

0.3.2
```
(##)/1
```

0.3.350 Predicate:

hash_rm/2

INFO: (GroundKey) removes a term attached to a key and returns it - backtracks

Calls:

0.3.2
```
(##)/1
```

0.3.351 Predicate:

hash_rm_one/2

INFO: (GroundKey) removes a term attached to a key and returns it

Calls:

0.3.2
```
(##)/1
```

0.3.352 Predicate:

hash_save/1

INFO: (File) saves the hashed map to a database ready for 1-arg indexing if compiled

Calls:

0.3.353
```
hash_save/2
```

0.3.353 Predicate:

hash_save/2

INFO: (File,PredNMame) saves the hashed map to a database in predicate PredName ready for 1-arg indexing if compiled

Calls:

0.3.71
```
arg/3
```
0.3.263
```
fail/0
```
0.3.300
```
functor/3
```
0.3.346
```
hash_key/1
```
0.3.389
```
keygroup/3
```
0.3.523
```
pp_clause/1
```
0.3.682
```
tell/1
```
```
told/0
```

Is called from:

0.3.352
```
hash_save/1
```

0.3.354 Predicate:

hash_trace/2

INFO: tracer for hash maps

Calls:

0.3.29
```
(=)/2
```
0.3.376
```
is_compiled/1
```

0.3.355 Predicate:

help/0

INFO: generates file help.txt with info and examples

Calls:

0.3.484
```
nl/0
```

0.3.356 Predicate:

help/1

INFO: same as apropos/1

EXAMPLE(S):

?-help(assert).
use info/1 to get a description of a predicate
assert/1-[built_in,adds a clause]
assert_from_chars/1-[built_in,asserts a program from clauses in list of chars]
assert_from_chars/2-[built_in,(Db,Cs) asserts to database Db, a set of clauses parsed from list of char codes Cs]
asserta/1-[built_in,adds a clause to be first in a predicate definition]
asserted/1-[built_in,runs a predicated if asserted]
assertz/1-[built_in,adds a clause to be last in a predicate definition]
db_assert/2-[built_in,does assert/1 arg 2 into database given as arg 1]
db_asserta/2-[built_in,does asserta/1 arg 2 into database given as arg 1]
db_asserted/2-[built_in,runs predicate arg 2 if asserted in database arg 1]
db_assertz/2-[built_in,does assertz/1 arg 2 into database given as arg 1]
get_asserted/2-[built_in]
is_asserted/1-[built_in,checks if currently asserted]
prolog:assert_it/2-[compiled]
prolog:db_is_asserted/2-[compiled]
prolog:is_asserted_clause/1-[compiled]
prolog:x_assert/2-[compiled]
prolog:x_assert_op/3-[compiled]
x_asserta/1-[built_in,db hook, adds a clause to be first in a predicate definition]
x_assertz/1-[built_in,db hook, adds a clause to be last in a predicate definition]

yes

Calls:

0.3.69
```
apropos/1
```

0.3.357 Predicate:

hide_default/1

INFO: makes unavailable a default value

Calls:

0.3.102
```
bb_let/3
```

Is called from:

0.3.619
```
set_password/1
```

0.3.358 Predicate:

hkey/2

INFO: computes hash code on atomic argument; fails on variables and compound terms

EXAMPLE(S):

?-hkey(t(a,b),_A).
_A = 236945626;

no

?-hkey(t(a,c),_A).
_A = 236945625;

no

Calls:

0.3.221
```
deep_hash/4
```

0.3.359 Predicate:

host2ip/2

INFO: converts a host name to an IP address

0.3.360 Predicate:

hostname/1

INFO: the name of current host, if detected, localhost if not

Calls:

```
vread/2
```

0.3.361 Predicate:

hypot/3

INFO: float function

0.3.362 Predicate:

if_any/3

INFO: (Cond,Then,Else): executes Cond; each time when Cond succeeds it also executes Then; if Cond never succeds it executes Else

Calls:

0.3.29
```
(=)/2
```
0.3.71
```
arg/3
```
0.3.139
```
change_arg/3
```

0.3.363 Predicate:

in/1

INFO: waits to remove a term from Linda blackboard

Calls:

0.3.408
```
local_in/1
```

0.3.364 Predicate:

include/1

INFO: includes/loads a file with current load method, unless it has already been included by the same method

Calls:

0.3.121
```
call/2
```
0.3.220
```
debugmes/1
```
0.3.321
```
get_lineno/1
```
0.3.403
```
load_method/2
```
0.3.615
```
set_lineno/1
```
```
vget0/2
```

Is called from:

0.3.159
```
co/0
```
0.3.250
```
edit/2
```

0.3.365 Predicate:

info/0

INFO: generates info on predicates with examples

Calls:

0.3.263
```
fail/0
```
0.3.366
```
info/1
```

0.3.366 Predicate:

info/1

INFO: generates info and examples of use for predicate Pred/Arity

Calls:

0.3.29
```
(=)/2
```
0.3.263
```
fail/0
```
0.3.289
```
for/3
```
0.3.336
```
has_info/1
```
0.3.487
```
nonvar/1
```
```
write/1
```

Is called from:

0.3.365
```
info/0
```

0.3.367 Predicate:

init_gensym/1

INFO: resets gensym for names based on arg 1

Calls:

0.3.102
```
bb_let/3
```

Is called from:

0.3.433
```
maps_clean/0
```
0.3.460
```
mmaps_clean/0
```

0.3.368 Predicate:

instance_of/2

INFO: (Handle,Term): creates an internal instance of an external term given as a Handle

Calls:

0.3.692
```
term_store_op/4
```

0.3.369 Predicate:

integer/1

INFO: true if an integer

Is called from:

0.3.370 Predicate:

integer/2

INFO: float to int cast

Is called from:

0.3.138
```
ceiling/2
```
0.3.283
```
floor/2
```
```
truncate/2
```

0.3.371 Predicate:

interactive/1

INFO: toggles interactive query answering/tracing with arg 1 = yes or no

Calls:

0.3.29
```
(=)/2
```
0.3.380
```
is_interactive/0
```
0.3.487
```
nonvar/1
```
```
var/1
```

0.3.372 Predicate:

(is)/2

INFO: calls the function evaluator, mostly for arithmetics

EXAMPLE(S):

?-_A is 3+4*2.
_A = 11;

no

Calls:

0.3.29
```
(=)/2
```
0.3.258
```
errmes/2
```

Is called from:

0.3.373 Predicate:

is_an/1

INFO: true if an alphanumerical char code

0.3.374 Predicate:

is_asserted/1

INFO: checks if currently asserted

Calls:

0.3.177
```
current_db/1
```

Is called from:

0.3.378
```
is_dynamic/1
```
0.3.400
```
listing/2
```

0.3.375 Predicate:

is_builtin/1

INFO: recognizes a predicate head as a builtin

EXAMPLE(S):

?-is_builtin(var(_A)).
_A = _x148944;

no

Calls:

0.3.487
```
nonvar/1
```

Is called from:

0.3.650
```
(spy)/1
```
0.3.651
```
spying/1
```

0.3.376 Predicate:

is_compiled/1

INFO: true if head of a compiled predicate

Is called from:

0.3.2
```
(##)/1
```
0.3.128
```
call_ifdef/2
```
0.3.132
```
callable/1
```
0.3.346
```
hash_key/1
```
0.3.354
```
hash_trace/2
```
0.3.400
```
listing/2
```
```
x_trace/2
```

0.3.377 Predicate:

is_discontiguous/1

INFO: checks if a predicate has been declared as discontiguous

0.3.378 Predicate:

is_dynamic/1

INFO: checks if dynamic

Calls:

0.3.374
```
is_asserted/1
```
```
x_is_dynamic/1
```

Is called from:

0.3.132
```
callable/1
```

0.3.379 Predicate:

is_engine/1

INFO: recognizes and integer as an engine handle

Calls:

0.3.396
```
list_engines/1
```
0.3.442
```
member/2
```

0.3.380 Predicate:

is_interactive/0

INFO: checks if toplevel is interactive - use interactive/1 with yes/no to set it the way you want it

Calls:

0.3.184
```
current_op/3
```

Is called from:

0.3.371
```
interactive/1
```

0.3.381 Predicate:

is_maj/1

INFO: true if is an upper case char code

0.3.382 Predicate:

is_min/1

INFO: true if a lower case char code

0.3.383 Predicate:

is_module/1

INFO: recognizes/generates a module name

Calls:

0.3.106
```
bb_val/3
```
0.3.487
```
nonvar/1
```

Is called from:

0.3.468
```
modules/1
```

0.3.384 Predicate:

is_num/1

INFO: true if a digit char code

0.3.385 Predicate:

is_prolog/1

INFO: recognizes binprolog - useful for portability

Calls:

0.3.29
```
(=)/2
```
0.3.106
```
bb_val/3
```

Is called from:

0.3.118
```
bp_only/2
```
0.3.595
```
scompile/1
```
0.3.661
```
static_prolog_flag/2
```

0.3.386 Predicate:

is_public/1

INFO: checks predicate head if globally visible

0.3.387 Predicate:

is_spec/1

INFO: true if a spacial character code

0.3.388 Predicate:

is_terminator/1

INFO: true if a terminator character code

0.3.389 Predicate:

keygroup/3

INFO: sorts while grouping similar keys

EXAMPLE(S):

?-keygroup([3-a,1-a,2-b,1-c,2-d],_A,_B).
_A = 1;
_B = [a,c];

_A = 2;
_B = [b,d];

_A = 3;
_B = [a];

no

Calls:

0.3.390
```
keysort/2
```

Is called from:

0.3.353
```
hash_save/2
```

0.3.390 Predicate:

keysort/2

INFO: sorts while putting similar keys one after the other in a list

EXAMPLE(S):

?-keysort([3-a,1-a,2-b,1-c,2-d],_A).
_A = [1-a,1-c,2-b,2-d,3-a];

no

Is called from:

0.3.96
```
bagof/3
```
0.3.389
```
keygroup/3
```

0.3.391 Predicate:

length/2

INFO: generates/mesures length of a list

Calls:

```
var/1
```

Is called from:

0.3.446
```
merge_sort/3
```

0.3.392 Predicate:

less/2

INFO: arithemetic comparison

Is called from:

0.3.27
```
(<)/2
```

0.3.393 Predicate:

less_eq/2

INFO: arithemetic comparison

Is called from:

0.3.32
```
(=<)/2
```

0.3.394 Predicate:

line_of/2

INFO: (File,Line) reads a file to lines ending with eol - on backtracking

Calls:

0.3.29
```
(=)/2
```
0.3.605
```
sentence_of/3
```

Is called from:

0.3.720
```
token_of/2
```

0.3.395 Predicate:

list_engines/0

INFO: prints out the list of active engines

Calls:

0.3.29
```
(=)/2
```
0.3.263
```
fail/0
```
0.3.319
```
get_engine_prop/3
```
0.3.320
```
get_engine_thread/2
```
0.3.396
```
list_engines/1
```
0.3.442
```
member/2
```
0.3.484
```
nl/0
```
```
write/1
```

0.3.396 Predicate:

list_engines/1

INFO: lists available engine handles

Is called from:

0.3.147
```
clean_up_engines/1
```
0.3.379
```
is_engine/1
```
0.3.395
```
list_engines/0
```

0.3.397 Predicate:

listify/2

INFO: (T,Cs): transforms T, unless it is already such, to list of chars

Calls:

0.3.94
```
atom_codes/2
```

0.3.398 Predicate:

listing/0

INFO: lists current database

Calls:

0.3.263
```
fail/0
```
0.3.400
```
listing/2
```
```
x_listing/0
```

0.3.399 Predicate:

listing/1

INFO: lists given predicate if in current database

Calls:

0.3.400
```
listing/2
```
0.3.484
```
nl/0
```
```
x_listing/1
```

0.3.400 Predicate:

listing/2

INFO: lists predicate F of arity N if in current database

Calls:

0.3.263
```
fail/0
```
0.3.300
```
functor/3
```
0.3.374
```
is_asserted/1
```
0.3.376
```
is_compiled/1
```
0.3.484
```
nl/0
```
```
write/1
```

Is called from:

0.3.398
```
listing/0
```
0.3.399
```
listing/1
```

0.3.401 Predicate:

load/1

INFO: clean loads from a bytecode *.wam file

Calls:

0.3.52
```
abort/0
```

0.3.402 Predicate:

load_engine/3

INFO: load_engine(E,Goal,Answer) prepares engine E to execute Goal/Answer

Is called from:

0.3.114
```
bg/7
```
0.3.505
```
open_engine/3
```

0.3.403 Predicate:

load_method/2

INFO: args: Number, Name

EXAMPLE(S):

?-load_method(_A,_B).
_A = 1;
_B = mcompile;

_A = 2;
_B = scompile;

_A = 3;
_B = oconsult;

_A = 4;
_B = dconsult;

_A = 5;
_B = sconsult;

_A = 6;
_B = load;

no

Is called from:

0.3.322
```
get_load_method/1
```
0.3.364
```
include/1
```
0.3.616
```
set_load_method/1
```

0.3.404 Predicate:

local_all/2

INFO: local_all(X,Xs) collects all facts matching X on the blackboard

Calls:

0.3.405
```
local_all/3
```

Is called from:

0.3.57
```
all/2
```

0.3.405 Predicate:

local_all/3

INFO: local_all(X,G,Xs) collects facts X such that G on the blackboard

Calls:

0.3.675
```
synchronize_on/2
```

Is called from:

0.3.58
```
all/3
```
0.3.404
```
local_all/2
```

0.3.406 Predicate:

local_cin/1

INFO: removes a term if available on the local blackboard

Calls:

0.3.675
```
synchronize_on/2
```

Is called from:

0.3.142
```
cin/1
```
0.3.408
```
local_in/1
```
0.3.710
```
timed_call/4
```

0.3.407 Predicate:

local_cout/1

INFO: puts a term on local blackbord unless already there

Calls:

0.3.409
```
local_out/1
```
0.3.410
```
local_rd/1
```

Is called from:

0.3.171
```
cout/1
```

0.3.408 Predicate:

local_in/1

INFO: waits for a term produced by a matching local_out/1

Calls:

0.3.181
```
current_engine_thread/1
```
0.3.406
```
local_cin/1
```
0.3.675
```
synchronize_on/2
```
0.3.706
```
thread_suspend/1
```

Is called from:

0.3.363
```
in/1
```

0.3.409 Predicate:

local_out/1

INFO: produces a term and possibly wakes up the thread at a matching local_in/1

Calls:

0.3.675
```
synchronize_on/2
```
0.3.705
```
thread_resume/1
```

Is called from:

0.3.407
```
local_cout/1
```
0.3.509
```
out/1
```

0.3.410 Predicate:

local_rd/1

INFO: tests if a term is available on the local blackboard

Calls:

0.3.675
```
synchronize_on/2
```

Is called from:

0.3.407
```
local_cout/1
```
0.3.411
```
local_when/1
```
0.3.558
```
rd/1
```

0.3.411 Predicate:

local_when/1

INFO: waits until a term is available on the local blackboard

Calls:

0.3.181
```
current_engine_thread/1
```
0.3.410
```
local_rd/1
```
0.3.675
```
synchronize_on/2
```
0.3.706
```
thread_suspend/1
```

0.3.412 Predicate:

lock_thread_guard/1

INFO: locks thread guard created with new_thread_guard

Is called from:

0.3.109
```
begin_critical/0
```
0.3.676
```
synchronize_on/3
```

0.3.413 Predicate:

log/2

INFO: float function

0.3.414 Predicate:

log/3

INFO: returns log in base arg 1 of arg 2, a float

EXAMPLE(S):

?-log(2,8,_A).
_A = 3;

no

0.3.415 Predicate:

ls/0

INFO: list files under Unix

Calls:

0.3.677
```
system/1
```

0.3.416 Predicate:

ls2list/2

INFO: (Dir,Files): converts ls cmd output to list of files and dirs

Calls:

0.3.239
```
dir2list/3
```

0.3.417 Predicate:

lval/3

INFO: backtrackable: lval(K1,K2,V) associates V to keys K1 and K2

EXAMPLE(S):

?-lval(a,b,f(_A)).
_A = _x148841;

no

0.3.418 Predicate:

make_array/2

INFO: creates an array

0.3.419 Predicate:

make_cmd/2

INFO: concatenates a list of strings and atomic elements into an atom

Calls:

0.3.94
```
atom_codes/2
```
0.3.420
```
make_cmd0/2
```

Is called from:

0.3.250
```
edit/2
```
0.3.422
```
make_spaced_cmd/2
```

0.3.420 Predicate:

make_cmd0/2

INFO: concatenates a list of strings and atomic elements into a string

Is called from:

0.3.419
```
make_cmd/2
```

0.3.421 Predicate:

make_compileable/2

INFO: make_compilable(Files,File) rewrites Files as a canonical File with all predicates contiguous and no operators

Calls:

0.3.422 Predicate:

make_spaced_cmd/2

INFO: concatenates a list of elements with inserted space separtors into an atom

Calls:

0.3.419
```
make_cmd/2
```

0.3.423 Predicate:

map/2

INFO: maps a predicate with 1 arg to a list

EXAMPLE(S):

?-map(println,[10,20,30]).
10
20
30

yes

0.3.424 Predicate:

map/3

INFO: maps a predicate with 2 args to a list

EXAMPLE(S):

?-map(+1,[10,20],_A).
_A = [11,21];

no

0.3.425 Predicate:

map_clear/1

INFO: (D): empties and cleans up D

Calls:

0.3.263
```
fail/0
```

Is called from:

```
x_abolish/1
```

0.3.426 Predicate:

map_gc/1

INFO: (D): frees unused memory in D

Calls:

0.3.136
```
cdelq/4
```
0.3.263
```
fail/0
```

0.3.427 Predicate:

map_get/3

INFO: (D,K,V): gets V, given K in map D, backtracks over K if K unbound

Calls:

0.3.106
```
bb_val/3
```
0.3.428
```
map_key/2
```

Is called from:

0.3.432
```
map_show/1
```
```
x_abolish/1
```
```
x_profile/0
```
```
x_traced_call/1
```

0.3.428 Predicate:

map_key/2

INFO: (D,K): succeds if K is known, otherwise finds V backtracks over each key K in D

Calls:

0.3.157
```
cmembq/3
```
0.3.487
```
nonvar/1
```

Is called from:

0.3.427
```
map_get/3
```
0.3.431
```
map_rm/2
```

0.3.429 Predicate:

map_new/1

INFO: (D): returns a new map handle D

Calls:

0.3.306
```
gensym/2
```

0.3.430 Predicate:

map_put/3

INFO: (D,K,V): adds K,V to map D

Calls:

0.3.56
```
addq/3
```
0.3.98
```
bb_def/3
```
0.3.105
```
bb_set/3
```

Is called from:

```
x_traced_call/1
```

0.3.431 Predicate:

map_rm/2

INFO: (D,K): removes key K from map D

Calls:

0.3.428
```
map_key/2
```

Is called from:

```
x_abolish/1
```

0.3.432 Predicate:

map_show/1

INFO: (D): lists the content of a map

Calls:

0.3.263
```
fail/0
```
0.3.427
```
map_get/3
```
0.3.484
```
nl/0
```
0.3.527
```
println/1
```

0.3.433 Predicate:

maps_clean/0

INFO: empties and cleans up all maps created with mmap_new

Calls:

0.3.294
```
foreach/2
```
0.3.367
```
init_gensym/1
```

0.3.434 Predicate:

maps_gc/0

INFO: frees memory for all maps created with mmap_new

Calls:

0.3.294
```
foreach/2
```

0.3.435 Predicate:

maps_iterate/1

INFO: (D): backtracks over map handles created with mmap_new D

Calls:

0.3.29
```
(=)/2
```
0.3.289
```
for/3
```
0.3.672
```
symcat/3
```

0.3.436 Predicate:

maps_show/0

INFO: lists the content of all maps created with mmap_new

Calls:

0.3.294
```
foreach/2
```

0.3.437 Predicate:

match_before/4

INFO: match_before(+Stop,-Word,I,O): matches a word with DCGs until a given delimiter is hit

Calls:

0.3.438
```
match_before/5
```

0.3.438 Predicate:

match_before/5

INFO: match_before(+Stops,-Word,-Stop,I,O): matches a word with DCGs until a given delimiter set is hit, one of which is also returned

Calls:

0.3.43
```
C/3
```
0.3.438
```
match_before/5
```
0.3.442
```
member/2
```

Is called from:

0.3.437
```
match_before/4
```
0.3.438
```
match_before/5
```

0.3.439 Predicate:

match_word/3

INFO: match_word(+Word,I,O): matches/consumes a word, in the conext of DCGs

Calls:

0.3.43
```
C/3
```
0.3.439
```
match_word/3
```

Is called from:

0.3.439
```
match_word/3
```

0.3.440 Predicate:

max/3

INFO: (X,Y,Max): Max is the max of 2 numbers X, Y

Calls:

0.3.29
```
(=)/2
```
0.3.35
```
(>)/2
```

0.3.441 Predicate:

mcompile/1

INFO: compile/1 variant: cleans up data areas and compiles to memory

Calls:

0.3.52
```
abort/0
```

Is called from:

0.3.595
```
scompile/1
```

0.3.442 Predicate:

member/2

INFO: (X,Xs): checks if an element X unifies with an element on a list Xs or generates sucessively longer lists if Xs is unbound or open ended

EXAMPLE(S):

?-member(2,[1,2]).

yes

?-member(_A,[1,2]).
_A = 1;

_A = 2;

no

Calls:

0.3.442
```
member/2
```

Is called from:

0.3.443 Predicate:

member_conj/2

INFO: like member/2, for a comma separated conjunction, ending with true

EXAMPLE(S):

?-member_conj(_A,(a,b,true)).
_A = a;

_A = b;

no

Calls:

0.3.443
```
member_conj/2
```

Is called from:

0.3.443
```
member_conj/2
```

0.3.444 Predicate:

member_scan/3

INFO: finds first element without unifying to it

EXAMPLE(S):

?-member_scan(s(_A),[1,s(s(_B)),2],_C).
_A = _x149282;
_B = _x149292;
_C = [s(s(_x149292)),2];

no

Is called from:

0.3.445
```
memberchk/2
```

0.3.445 Predicate:

memberchk/2

INFO: (X,Xs) checks if an X is a the list Xs

Calls:

0.3.29
```
(=)/2
```
0.3.444
```
member_scan/3
```

0.3.446 Predicate:

merge_sort/3

INFO: (Order,List,Sorted)

EXAMPLE(S):

?-merge_sort(>,[1,3,2,2,4],_A).
_A = [4,3,2,2,1];

no

Calls:

0.3.391
```
length/2
```

Is called from:

0.3.469
```
msort/2
```
0.3.647
```
sort/2
```

0.3.447 Predicate:

metacall/1

INFO: calls the interpreter

Is called from:

```
topcall/1
```

0.3.448 Predicate:

min/3

INFO: (X,Y,Min): Min is the min of 2 numbers X, Y

Calls:

0.3.29
```
(=)/2
```
0.3.32
```
(=<)/2
```

0.3.449 Predicate:

mmap_clear/1

INFO: (D): empties and cleans up D

Calls:

0.3.263
```
fail/0
```

Is called from:

0.3.339
```
hash_clear/0
```

0.3.450 Predicate:

mmap_gc/1

INFO: (D): frees unused memory in D

Calls:

0.3.263
```
fail/0
```

Is called from:

0.3.344
```
hash_gc/0
```

0.3.451 Predicate:

mmap_get/3

INFO: (D,K,V): gets V, given K in mmap D,  backtracks over K if K unbound

Calls:

0.3.157
```
cmembq/3
```
0.3.452
```
mmap_key/2
```

Is called from:

0.3.459
```
mmap_show/1
```

0.3.452 Predicate:

mmap_key/2

INFO: (D,K): succeds if K is known, otherwise finds V backtracks over each key K in D

Calls:

0.3.157
```
cmembq/3
```
0.3.487
```
nonvar/1
```

Is called from:

0.3.451
```
mmap_get/3
```
0.3.456
```
mmap_rm/3
```
0.3.458
```
mmap_rm_one/3
```

0.3.453 Predicate:

mmap_new/1

INFO: (D): returns a new mmap handle D - a mmap holds multiple elements for each key

Calls:

0.3.306
```
gensym/2
```

0.3.454 Predicate:

mmap_push/3

INFO: (D,K,V): adds K,V as the first element of mmap D

Calls:

0.3.56
```
addq/3
```
0.3.538
```
pushq/3
```

Is called from:

0.3.348
```
hash_push/2
```

0.3.455 Predicate:

mmap_put/3

INFO: (D,K,V): adds K,V as the last element of mmap D

Calls:

0.3.56
```
addq/3
```

0.3.456 Predicate:

mmap_rm/3

INFO: (D,K,X): removes a term X attached to key K from mmap D and backtracks on each such term

Calls:

0.3.137
```
cdelq_any/3
```
0.3.452
```
mmap_key/2
```

Is called from:

0.3.341
```
hash_clear/2
```

0.3.457 Predicate:

mmap_rm_all/2

INFO: (D,K): removes all terms X attached to key K from mmap D

0.3.458 Predicate:

mmap_rm_one/3

INFO: (D,K,X): removes first term X attached to key K from mmap D

Calls:

0.3.136
```
cdelq/4
```
0.3.452
```
mmap_key/2
```

0.3.459 Predicate:

mmap_show/1

INFO: (D): lists the content of a mmap

Calls:

0.3.263
```
fail/0
```
0.3.451
```
mmap_get/3
```
0.3.484
```
nl/0
```
0.3.527
```
println/1
```

0.3.460 Predicate:

mmaps_clean/0

INFO: empties and cleans up all mmaps created with mmap_new

Calls:

0.3.294
```
foreach/2
```
0.3.367
```
init_gensym/1
```

0.3.461 Predicate:

mmaps_gc/0

INFO: frees memory for all mmaps created with mmap_new

Calls:

0.3.294
```
foreach/2
```

0.3.462 Predicate:

mmaps_iterate/1

INFO: (D): backtracks over mmap handles created with mmap_new D

Calls:

0.3.29
```
(=)/2
```
0.3.289
```
for/3
```
0.3.672
```
symcat/3
```

0.3.463 Predicate:

mmaps_show/0

INFO: lists the content of all mmaps created with mmap_new

Calls:

0.3.294
```
foreach/2
```

0.3.464 Predicate:

mod/3

INFO: modulo

EXAMPLE(S):

?-mod(10,3,_A).
_A = 1;

no

0.3.465 Predicate:

(mode)/1

INFO: accepts mode declarations although we are not using them currently

0.3.466 Predicate:

(module)/1

INFO: starts a module

Is called from:

0.3.467
```
(module)/2
```

0.3.467 Predicate:

(module)/2

INFO: starts a module specifying a list of visible predicates

Calls:

0.3.263
```
fail/0
```
0.3.442
```
member/2
```
0.3.466
```
(module)/1
```

0.3.468 Predicate:

modules/1

INFO: returns a list of existing modules

Calls:

0.3.383
```
is_module/1
```

0.3.469 Predicate:

msort/2

INFO: sorts and keeps duplicates

EXAMPLE(S):

?-msort([2,1,3,1,4,4,2],_A).
_A = [1,1,2,2,3,4,4];

no

Calls:

0.3.446
```
merge_sort/3
```

0.3.470 Predicate:

(multifile)/1

INFO: states that clauses of a predicate can be in different files

Is called from:

0.3.240
```
(discontiguous)/1
```

0.3.471 Predicate:

name/2

INFO: bidirectional: converts atomic to/from list of chars

EXAMPLE(S):

?-name(hello,_A).
_A = [104,101,108,108,111];

no

?-name(_A,[98,121,101]).
_A = bye;

no

Is called from:

0.3.472 Predicate:

namecat/4

INFO: concatenates 3 names

EXAMPLE(S):

?-namecat(a,:,b,_A).
_A = a:b;

no

Is called from:

0.3.239
```
dir2list/3
```
0.3.649
```
spawn/3
```
```
xload/1
```
```
xsave/1
```

0.3.473 Predicate:

near_match/2

INFO: matches 2 lists of chars

Is called from:

0.3.70
```
apropos/2
```

0.3.474 Predicate:

new_builtin/3

INFO: sample 3 arg user added builtin - used for the C interface

0.3.475 Predicate:

new_client/3

INFO: from a (host,port) to a client

Is called from:

0.3.657
```
start_rpc/3
```

0.3.476 Predicate:

new_engine/3

INFO: new_engine(X,G,E) creates an engine E ready to execute goal G with answer X

Calls:

0.3.505
```
open_engine/3
```

0.3.477 Predicate:

new_iterator/2

INFO: (GroundKey,Iterator) gets an iterator to terms attached to ground key

Calls:

0.3.692
```
term_store_op/4
```

Is called from:

0.3.311
```
get_all_terms/2
```

0.3.478 Predicate:

new_key_iterator/1

INFO: (Iterator): returns an iterator over the set of external keys

Calls:

0.3.692
```
term_store_op/4
```

0.3.479 Predicate:

new_name/2

INFO: returns a new name based on arg 1

0.3.480 Predicate:

new_server/2

INFO: opens on a port a new server

Is called from:

0.3.587
```
rpc_server/3
```
0.3.594
```
run_server/6
```

0.3.481 Predicate:

new_service/3

INFO: from (server,timeout) to a service

Is called from:

0.3.594
```
run_server/6
```

0.3.482 Predicate:

new_term/2

INFO: (Term,Handle): creates a new external Term and returns an integer Handle to it

Calls:

0.3.692
```
term_store_op/4
```

0.3.483 Predicate:

new_thread_guard/1

INFO: returns a new free thread guard from pool

Calls:

0.3.29
```
(=)/2
```
0.3.289
```
for/3
```
0.3.487
```
nonvar/1
```
0.3.674
```
synchronize/2
```
0.3.675
```
synchronize_on/2
```
```
var/1
```

0.3.484 Predicate:

nl/0

INFO: writes a new line character

Calls:

0.3.158
```
cnl/0
```

Is called from:

0.3.485 Predicate:

nobbgc/0

INFO: disables blackboard gc

Calls:

```
vset/2
```

0.3.486 Predicate:

nogc/0

INFO: disables heap gc

0.3.487 Predicate:

nonvar/1

INFO: true if currently instantiated

Is called from:

0.3.488 Predicate:

(nospy)/1

INFO: do not spy on Pred/Arity anymore

Calls:

0.3.104
```
bb_rm/2
```
0.3.300
```
functor/3
```

Is called from:

0.3.492
```
notrace/0
```

0.3.489 Predicate:

(not)/1

INFO: sound negation

Calls:

0.3.263
```
fail/0
```
0.3.332
```
ground/1
```
```
user_error/2
```

0.3.490 Predicate:

notepad/0

INFO: calls notepad editor on last compiled file

0.3.491 Predicate:

notify_about/1

INFO: notifies a suspended matching wait_for(Term,Contraint), if Constraint holds, that Term is available

0.3.492 Predicate:

notrace/0

INFO: do not trace predicates when interpreted

Calls:

0.3.488
```
(nospy)/1
```

0.3.493 Predicate:

nth_answer/2

INFO: (N,Goal) returns only the nth answer of Goal, if such an anser exists

Calls:

0.3.29
```
(=)/2
```
0.3.372
```
(is)/2
```
0.3.634
```
skip_until/2
```

0.3.494 Predicate:

nth_member/3

INFO: retrieves N-th element of a list

EXAMPLE(S):

?-nth_member(_A,[a,b,c],_B).
_A = a;
_B = 1;

_A = b;
_B = 2;

_A = c;
_B = 3;

no

0.3.495 Predicate:

number/1

INFO: true if integer or float

Calls:

0.3.281
```
float/1
```
0.3.369
```
integer/1
```

Is called from:

0.3.94
```
atom_codes/2
```
0.3.497
```
number_codes/2
```
0.3.714
```
to_string/2
```

0.3.496 Predicate:

number_chars/2

INFO: (Number,CharAtoms): converts between a number and its list of char atoms representation

EXAMPLE(S):

?-number_chars(1999,_A).
_A = [1,9,9,9];

no

Calls:

0.3.487
```
nonvar/1
```
0.3.497
```
number_codes/2
```

0.3.497 Predicate:

number_codes/2

INFO: (Number,CharCodes): converts between a number and its list of char code representation

EXAMPLE(S):

?-number_codes(1999,_A).
_A = [49,57,57,57];

no

?-number_codes(_A,[50,48,48,49]).
_A = 2001;

no

Calls:

0.3.258
```
errmes/2
```
0.3.471
```
name/2
```
0.3.487
```
nonvar/1
```
0.3.495
```
number/1
```
0.3.653
```
sread/2
```

Is called from:

0.3.496
```
number_chars/2
```

0.3.498 Predicate:

numbervars/3

INFO: binds to $VAR(I) with I over distinct integers variables in a term

Calls:

0.3.2
```
(##)/1
```
0.3.29
```
(=)/2
```
0.3.95
```
atomic/1
```
0.3.300
```
functor/3
```
0.3.372
```
(is)/2
```
0.3.498
```
numbervars/3
```

Is called from:

0.3.498
```
numbervars/3
```

0.3.499 Predicate:

oconsult/1

INFO: reconsult/1 variant: consults/compiles based on db_ratio and overwrites old clauses

Calls:

0.3.177
```
current_db/1
```
0.3.203
```
db_move/2
```
0.3.277
```
find_file/2
```
0.3.610
```
set_db/1
```
0.3.672
```
symcat/3
```

0.3.500 Predicate:

older_file/2

INFO: true if arg 1 is a file older than arg 2

0.3.501 Predicate:

once/1

INFO: executes once, with no backtracking

Is called from:

0.3.292
```
forall/2
```
0.3.294
```
foreach/2
```
0.3.346
```
hash_key/1
```

0.3.502 Predicate:

one/4

INFO: one(Recognizer,Result): DCG based regexp processor for exactly one Recognizer

Calls:

0.3.212
```
dcg_call/4
```

0.3.503 Predicate:

op/3

INFO: op(Pri,A,Op) defines an operator Op of priority Pri and associativity A

0.3.504 Predicate:

open/3

INFO: returns a stream (arg 3) on a file (arg 1) in read/write/append mode (arg 2)

Calls:

0.3.506
```
open_stream/4
```

0.3.505 Predicate:

open_engine/3

INFO: open_engine(G,X,E) creates an engine E ready to execute goal G with answer X

Calls:

0.3.173
```
create_engine/1
```
0.3.402
```
load_engine/3
```

Is called from:

0.3.476
```
new_engine/3
```

0.3.506 Predicate:

open_stream/4

INFO: (Type,FileOrCmd,ReadWriteAppend,?StreamID) opens various streams

Is called from:

0.3.288
```
fopen/3
```
0.3.504
```
open/3
```
0.3.520
```
popen/3
```

0.3.507 Predicate:

otherwise/0

INFO: always succeeds

0.3.508 Predicate:

otime/1

INFO: gets time in secs from arbitrary origin to start

EXAMPLE(S):

?-otime(_A).
_A = 372179905;

no

Calls:

0.3.663
```
statistics/2
```

0.3.509 Predicate:

out/1

INFO: puts a term on Linda server or trigers resumption of a matching in/1 waiting for this data

Calls:

0.3.409
```
local_out/1
```

0.3.510 Predicate:

override/3

INFO: overrides a compiled predicate - to be used with care

0.3.511 Predicate:

pc/0

INFO: pushes code compiled into the workspace to the persistent kernel

Calls:

0.3.536
```
push_code/1
```

Is called from:

0.3.547
```
qcompile/1
```

0.3.512 Predicate:

pclose/1

INFO: closes a pipe generated stream

Is called from:

0.3.513
```
pcollect/2
```
```
unix/1
```

0.3.513 Predicate:

pcollect/2

INFO: collects output from a command to a list of char codes

Calls:

0.3.182
```
current_input/1
```
0.3.314
```
get_code/1
```
0.3.512
```
pclose/1
```
0.3.520
```
popen/3
```
0.3.614
```
set_input/1
```

Is called from:

0.3.239
```
dir2list/3
```
0.3.546
```
pwd/1
```
```
unix/1
```

0.3.514 Predicate:

peer_addr/2

INFO: gets address of peer connected to socket

0.3.515 Predicate:

peer_port/2

INFO: gets port of peer connected to socket

0.3.516 Predicate:

phrase/2

INFO: (Axiom, ?InputChars): DCG evaluator, starting from Axiom, consuming/producing InputChars

Calls:

0.3.517
```
phrase/3
```

0.3.517 Predicate:

phrase/3

INFO: (Axiom, ?InputChars, ?OutputChars): DCG evaluator, staring from Axiom

EXAMPLE(S):

?-phrase(([a],[b]),[a,b|_A],_A).
_A = _x149070;

no

Calls:

0.3.29
```
(=)/2
```

Is called from:

0.3.516
```
phrase/2
```

0.3.518 Predicate:

pico/0

INFO: calls pico editor on last compiled file

0.3.519 Predicate:

plus/4

INFO: plus(Recognizer,Result): DCG based plus regexp processor for (Recognizer)+

Calls:

0.3.212
```
dcg_call/4
```
0.3.655
```
star/4
```

0.3.520 Predicate:

popen/3

INFO: popen(Cmd,read/write,Stream) opens Stream using a pipe from/to process executing Cmd

Calls:

0.3.29
```
(=)/2
```
0.3.506
```
open_stream/4
```

Is called from:

0.3.513
```
pcollect/2
```
```
unix/1
```

0.3.521 Predicate:

portray_clause/1

INFO: pretty prints a clause

Calls:

0.3.263
```
fail/0
```

Is called from:

0.3.523
```
pp_clause/1
```

0.3.522 Predicate:

pow/3

INFO: (Base,Expo,Val) computes power function

EXAMPLE(S):

?-pow(2,3,_A).
_A = 8;

no

0.3.523 Predicate:

pp_clause/1

INFO: prints out a clause with some care on how it looks

Calls:

0.3.521
```
portray_clause/1
```

Is called from:

0.3.353
```
hash_save/2
```
0.3.649
```
spawn/3
```
```
x_listing/1
```

0.3.524 Predicate:

pp_term/1

INFO: pretty prints a term

Calls:

0.3.263
```
fail/0
```
0.3.484
```
nl/0
```
```
write/1
```

0.3.525 Predicate:

predicate_property/2

INFO: returns a property of a predicate

EXAMPLE(S):

?-predicate_property(write(_A),_B).
_A = _x149194;
_B = built_in;

no

Calls:

0.3.487
```
nonvar/1
```

Is called from:

0.3.70
```
apropos/2
```

0.3.526 Predicate:

print/1

INFO: variant of write/1

0.3.527 Predicate:

println/1

INFO: synchronized printing of a term on a line

Calls:

0.3.673
```
synchronize/1
```

Is called from:

0.3.432
```
map_show/1
```
0.3.459
```
mmap_show/1
```
0.3.589
```
rpc_test/1
```
```
x_listing/0
```
```
x_profile/0
```

0.3.528 Predicate:

process_term/3

INFO: (OpCode,Input,Output): applies various user defined C functions to external terms

Calls:

0.3.692
```
term_store_op/4
```

0.3.529 Predicate:

prod/2

INFO: (List, ?Result): product of a list

EXAMPLE(S):

?-prod([10,20],_A).
_A = 200;

no

Calls:

0.3.286
```
foldl/4
```

0.3.530 Predicate:

profile/0

INFO: in specialy compiled profiler mode prints out info accumulated so far

0.3.531 Predicate:

prolog_flag/2

INFO: (Flag,Value): retrieves the value of a Prolog flag

Calls:

0.3.222
```
default/2
```

0.3.532 Predicate:

prolog_init/1

INFO: runs more command line args representing prolog goals

0.3.533 Predicate:

prolog_load/1

INFO: loads code and/or executes first command line arg

Calls:

0.3.128
```
call_ifdef/2
```

0.3.534 Predicate:

prolog_run/1

INFO: starts main/0 if defined, otherwise toplevel/0

Calls:

0.3.263
```
fail/0
```

0.3.535 Predicate:

(public)/1

INFO: declares globally visible predicate Name/Arity

Calls:

0.3.535
```
(public)/1
```

Is called from:

0.3.535
```
(public)/1
```

0.3.536 Predicate:

push_code/1

INFO: moves code compiled in workspace to kernel and returns top of code area - used by pc/0

Is called from:

0.3.511
```
pc/0
```

0.3.537 Predicate:

push_term/2

INFO: (GroundKey,Term): attaches a term to a ground key in constant time as a the first element

Calls:

0.3.692
```
term_store_op/4
```

0.3.538 Predicate:

pushq/3

INFO: adds to beginning of persistent queeue

EXAMPLE(S):

?-pushq(key1,key2,f(_A,_A)).
_A = _x148850;

no

Calls:

0.3.33
```
(==)/2
```
0.3.49
```
(\==)/2
```
0.3.99
```
bb_gc/0
```
0.3.148
```
clear_bp_error/0
```
0.3.265
```
fatal_error/2
```
0.3.312
```
get_bp_error/4
```

Is called from:

0.3.192
```
db_asserta/2
```
0.3.454
```
mmap_push/3
```

0.3.539 Predicate:

put/1

INFO: writes and ascii code as a char

EXAMPLE(S):

?-put(99).
c
yes

Is called from:

0.3.541
```
put_code/1
```

0.3.540 Predicate:

put_char/2

INFO: (Stream,CharAsOneLetterConstant): outputs a char to a stream -ISO Prolog

Calls:

0.3.258
```
errmes/2
```
0.3.471
```
name/2
```
0.3.542
```
put_code/2
```

0.3.541 Predicate:

put_code/1

INFO: ISO char code writer

EXAMPLE(S):

?-put_code(99).
c
yes

Calls:

0.3.539
```
put/1
```

Is called from:

```
unix_cat/1
```
```
write_chars/1
```

0.3.542 Predicate:

put_code/2

INFO: outputs a char code to a stream - ISO

Calls:

0.3.258
```
errmes/2
```
0.3.295
```
fputc/2
```

Is called from:

0.3.540
```
put_char/2
```

0.3.543 Predicate:

put_critical/2

INFO: (Guard,Data): updates mutex Guard-protected Data on blackboard

Calls:

0.3.597
```
sdebug/1
```
0.3.674
```
synchronize/2
```
0.3.676
```
synchronize_on/3
```

0.3.544 Predicate:

put_term/2

INFO: (GroundKey,Term): attaches a term to a ground key in constant time as the last element

Calls:

0.3.692
```
term_store_op/4
```

0.3.545 Predicate:

pwd/0

INFO: shows current dir

Calls:

0.3.677
```
system/1
```

0.3.546 Predicate:

pwd/1

INFO: returns current dir as a list of chars

Calls:

0.3.513
```
pcollect/2
```

0.3.547 Predicate:

qcompile/1

INFO: compile/1 variant: compiles a file to memory after pushing current user code to kernel - where it becomes read only

Calls:

0.3.511
```
pc/0
```

0.3.548 Predicate:

qfindall/4

INFO: qfindall(X,G,Xs,Ys): queues based, slightly faster findall/4, not MT-safe

EXAMPLE(S):

?-qfindall(s(_A),(_A = 1 ; _A = 2),_B,[3,4]).
_A = _x149183;
_B = [s(1),s(2),3,4];

no

Calls:

0.3.31
```
(=:=)/2
```
0.3.220
```
debugmes/1
```

0.3.549 Predicate:

qmake/1

INFO: compiles Project to fast C code - for packaging as standalone executable

Calls:

0.3.550
```
qmake/2
```

0.3.550 Predicate:

qmake/2

INFO: (Project,Module): compiles to fast C code a project in Module: uses set_threshhold(12,60) before dooing cmake/2, for a good speed/code size ratio

Calls:

0.3.156
```
cmake/2
```
0.3.609
```
set_c_threshold/2
```

Is called from:

0.3.549
```
qmake/1
```

0.3.551 Predicate:

qprint/1

INFO: prints out a clause such that a variant of it can be always read back

Is called from:

0.3.211
```
db_save/2
```

0.3.552 Predicate:

quiet/1

INFO: gets/sets level of "quietness"

Calls:

0.3.369
```
integer/1
```
```
vget0/2
```
```
vset/2
```

Is called from:

0.3.554
```
quietmes/2
```
0.3.597
```
sdebug/1
```
```
x_gc/0
```
```
x_profile/0
```
```
x_traced_call/1
```
```
xload/1
```
```
xsave/1
```

0.3.553 Predicate:

quietmes/1

INFO: writes message if in low quietness mode

Calls:

0.3.554
```
quietmes/2
```

0.3.554 Predicate:

quietmes/2

INFO: writes message if quietness is lower than arg 1)

Calls:

0.3.32
```
(=<)/2
```
0.3.552
```
quiet/1
```
```
ttyprint/1
```

Is called from:

0.3.220
```
debugmes/1
```
0.3.553
```
quietmes/1
```

0.3.555 Predicate:

quit/0

INFO: same as halt

Calls:

0.3.333
```
halt/0
```

0.3.556 Predicate:

random/1

INFO: returns a random integer

EXAMPLE(S):

?-random(_A).
_A = 2508;

no

0.3.557 Predicate:

random_seed/1

INFO: initializes random/1 with an integer, uses clock if 0

0.3.558 Predicate:

rd/1

INFO: reads a term matching arg 1 from Linda blackboard

Calls:

0.3.410
```
local_rd/1
```

0.3.559 Predicate:

read/1

INFO: reads a term

Is called from:

0.3.691
```
term_of/2
```

0.3.560 Predicate:

read_chars/1

INFO: reads to a list of ascii codes

Calls:

0.3.314
```
get_code/1
```

Is called from:

0.3.561
```
read_line/1
```
0.3.567
```
read_words/1
```

0.3.561 Predicate:

read_line/1

INFO: reads a line into a constant

Calls:

0.3.471
```
name/2
```
0.3.560
```
read_chars/1
```

0.3.562 Predicate:

read_term/2

INFO: reads a term and also a list of variable-name associations

0.3.563 Predicate:

read_term_from_chars/2

INFO: reads a term from a list of char codes

EXAMPLE(S):

?-read_term_from_chars([102,40,88,44,88,44,89,44,89,41],_A).
_A = f(_x151573,_x151573,_x151624,_x151624);

no

Calls:

0.3.564
```
read_term_from_chars/3
```

0.3.564 Predicate:

read_term_from_chars/3

INFO: reads a term with variable names from a list of char codes

EXAMPLE(S):

?-read_term_from_chars([102,40,88,44,88,44,89,44,89,41],_A,_B).
_A = f(_x151678,_x151678,_x151729,_x151729);
_B = [X = _x151678,Y = _x151729];

no

Is called from:

0.3.563
```
read_term_from_chars/2
```
0.3.566
```
read_terms_from_chars/3
```
0.3.654
```
sread/3
```

0.3.565 Predicate:

read_terms_from_chars/2

INFO: (Chars,Clause): backtracks over Clause(s) parsed from a list of char codes

Calls:

0.3.566
```
read_terms_from_chars/3
```

0.3.566 Predicate:

read_terms_from_chars/3

INFO: (Chars,Clause,VarsInClause): backtracks over Clause(s) parsed from a list of char codes

EXAMPLE(S):

?-read_terms_from_chars([98,40,88,44,89,41,58,45,97,40,89,44,88,41,46,32,97,40,49,44,49,41,46,32,97,40,95,44,50,41,46,32],_A,_B).
_A = (b(_x154557,_x154585) :- a(_x154585,_x154557));
_B = [X = _x154557,Y = _x154585];

_A = a(1,1);
_B = [];

_A = a(_x154156,2);
_B = [_ = _x154156];

no

Calls:

0.3.65
```
append/3
```
0.3.442
```
member/2
```
0.3.564
```
read_term_from_chars/3
```

Is called from:

0.3.565
```
read_terms_from_chars/2
```

0.3.567 Predicate:

read_words/1

INFO: reads a line into a list of words

Calls:

0.3.161
```
codes_words/2
```
0.3.560
```
read_chars/1
```

0.3.568 Predicate:

reboot/0

INFO: regenerates BinProlog from its sources

Calls:

0.3.115
```
boot/0
```

0.3.569 Predicate:

reconsult/1

INFO: applies current consult method to file given as arg 1, set db_ratio/1 for specifying dynamic recompilation of heavily used interpreted code

Is called from:

0.3.160
```
co/1
```

0.3.570 Predicate:

remote_run/1

INFO: runs Goal on remote server using default password

Calls:

0.3.223
```
default_host/1
```
0.3.226
```
default_port/1
```
0.3.571
```
remote_run/3
```

0.3.571 Predicate:

remote_run/3

INFO: (Host,Port,Goal): runs Goal on rmote server at Host, Port with default password

Calls:

0.3.225
```
default_password/1
```
0.3.572
```
remote_run/6
```

Is called from:

0.3.570
```
remote_run/1
```

0.3.572 Predicate:

remote_run/6

INFO: (Host,Port,Answer,Goal,Password,Reply): runs Goal on server at Host, Port with given Password and returns Reply. However, if you do let(where,here) before calling it, a local goal is called instead.

Calls:

0.3.131
```
call_jinni/3
```

Is called from:

0.3.571
```
remote_run/3
```

0.3.573 Predicate:

remove_current_term/1

INFO: (Iterator) removes current term attached to an iterator

Calls:

0.3.692
```
term_store_op/4
```

0.3.574 Predicate:

repeat/0

INFO: backtracks until its continuation succeeds; defined as repeat. repeat:-repeat.

Calls:

0.3.574
```
repeat/0
```

Is called from:

0.3.140
```
char_of/2
```
0.3.308
```
get/1
```
0.3.574
```
repeat/0
```
0.3.594
```
run_server/6
```
0.3.606
```
service_loop/2
```
0.3.691
```
term_of/2
```
```
toplevel/0
```

0.3.575 Predicate:

restart/0

INFO: cleans up data areas and reinitializes symbol tables

Calls:

0.3.128
```
call_ifdef/2
```

0.3.576 Predicate:

retract/1

INFO: backtracks over deleting matching clauses

Calls:

0.3.177
```
current_db/1
```
0.3.205
```
db_retract/2
```
```
x_retract/1
```

0.3.577 Predicate:

retract1/1

INFO: deletes first matching clause in the current database

Calls:

0.3.177
```
current_db/1
```
0.3.207
```
db_retract1/2
```

0.3.578 Predicate:

retractall/1

INFO: deletes all matching clauses

Calls:

0.3.177
```
current_db/1
```
0.3.208
```
db_retractall/2
```
```
x_retractall/1
```

Is called from:

0.3.611
```
set_default/1
```

0.3.579 Predicate:

return/1

INFO: returns data from an engine as if it were an answer - such that the engine can be resumed with get/2 to execute the next goal

Calls:

0.3.580
```
return0/1
```

0.3.580 Predicate:

return0/1

INFO: returns a term from an engine left in a state ready to resume

Is called from:

0.3.579
```
return/1
```

0.3.581 Predicate:

reverse/2

INFO: reverses a list

EXAMPLE(S):

?-reverse([a,b,c],_A).
_A = [c,b,a];

no

0.3.582 Predicate:

round/2

INFO: float to int function

EXAMPLE(S):

?-round(1.51,_A).
_A = 2;

no

Calls:

0.3.372
```
(is)/2
```

0.3.583 Predicate:

rpc/1

INFO: (Query): calls server on current local reusable socket

Calls:

0.3.584
```
rpc/3
```

Is called from:

0.3.589
```
rpc_test/1
```

0.3.584 Predicate:

rpc/3

INFO: (Answer,Goal,Result): calls server on local reusable socket and gets back Result as the(Answer) or no

Calls:

0.3.79
```
ask/5
```

Is called from:

0.3.583
```
rpc/1
```

0.3.585 Predicate:

rpc_server/0

INFO: runs Jinni compatible server with socket reuse on default port

Calls:

0.3.225
```
default_password/1
```
0.3.228
```
default_this_port/1
```
0.3.586
```
rpc_server/2
```

0.3.586 Predicate:

rpc_server/2

INFO: Port,Password: runs Jinni compatible server with socket reuse

Calls:

0.3.229
```
default_timeout/1
```
0.3.587
```
rpc_server/3
```

Is called from:

0.3.585
```
rpc_server/0
```

0.3.587 Predicate:

rpc_server/3

INFO: Port,Password,Timout: runs Jinni compatible server with socket reuse

Calls:

0.3.480
```
new_server/2
```

Is called from:

0.3.586
```
rpc_server/2
```

0.3.588 Predicate:

rpc_test/0

INFO: tests rpc server and client with socket reuse

Calls:

0.3.110
```
bg/1
```
0.3.589
```
rpc_test/1
```
0.3.636
```
sleep/1
```

0.3.589 Predicate:

rpc_test/1

INFO: tests rpc client with socket reuse for a given number of operations

Calls:

Is called from:

0.3.588
```
rpc_test/0
```

0.3.590 Predicate:

rtime/1

INFO: gets elapsed real time in secs

EXAMPLE(S):

?-rtime(_A).
_A = 21;

no

Calls:

0.3.663
```
statistics/2
```

Is called from:

0.3.710
```
timed_call/4
```

0.3.591 Predicate:

run_server/0

INFO: runs foreground server on localhost (default port) for Jinni clients

Calls:

0.3.228
```
default_this_port/1
```
0.3.592
```
run_server/1
```

0.3.592 Predicate:

run_server/1

INFO: runs foreground server on Port to provide services to Jinni clients

Calls:

0.3.593
```
run_server/2
```

Is called from:

0.3.591
```
run_server/0
```

0.3.593 Predicate:

run_server/2

INFO: (Port,Password): runs server on Port, Password required from clients

Calls:

0.3.594
```
run_server/6
```

Is called from:

0.3.592
```
run_server/1
```

0.3.594 Predicate:

run_server/6

INFO: (Port,Password,Heap,Stack,Trail,Timeout): runs server with specified service parameters

Calls:

0.3.114
```
bg/7
```
0.3.263
```
fail/0
```
0.3.480
```
new_server/2
```
0.3.481
```
new_service/3
```
0.3.574
```
repeat/0
```

Is called from:

0.3.593
```
run_server/2
```

0.3.595 Predicate:

scompile/1

INFO: smart compile/1 variant: if the *.wam file is newer reloads, otherwise fcompiles first

Calls:

0.3.52
```
abort/0
```
0.3.385
```
is_prolog/1
```
0.3.441
```
mcompile/1
```

0.3.596 Predicate:

sconsult/1

INFO: reconsult/1 variant: cleans up data areas consults, makes all static

0.3.597 Predicate:

sdebug/1

INFO: emits mt-safe synchronized debug message

Calls:

0.3.27
```
(<)/2
```
0.3.109
```
begin_critical/0
```
0.3.253
```
end_critical/0
```
0.3.484
```
nl/0
```
0.3.552
```
quiet/1
```
```
write/1
```

Is called from:

0.3.316
```
get_critical/2
```
0.3.543
```
put_critical/2
```

0.3.598 Predicate:

see/1

INFO: focuses input on a file

Calls:

```
user_error/2
```

Is called from:

0.3.691
```
term_of/2
```

0.3.599 Predicate:

see_at/1

INFO: seeks a seekable file at a give offset (in bytes)

Calls:

```
user_error/2
```

0.3.600 Predicate:

see_or_fail/1

INFO: opens a file if it exists, otherwise fails

Is called from:

0.3.259
```
exists_file/1
```

0.3.601 Predicate:

seeing/1

INFO: gets file name opened and set by see/1

Is called from:

0.3.650
```
(spy)/1
```
0.3.691
```
term_of/2
```

0.3.602 Predicate:

seeing_at/1

INFO: retrieves position in current file opened by see/1

0.3.603 Predicate:

seen/0

INFO: close file opened by see/1

Is called from:

0.3.259
```
exists_file/1
```
0.3.691
```
term_of/2
```

0.3.604 Predicate:

sentence_of/2

INFO: reads a natural language file to a sentence built as a list of words - on backtracking

Calls:

0.3.29
```
(=)/2
```
0.3.161
```
codes_words/2
```
0.3.605
```
sentence_of/3
```

0.3.605 Predicate:

sentence_of/3

INFO: (File,Ends,Sent) reads a file to a sentence separated by Ends - on backtracking

Calls:

0.3.277
```
find_file/2
```
0.3.288
```
fopen/3
```

Is called from:

0.3.394
```
line_of/2
```
0.3.604
```
sentence_of/2
```

0.3.606 Predicate:

service_loop/2

INFO: ServiceSocket,Password:starts service loop on reusable ServiceSocket - works on server side with server/2

Calls:

0.3.64
```
answer_one_query/2
```
0.3.263
```
fail/0
```
0.3.574
```
repeat/0
```

0.3.607 Predicate:

set_bp_error/4

INFO: (Id,Mes,Arg1,Arg2): notifies emulator about error condition

Calls:

0.3.258
```
errmes/2
```
```
vset/2
```

Is called from:

0.3.148
```
clear_bp_error/0
```

0.3.608 Predicate:

set_c_threshold/1

INFO: related to C generator: sets length K of WAM instruction block such that block larger than K will get compiled to C code

Calls:

0.3.609
```
set_c_threshold/2
```

0.3.609 Predicate:

set_c_threshold/2

INFO: (Min,Max): related to C generator: sets Min,Max length of WAM instruction block such that blocks between Min and Max size will get compiled to C code

Calls:

0.3.102
```
bb_let/3
```

Is called from:

0.3.550
```
qmake/2
```
0.3.608
```
set_c_threshold/1
```

0.3.610 Predicate:

set_db/1

INFO: sets the name of active database for dynamic code

Calls:

```
vset/2
```

Is called from:

0.3.499
```
oconsult/1
```

0.3.611 Predicate:

set_default/1

INFO: asserts arg 1 as default state for use by default/2

Calls:

0.3.84
```
assert/1
```
0.3.300
```
functor/3
```
0.3.578
```
retractall/1
```

Is called from:

0.3.613
```
set_host/1
```
0.3.617
```
set_login/1
```
0.3.620
```
set_port/1
```
0.3.621
```
set_prolog_flag/2
```
0.3.622
```
set_this_host/1
```
0.3.624
```
set_timeout/1
```

0.3.612 Predicate:

set_hash_max/1

INFO: Set the range of values from -1 to -Max, that should be a prime number, defaults to 1999

0.3.613 Predicate:

set_host/1

INFO: asserts IP adress or name of server host we want to talk to

Calls:

0.3.611
```
set_default/1
```

0.3.614 Predicate:

set_input/1

INFO: sets current input stream

Is called from:

0.3.513
```
pcollect/2
```

0.3.615 Predicate:

set_lineno/1

INFO: sets line number counter in current file - use with care

Calls:

0.3.369
```
integer/1
```
```
vset_int/2
```

Is called from:

0.3.364
```
include/1
```

0.3.616 Predicate:

set_load_method/1

INFO: sets the current load method by name

Calls:

0.3.403
```
load_method/2
```
```
vset/2
```

0.3.617 Predicate:

set_login/1

INFO: asserts default (nick)name for user

Calls:

0.3.611
```
set_default/1
```

0.3.618 Predicate:

set_output/1

INFO: sets current output stream

0.3.619 Predicate:

set_password/1

INFO: sets default password for user

Calls:

0.3.357
```
hide_default/1
```

0.3.620 Predicate:

set_port/1

INFO: asserts port number of the server we want to talk to

Calls:

0.3.369
```
integer/1
```
0.3.611
```
set_default/1
```

0.3.621 Predicate:

set_prolog_flag/2

INFO: (Flag,Value): sets the value of a Prolog flag

Calls:

0.3.611
```
set_default/1
```

0.3.622 Predicate:

set_this_host/1

INFO: asserts IP adress or name of this machine

Calls:

0.3.611
```
set_default/1
```

0.3.623 Predicate:

set_this_port/1

INFO: asserts default port for to work as a server on

Calls:

0.3.369
```
integer/1
```
```
vset/2
```

0.3.624 Predicate:

set_timeout/1

INFO: asserts default timeout

Calls:

0.3.611
```
set_default/1
```

0.3.625 Predicate:

setarg/3

INFO: backtrackable: setarg(I,T,X) replaces arg I of T with X

EXAMPLE(S):

?-setarg(2,f(a,b),c).

yes

0.3.626 Predicate:

setof/3

INFO: all solutions predicate generating sorted sets of unduplicated answers

EXAMPLE(S):

?-setof(_A,member(_A,[3,2,2,1]),_B).
_A = _x149050;
_B = [1,2,3];

no

Calls:

0.3.647
```
sort/2
```

0.3.627 Predicate:

shell/1

INFO: passes a command to the OS

Calls:

0.3.677
```
system/1
```

0.3.628 Predicate:

show_default/1

INFO: makes available a default value

Calls:

0.3.106
```
bb_val/3
```

Is called from:

0.3.222
```
default/2
```
0.3.325
```
get_password/1
```

0.3.629 Predicate:

show_defaults/0

INFO: show default values of some system variables

Calls:

0.3.65
```
append/3
```
0.3.128
```
call_ifdef/2
```
0.3.187
```
current_predicate/2
```
0.3.263
```
fail/0
```
0.3.442
```
member/2
```
0.3.471
```
name/2
```
0.3.484
```
nl/0
```
```
write/1
```

0.3.630 Predicate:

show_engine/0

INFO: if debugmes/1 is on (as with quiet(1)), shows params of current engine

0.3.631 Predicate:

show_info/2

INFO: generates components of info/1 output

Calls:

0.3.29
```
(=)/2
```
0.3.263
```
fail/0
```
0.3.442
```
member/2
```
0.3.484
```
nl/0
```
```
write/1
```

0.3.632 Predicate:

sign/2

INFO: int function

Calls:

0.3.29
```
(=)/2
```
0.3.35
```
(>)/2
```

0.3.633 Predicate:

sin/2

INFO: float function

0.3.634 Predicate:

skip_until/2

INFO: findall variant

Calls:

0.3.263
```
fail/0
```

Is called from:

0.3.493
```
nth_answer/2
```

0.3.635 Predicate:

skip_when/2

INFO: findall variant

Calls:

0.3.263
```
fail/0
```

Is called from:

0.3.242
```
drop_at_least/2
```

0.3.636 Predicate:

sleep/1

INFO: waits arg 1 seconds

Is called from:

0.3.588
```
rpc_test/0
```
0.3.710
```
timed_call/4
```

0.3.637 Predicate:

sock2file/2

INFO: reads from a socket, to a file

0.3.638 Predicate:

sock_read/2

INFO: reads from a socket when size of the data is described by int before chars to be read

Calls:

0.3.639
```
sock_read/3
```

0.3.639 Predicate:

sock_read/3

INFO: reads from a socket, a string

Is called from:

0.3.638
```
sock_read/2
```

0.3.640 Predicate:

sock_readln/2

INFO: reads from a socket until an end of line LF (ascii 10) or char 0 is found and discards possible previous CR (ascii13)

Calls:

0.3.641
```
sock_readln/3
```

0.3.641 Predicate:

sock_readln/3

INFO: reads from a socket, a line

Is called from:

0.3.640
```
sock_readln/2
```

0.3.642 Predicate:

sock_write/2

INFO: writes a string to a socket prefixed by its lenght

Calls:

0.3.643
```
sock_write/3
```

0.3.643 Predicate:

sock_write/3

INFO: writes to a socket, a string

Is called from:

0.3.642
```
sock_write/2
```

0.3.644 Predicate:

sock_writeln/2

INFO: writes a string to a socket and adds an ascii 10 to the end

Calls:

0.3.645
```
sock_writeln/3
```

0.3.645 Predicate:

sock_writeln/3

INFO: writes to a socket, a line

Is called from:

0.3.644
```
sock_writeln/2
```

0.3.646 Predicate:

solutions/2

INFO: (GX,Xs): adds (last) output arg X to closure G then works like findall(X,GX,Xs)

EXAMPLE(S):

?-solutions(argn(_A,f(a,b,c)),_B).
_A = _x149017;
_B = [a,b,c];

no

Calls:

0.3.687
```
term_append/3
```

0.3.647 Predicate:

sort/2

INFO: sorts and removes duplicates

EXAMPLE(S):

?-sort([2,1,3,1,4,4,2],_A).
_A = [1,2,3,4];

no

Calls:

0.3.446
```
merge_sort/3
```

Is called from:

0.3.63
```
answer_of/2
```
0.3.69
```
apropos/1
```
0.3.626
```
setof/3
```

0.3.648 Predicate:

spawn/1

INFO: spawns Goal in a new bp window on W95/NT PC and Unix/X

Calls:

0.3.649
```
spawn/3
```

0.3.649 Predicate:

spawn/3

INFO: spawns(Goal,Includes,TempFile): spawns a new bp window

Calls:

0.3.220
```
debugmes/1
```
0.3.294
```
foreach/2
```
0.3.472
```
namecat/4
```
0.3.484
```
nl/0
```
0.3.523
```
pp_clause/1
```
0.3.677
```
system/1
```
0.3.682
```
tell/1
```
```
told/0
```

Is called from:

0.3.648
```
spawn/1
```

0.3.650 Predicate:

(spy)/1

INFO: set spy point on goal, triggering trace when interpreted

Calls:

0.3.102
```
bb_let/3
```
0.3.300
```
functor/3
```
0.3.375
```
is_builtin/1
```
0.3.601
```
seeing/1
```
```
ttyprint/1
```
```
user_error/2
```

Is called from:

```
trace/0
```

0.3.651 Predicate:

spying/1

INFO: checks what we are spying

Calls:

0.3.375
```
is_builtin/1
```

0.3.652 Predicate:

sqrt/2

INFO: returns square root of arg 1, a float

EXAMPLE(S):

?-sqrt(2,_A).
_A = 1.41421356;

no

0.3.653 Predicate:

sread/2

INFO: reads a term from a string (atom)

Calls:

0.3.654
```
sread/3
```

Is called from:

0.3.497
```
number_codes/2
```

0.3.654 Predicate:

sread/3

INFO: reads a term and a list of vars from a string (atom)

EXAMPLE(S):

?-sread(f(X,Y),_A,_B).
_A = f(_x149840,_x149868);
_B = [X = _x149840,Y = _x149868];

no

Calls:

0.3.471
```
name/2
```
0.3.564
```
read_term_from_chars/3
```

Is called from:

0.3.653
```
sread/2
```

0.3.655 Predicate:

star/4

INFO: star(Recognizer,Result): DCG based star regexp processor for (Recognizer)*

Calls:

0.3.212
```
dcg_call/4
```
0.3.655
```
star/4
```

Is called from:

0.3.519
```
plus/4
```
0.3.655
```
star/4
```

0.3.656 Predicate:

start_rpc/0

INFO: starts rpc client on default local reusable socket and port

Calls:

0.3.223
```
default_host/1
```
0.3.225
```
default_password/1
```
0.3.226
```
default_port/1
```
0.3.657
```
start_rpc/3
```

Is called from:

0.3.589
```
rpc_test/1
```

0.3.657 Predicate:

start_rpc/3

INFO: (Host,Port,Password): starts rpc client on local reusable socket

Calls:

0.3.258
```
errmes/2
```
0.3.475
```
new_client/3
```

Is called from:

0.3.656
```
start_rpc/0
```

0.3.658 Predicate:

stat/0

INFO: short hand for statistics

Calls:

0.3.662
```
statistics/0
```

0.3.659 Predicate:

stat2dyn/1

INFO: stat2dyn(H): reverts to uncompiled representation for a predicate with head H

Calls:

0.3.177
```
current_db/1
```
0.3.660
```
stat2dyn/2
```

0.3.660 Predicate:

stat2dyn/2

INFO: stat2dyn(Db,H): reverts to uncompiled representation for a predicate in database Db with head H

Calls:

0.3.199
```
db_head/2
```
0.3.263
```
fail/0
```

Is called from:

0.3.659
```
stat2dyn/1
```

0.3.661 Predicate:

static_prolog_flag/2

INFO: contains read-only Prolog flag values

Calls:

0.3.247
```
dynco/1
```
0.3.385
```
is_prolog/1
```
0.3.672
```
symcat/3
```
```
vread/2
```

0.3.662 Predicate:

statistics/0

INFO: shows info about data areas

EXAMPLE(S):

?-statistics.
runtime=[22828,15782]
global_stack=[595896,1420104]
local_stack=[224,1022740]
trail=[75144,947828]
code=[266652,781908]
strings=[26509,1022067]
symbols=[22380,239764]
htable=[158544,627888]
bboard=[1693084,39264864]
gctime=[0,0]
realtime=[23,372179905]

yes

Calls:

0.3.263
```
fail/0
```
0.3.484
```
nl/0
```
0.3.663
```
statistics/2
```

Is called from:

0.3.658
```
stat/0
```

0.3.663 Predicate:

statistics/2

INFO: returns info about data areas

EXAMPLE(S):

?-statistics(_A,_B).
_A = runtime;
_B = [22859,31];

_A = global_stack;
_B = [596712,1419288];

_A = local_stack;
_B = [208,1022756];

_A = trail;
_B = [75172,947800];

_A = code;
_B = [266652,781908];

_A = strings;
_B = [26509,1022067];

_A = symbols;
_B = [22380,239764];

_A = htable;
_B = [158544,627888];

_A = bboard;
_B = [1694448,39263500];

_A = gctime;
_B = [0,0];

_A = realtime;
_B = [23,372179905];

no

Is called from:

0.3.54
```
abstime/1
```
0.3.100
```
bb_gc0/0
```
0.3.176
```
ctime/1
```
0.3.508
```
otime/1
```
0.3.590
```
rtime/1
```
0.3.662
```
statistics/0
```

0.3.664 Predicate:

stop/0

INFO: exits thread or process

Calls:

0.3.334
```
halt/1
```

0.3.665 Predicate:

stop/1

INFO: stops and frees resources held by an engine (may happen automaticaly if an engine fails)

Calls:

0.3.232
```
destroy_engine/1
```

0.3.666 Predicate:

stop_rpc/0

INFO: stops rpc client on local reusable socket

Is called from:

0.3.589
```
rpc_test/1
```

0.3.667 Predicate:

stop_service/0

INFO: stops server with socket reuse - acts on the server side

0.3.668 Predicate:

subsumes_chk/2

INFO: checks if arg 1 is subsumed by arg 2, after renaming vars

Calls:

0.3.263
```
fail/0
```

Is called from:

```
variant_of/2
```

0.3.669 Predicate:

sum/2

INFO: (List,?Result): sum of a list

EXAMPLE(S):

?-sum([10,20],_A).
_A = 30;

no

Calls:

0.3.286
```
foldl/4
```

0.3.670 Predicate:

swrite/2

INFO: writes a term to a string (atom)

Calls:

0.3.94
```
atom_codes/2
```

0.3.671 Predicate:

swrite/3

INFO: writes a term with a liste of vars to a string (atom)

Calls:

0.3.471
```
name/2
```
```
write_term_to_chars/3
```

0.3.672 Predicate:

symcat/3

INFO: makes new identifier from arg 1 and arg 2

EXAMPLE(S):

?-symcat(a,b,_A).
_A = a_b;

no

?-symcat(a,1,_A).
_A = a_1;

no

Is called from:

0.3.306
```
gensym/2
```
0.3.435
```
maps_iterate/1
```
0.3.462
```
mmaps_iterate/1
```
0.3.499
```
oconsult/1
```
0.3.661
```
static_prolog_flag/2
```

0.3.673 Predicate:

synchronize/1

INFO: wraps Goal in arg 1 for serialized execution

Calls:

0.3.675
```
synchronize_on/2
```

Is called from:

0.3.527
```
println/1
```

0.3.674 Predicate:

synchronize/2

INFO: wraps Goal for serialized execution and returns true or fail

Calls:

0.3.676
```
synchronize_on/3
```

Is called from:

0.3.297
```
free_thread_guard/1
```
0.3.316
```
get_critical/2
```
0.3.483
```
new_thread_guard/1
```
0.3.543
```
put_critical/2
```

0.3.675 Predicate:

synchronize_on/2

INFO: wraps Goal for sync on given mutex for serialized execution

Calls:

0.3.338
```
has_threads/0
```
0.3.676
```
synchronize_on/3
```

Is called from:

0.3.676 Predicate:

synchronize_on/3

INFO: wraps Goal for sync on given mutex for serialized execution and returns true or fail

Calls:

0.3.29
```
(=)/2
```
0.3.412
```
lock_thread_guard/1
```
```
unlock_thread_guard/1
```

Is called from:

0.3.316
```
get_critical/2
```
0.3.543
```
put_critical/2
```
0.3.674
```
synchronize/2
```
0.3.675
```
synchronize_on/2
```

0.3.677 Predicate:

system/1

INFO: passes a command to the OS

Calls:

0.3.678
```
system/2
```

Is called from:

0.3.236
```
dir/0
```
0.3.250
```
edit/2
```
0.3.415
```
ls/0
```
0.3.545
```
pwd/0
```
0.3.627
```
shell/1
```
0.3.649
```
spawn/3
```

0.3.678 Predicate:

system/2

INFO: passes a command to the OS and gets back return code

Calls:

0.3.95
```
atomic/1
```
0.3.471
```
name/2
```

Is called from:

0.3.677
```
system/1
```

0.3.679 Predicate:

tab/1

INFO: outputs N blanks

Calls:

0.3.369
```
integer/1
```
```
user_error/2
```

0.3.680 Predicate:

take_at_most/2

INFO: (N,Goal) computes at most N answers of Goal

Calls:

0.3.29
```
(=)/2
```
```
while/2
```

Is called from:

0.3.276
```
find_at_most/4
```

0.3.681 Predicate:

tan/2

INFO: float function

0.3.682 Predicate:

tell/1

INFO: focuses output on a file

Calls:

```
user_error/2
```

Is called from:

0.3.211
```
db_save/2
```
0.3.353
```
hash_save/2
```
0.3.421
```
make_compileable/2
```
0.3.649
```
spawn/3
```

0.3.683 Predicate:

tell_at/1

INFO: moves output file pointer to a given offset (in bytes)

Calls:

```
user_error/2
```

0.3.684 Predicate:

tell_at_end/1

INFO: focuses output on file opened in append mode

Calls:

```
user_error/2
```

0.3.685 Predicate:

telling/1

INFO: gets file name opened and set by tell/1

Is called from:

0.3.421
```
make_compileable/2
```

0.3.686 Predicate:

telling_at/1

INFO: retrieves output file position (in bytes)

0.3.687 Predicate:

term_append/3

INFO: efficiently concatenates 2 terms

EXAMPLE(S):

?-term_append(f(a,b),g(c,d),_A).
_A = f(a,b,c,d);

no

Is called from:

0.3.121
```
call/2
```
0.3.122
```
call/3
```
0.3.123
```
call/4
```
0.3.124
```
call/5
```
0.3.125
```
call/6
```
0.3.126
```
call/7
```
0.3.646
```
solutions/2
```

0.3.688 Predicate:

term_chars/2

INFO: (Term,Chars): converts between a term and its list of char code representation

EXAMPLE(S):

?-term_chars(f(a,b),_A).
_A = [102,40,97,44,98,41];

no

?-term_chars(_A,[102,40,97,44,98,41]).
_A = f(a,b);

no

Calls:

0.3.689
```
term_codes/2
```

Is called from:

0.3.714
```
to_string/2
```

0.3.689 Predicate:

term_codes/2

INFO: (Term,Chars): converts between a term and its list of char code representation

EXAMPLE(S):

?-term_codes(f(a,b),_A).
_A = [102,40,97,44,98,41];

no

?-term_codes(_A,[102,40,97,44,98,41]).
_A = f(a,b);

no

Calls:

0.3.487
```
nonvar/1
```

Is called from:

0.3.688
```
term_chars/2
```

0.3.690 Predicate:

term_hash/2

INFO: computes hash code on terms ground up to depth 64; fails if something is unbound or the limit is reached

EXAMPLE(S):

?-term_hash(t(a,b),_A).
_A = 236945626;

no

?-term_hash(t(a,c),_A).
_A = 236945625;

no

Calls:

0.3.221
```
deep_hash/4
```

0.3.691 Predicate:

term_of/2

INFO: reads a Prolog file to a set of terms - on backtracking

Calls:

Is called from:

0.3.144
```
clause_of/2
```
0.3.347
```
hash_load/1
```
0.3.691
```
term_of/2
```

0.3.692 Predicate:

term_store_op/4

INFO: API for external term storage

Is called from:

0.3.693 Predicate:

textedit/0

INFO: calls texedit editor on last compiled file

0.3.694 Predicate:

the/1

INFO: defined as the(G):-the(G,G)

Calls:

0.3.695
```
the/2
```

0.3.695 Predicate:

the/2

INFO: defined as the(X,G):-the(X,G,the(X))

Calls:

0.3.696
```
the/3
```

Is called from:

0.3.694
```
the/1
```

0.3.696 Predicate:

the/3

INFO: the(X,G,R) first answer R=the(X) or R=no, without binding G

Calls:

0.3.29
```
(=)/2
```
0.3.168
```
copy_term/2
```

Is called from:

0.3.695
```
the/2
```

0.3.697 Predicate:

this_db/1

INFO: same as current_db, returns the current database

Calls:

0.3.177
```
current_db/1
```

0.3.698 Predicate:

this_engine/1

INFO: gets a handle to the current engine

Calls:

0.3.179
```
current_engine_addr/1
```

Is called from:

0.3.298
```
from_engine/1
```

0.3.699 Predicate:

thread_cancel/1

INFO: terminates (cancels) thread given in arg 1

0.3.700 Predicate:

thread_exit/0

INFO: exits a thread

Calls:

0.3.701
```
thread_exit/1
```

0.3.701 Predicate:

thread_exit/1

INFO: exits a thread

Is called from:

0.3.700
```
thread_exit/0
```

0.3.702 Predicate:

thread_join/1

INFO: joins thread

0.3.703 Predicate:

thread_notify/1

INFO: notifies a thread waiting on guard with thread_wait

0.3.704 Predicate:

thread_notify_all/1

INFO: notifies all threads waiting on guard with thread_wait

0.3.705 Predicate:

thread_resume/1

INFO: resumes execution of suspended thread

Is called from:

0.3.409
```
local_out/1
```

0.3.706 Predicate:

thread_suspend/1

INFO: suspends execution of thread

Is called from:

0.3.408
```
local_in/1
```
0.3.411
```
local_when/1
```

0.3.707 Predicate:

thread_timed_wait/2

INFO: waits on first arg Guard second arg msec or until notified

Is called from:

0.3.708
```
thread_wait/1
```
```
try_unlock_thread_guard/2
```

0.3.708 Predicate:

thread_wait/1

INFO: waits on guard until notified by thread_notify

Calls:

0.3.229
```
default_timeout/1
```
0.3.707
```
thread_timed_wait/2
```

0.3.709 Predicate:

throw/1

INFO: ISO Prolog exception operator: throws a term to be caught by a matching catch

0.3.710 Predicate:

timed_call/4

INFO: (Answer,Goal,Timeout,Result) - calls and possibly stops Goal after Timout secs

Calls:

0.3.711 Predicate:

to_engine/2

INFO: (E,T) sends to engine E a term T, and fails if E has an empty message box

Calls:

0.3.98
```
bb_def/3
```

0.3.712 Predicate:

to_lower_char/2

INFO: (Upper,Lower): converts a char to lower case

Calls:

0.3.29
```
(=)/2
```
0.3.32
```
(=<)/2
```
0.3.36
```
(>=)/2
```
0.3.372
```
(is)/2
```

Is called from:

0.3.713
```
to_lower_chars/2
```

0.3.713 Predicate:

to_lower_chars/2

INFO: converts a list of chars to lower case

Calls:

0.3.712
```
to_lower_char/2
```
0.3.713
```
to_lower_chars/2
```

Is called from:

0.3.713
```
to_lower_chars/2
```

0.3.714 Predicate:

to_string/2

INFO: converts a term to a string constant (in paricular, converts numbers to strings)

EXAMPLE(S):

?-to_string(13,_A).
_A = 13;

no

?-to_string(3.14,_A).
_A = 3.14;

no

?-to_string(f(_A,_A),_B).
_A = _x149232;
_B = f(_x149232,_x149232);

no

Calls:

0.3.471
```
name/2
```
0.3.495
```
number/1
```
0.3.688
```
term_chars/2
```

0.3.715 Predicate:

to_tokens/2

INFO: to_tokens(Codes,PrologTokens)

Calls:

0.3.29
```
(=)/2
```

0.3.716 Predicate:

to_upper_char/2

INFO: (Lower,Upper): converts a char to upper case

Calls:

0.3.29
```
(=)/2
```
0.3.32
```
(=<)/2
```
0.3.36
```
(>=)/2
```
0.3.372
```
(is)/2
```

Is called from:

0.3.717
```
to_upper_chars/2
```

0.3.717 Predicate:

to_upper_chars/2

INFO: converts a list of chars to upper case

Calls:

0.3.716
```
to_upper_char/2
```
0.3.717
```
to_upper_chars/2
```

Is called from:

0.3.717
```
to_upper_chars/2
```

0.3.718 Predicate:

to_word_codes/2

INFO: to_word_codes(Codes,ListOfWordCodes)

Calls:

0.3.29
```
(=)/2
```

Is called from:

0.3.719
```
to_words/2
```

0.3.719 Predicate:

to_words/2

INFO: to_words(Codes,NaturalLanguageWords

Calls:

0.3.258
```
errmes/2
```
0.3.718
```
to_word_codes/2
```
```
var/1
```

Is called from:

0.3.161
```
codes_words/2
```

0.3.720 Predicate:

token_of/2

INFO: reads a Prolog file to a set of tokens - on backtracking

Calls:

0.3.161
```
codes_words/2
```
0.3.394
```
line_of/2
```
0.3.442
```
member/2
```

Is called from:

0.3.721
```
tokens_of/2
```

0.3.721 Predicate:

tokens_of/2

INFO: reads a Prolog file to a slist of tokens

Calls:

0.3.720
```
token_of/2
```

0.3.722 Predicate:

told/0

INFO: closes file opened by tell/1

Is called from:

0.3.211
```
db_save/2
```
0.3.353
```
hash_save/2
```
0.3.421
```
make_compileable/2
```
0.3.649
```
spawn/3
```

0.3.723 Predicate:

topcall/1

INFO: calls arg 1 as if it were entered by the user at Prolog prompt

Calls:

0.3.447
```
metacall/1
```

Is called from:

0.3.114
```
bg/7
```
0.3.212
```
dcg_call/4
```
0.3.213
```
dcg_call/5
```

0.3.724 Predicate:

toplevel/0

INFO: interactive toplevel Prolog loop

Calls:

0.3.263
```
fail/0
```
0.3.574
```
repeat/0
```
```
topstep/1
```

0.3.725 Predicate:

topstep/1

INFO: interactive toplevel Prolog step

Calls:

```
ttyprin/1
```
```
ttyprint/1
```

Is called from:

```
toplevel/0
```

0.3.726 Predicate:

trace/0

INFO: trace all predicates when interpreted

Calls:

0.3.650
```
(spy)/1
```

0.3.727 Predicate:

trace/1

INFO: traces execution of a goal

0.3.728 Predicate:

trim_term/4

INFO: trim_term(D,Filler,T,NewT) replaces subterms of T deeper than D with Filler

Calls:

0.3.29
```
(=)/2
```
0.3.30
```
(=..)/2
```
0.3.95
```
atomic/1
```
0.3.281
```
float/1
```
0.3.372
```
(is)/2
```
```
var/1
```

0.3.729 Predicate:

truncate/2

INFO: float to int function

EXAMPLE(S):

?-truncate(1.51,_A).
_A = 1;

no

Calls:

0.3.370
```
integer/2
```

0.3.730 Predicate:

try_unlock_thread_guard/1

INFO: try to unlock a thread guard

Calls:

```
try_unlock_thread_guard/2
```

0.3.731 Predicate:

try_unlock_thread_guard/2

INFO: try to unlock a thread guard for a specified timeout

Calls:

0.3.707
```
thread_timed_wait/2
```
```
unlock_thread_guard/1
```

Is called from:

```
try_unlock_thread_guard/1
```

0.3.732 Predicate:

tstest/3

INFO: (K,V,R): performs various tests with external terms

Calls:

0.3.692
```
term_store_op/4
```

0.3.733 Predicate:

tsync_op/3

INFO: same as thread_operation(Op, MutexOrParam, ActionOrValue) various thread synchronization operations

0.3.734 Predicate:

ttyprin/1

INFO: writes to terminal

Is called from:

```
topstep/1
```

0.3.735 Predicate:

ttyprint/1

INFO: writes to terminal with a new line

Is called from:

0.3.342
```
hash_compile/0
```
0.3.554
```
quietmes/2
```
0.3.650
```
(spy)/1
```
```
topstep/1
```

0.3.736 Predicate:

unix/1

INFO: executes various Unix commands

Calls:

0.3.258
```
errmes/2
```
0.3.512
```
pclose/1
```
0.3.513
```
pcollect/2
```
0.3.520
```
popen/3
```
```
unix_access/2
```
```
unix_argc/1
```
```
unix_argv/1
```
```
unix_argv/2
```
```
unix_cat/1
```
```
unix_cd/1
```
```
unix_fork/1
```
```
unix_getenv/2
```
```
unix_kill/2
```
```
unix_pid/1
```

0.3.737 Predicate:

unix_access/2

INFO: checks if arg1 (a path+file) is accessible in arg 2 (integer) mode

Is called from:

```
unix/1
```

0.3.738 Predicate:

unix_argc/1

INFO: gets cmd line arg counter

EXAMPLE(S):

?-unix_argc(_A).
_A = 6;

no

Is called from:

```
unix/1
```
```
unix_argv/1
```

0.3.739 Predicate:

unix_argv/1

INFO: gets the list of cmd line args from 1 to argc

EXAMPLE(S):

?-unix_argv(_A).
_A = [-h40000,-s2000,-t2000,-b40000,preds.pro];

no

Calls:

0.3.289
```
for/3
```
0.3.372
```
(is)/2
```
```
unix_argc/1
```
```
unix_argv/2
```

Is called from:

```
unix/1
```

0.3.740 Predicate:

unix_argv/2

INFO: gets a cmd line arg from 0 to argc

EXAMPLE(S):

?-unix_argv(0,_A).
_A = c:\bin\bp.exe;

no

Is called from:

```
unix/1
```
```
unix_argv/1
```

0.3.741 Predicate:

unix_cat/1

INFO: prints a file to user terminal

Calls:

0.3.31
```
(=:=)/2
```
0.3.267
```
fclose/1
```
0.3.270
```
fgetc/2
```
0.3.288
```
fopen/3
```
0.3.289
```
for/3
```
0.3.299
```
fsize/2
```
0.3.541
```
put_code/1
```

Is called from:

```
unix/1
```

0.3.742 Predicate:

unix_cd/1

INFO: changes local dir to arg 1

Is called from:

0.3.135
```
cd/1
```
```
unix/1
```

0.3.743 Predicate:

unix_fork/1

INFO: starts child process with Unix fork

Is called from:

```
unix/1
```

0.3.744 Predicate:

unix_getenv/2

INFO: gets an environment variable

Is called from:

0.3.235
```
detect_user/1
```
```
unix/1
```

0.3.745 Predicate:

unix_kill/2

INFO: sends signal arg 1 to process with pid arg 2

Is called from:

```
unix/1
```

0.3.746 Predicate:

unix_pid/1

INFO: returns process id of current process

Is called from:

```
unix/1
```

0.3.747 Predicate:

unlock_thread_guard/1

INFO: unlocks thread guard

Is called from:

0.3.253
```
end_critical/0
```
0.3.676
```
synchronize_on/3
```
```
try_unlock_thread_guard/2
```

0.3.748 Predicate:

untrail_to/1

INFO: unwinds the trail up to a choice point

Is called from:

0.3.11
```
$process_catch/3
```

0.3.749 Predicate:

update_current_term/2

INFO: (Iterator,NewTerm): replaces current term of an iterator

Calls:

0.3.692
```
term_store_op/4
```

0.3.750 Predicate:

user_error/2

INFO: writes basic error message and fail

Is called from:

0.3.751 Predicate:

var/1

INFO: true if currently an unbound variable

Is called from:

0.3.752 Predicate:

variant_of/2

INFO: checks if args are the same up to a renaming of vars

Calls:

0.3.668
```
subsumes_chk/2
```

0.3.753 Predicate:

vars_of/2

INFO: (Term,Vars): lists free vars of a term

EXAMPLE(S):

?-vars_of(f(_A,t(_A,_B,_C),_C),_D).
_A = _x149043;
_B = _x149048;
_C = _x149045;
_D = [_x149043,_x149048,_x149045];

no

0.3.754 Predicate:

vget/2

INFO: gets a VSHARE declared C data object in a term like int(N),F/N or var(V)

Calls:

0.3.75
```
array_get/3
```

0.3.755 Predicate:

vget0/2

INFO: gets the type and value of a C word

Calls:

0.3.76
```
array_get0/3
```

Is called from:

0.3.756 Predicate:

vget_int/2

INFO: gets a VSHARE defined int C variable to a 28 bit int

Calls:

```
vget_int0/2
```
```
vread/2
```

Is called from:

0.3.321
```
get_lineno/1
```

0.3.757 Predicate:

vget_int0/2

INFO: gets from arg 1 - an int* C variable - to a 28 bit int

Is called from:

```
vget_int/2
```

0.3.758 Predicate:

vi/0

INFO: calls vi editor on last compiled file

0.3.759 Predicate:

vread/2

INFO: reads HDEFI or HDEFS defined C constant into a Prolog integer or atom

Is called from:

0.3.234
```
detect_ip_addr/1
```
0.3.338
```
has_threads/0
```
0.3.360
```
hostname/1
```
0.3.661
```
static_prolog_flag/2
```
```
vget_int/2
```
```
vset_int/2
```

0.3.760 Predicate:

vset/2

INFO: sets a VSHARE declared C data object in a term like int(N),F/N or var(V)

Calls:

0.3.77
```
array_set/3
```

Is called from:

0.3.761 Predicate:

vset_int/2

INFO: sets a VSHARE defined int C variable to a 28 bit int

Calls:

```
vread/2
```
```
vset_int0/2
```

Is called from:

0.3.615
```
set_lineno/1
```

0.3.762 Predicate:

vset_int0/2

INFO: sets arg 1 - an int* C variable - to a 28 bit int

Is called from:

```
vset_int/2
```

0.3.763 Predicate:

wait_for/2

INFO: wait_for(Term,Constraint) waits for a term on the blackboard, such that Constraint holds

0.3.764 Predicate:

while/2

INFO: (Cond,Goal): findall variant which explores alternative answers for Goal, while Cond holds,

Calls:

0.3.263
```
fail/0
```

Is called from:

0.3.278
```
find_while/4
```
0.3.680
```
take_at_most/2
```

0.3.765 Predicate:

words_code/2

INFO: generates a code ready to print, one a t a time with put/1 from a list of words

Calls:

0.3.94
```
atom_codes/2
```
0.3.442
```
member/2
```

Is called from:

0.3.161
```
codes_words/2
```

0.3.766 Predicate:

write/1

INFO: writes to current output stream set with tell/1, defaults to <user> - Prolog's stdio

Is called from:

0.3.767 Predicate:

write_chars/1

INFO: writes a list of ascii codes

EXAMPLE(S):

?-write_chars([104,101,108,108,111]).
hello
yes

Calls:

0.3.541
```
put_code/1
```
```
write_chars/1
```

Is called from:

```
write_chars/1
```

0.3.768 Predicate:

write_term_to_chars/2

INFO: writes a term to a list of char codes

EXAMPLE(S):

?-write_term_to_chars(f(_A,_A,_B,_B),_C).
_A = _x149372;
_B = _x149374;
_C = [102,40,95,120,49,52,57,51,55,50,44,95,120,49,52,57,51,55,50,44,95,120,49,52,57,51,55,52,44,95,120,49,52,57,51,55,52,41];

no

Calls:

```
write_term_to_chars/3
```

0.3.769 Predicate:

write_term_to_chars/3

INFO: writes a term with variables names to a list of char codes

EXAMPLE(S):

?-write_term_to_chars(f(_A,_B),[X = _A,Y = _B],_C).
_A = _x149549;
_B = _x149550;
_C = [102,40,39,88,39,44,39,89,39,41];

no

Calls:

0.3.258
```
errmes/2
```
0.3.487
```
nonvar/1
```

Is called from:

0.3.671
```
swrite/3
```
```
write_term_to_chars/2
```

0.3.770 Predicate:

write_words/1

INFO: write list of words to a space separated line

Calls:

0.3.258
```
errmes/2
```
0.3.487
```
nonvar/1
```

0.3.771 Predicate:

writeq/1

INFO: variant of write which quotes if needed, so that term is read back correctly/1

0.3.772 Predicate:

x_abolish/1

INFO: db hook, deletes all matching clauses and unmarks the clause as dynamic

Calls:

0.3.300
```
functor/3
```
0.3.425
```
map_clear/1
```
0.3.427
```
map_get/3
```
0.3.431
```
map_rm/2
```
```
x_retractall/1
```

Is called from:

0.3.51
```
abolish/1
```

0.3.773 Predicate:

x_asserta/1

INFO: db hook, adds a clause to be first in a predicate definition

Calls:

0.3.2
```
(##)/1
```

Is called from:

0.3.87
```
asserta/1
```

0.3.774 Predicate:

x_assertz/1

INFO: db hook, adds a clause to be last in a predicate definition

Calls:

0.3.2
```
(##)/1
```

Is called from:

0.3.89
```
assertz/1
```

0.3.775 Predicate:

x_clause/2

INFO: db hook, clause(H,B) generates a clause with head matching H and body B

Is called from:

0.3.143
```
clause/2
```
```
x_listing/1
```

0.3.776 Predicate:

x_consult/1

INFO: db hook, consults with possible duplication of clauses

Calls:

0.3.294
```
foreach/2
```

Is called from:

0.3.166
```
consult/1
```

0.3.777 Predicate:

x_dynamic/1

INFO: db hook, states that a predicate can be updated

Calls:

0.3.300
```
functor/3
```

Is called from:

0.3.245
```
(dynamic)/1
```

0.3.778 Predicate:

x_gc/0

INFO: db hook, recovers memory used by the database

Calls:

0.3.128
```
call_ifdef/2
```
0.3.176
```
ctime/1
```
0.3.263
```
fail/0
```
0.3.372
```
(is)/2
```
0.3.552
```
quiet/1
```

0.3.779 Predicate:

x_is_dynamic/1

INFO: db hook, checks if dynamic

Is called from:

0.3.378
```
is_dynamic/1
```

0.3.780 Predicate:

x_listing/0

INFO: db hook, lists given predicate if in current database

Calls:

0.3.263
```
fail/0
```
0.3.345
```
hash_get/2
```
0.3.527
```
println/1
```
```
x_listing/1
```

Is called from:

0.3.398
```
listing/0
```

0.3.781 Predicate:

x_listing/1

INFO: lists predicate F of arity N if in current database

Calls:

0.3.263
```
fail/0
```
0.3.300
```
functor/3
```
0.3.523
```
pp_clause/1
```
```
x_clause/2
```

Is called from:

0.3.399
```
listing/1
```
```
x_listing/0
```

0.3.782 Predicate:

x_profile/0

INFO: db hook, shows the result of profiling compiled predicates

Calls:

0.3.263
```
fail/0
```
0.3.372
```
(is)/2
```
0.3.427
```
map_get/3
```
0.3.527
```
println/1
```
0.3.552
```
quiet/1
```

0.3.783 Predicate:

x_retract/1

INFO: db hook, backtracks over deleting matching clauses

Is called from:

0.3.576
```
retract/1
```

0.3.784 Predicate:

x_retractall/1

INFO: db hook, deletes all matching clauses

Calls:

0.3.2
```
(##)/1
```

Is called from:

0.3.578
```
retractall/1
```
```
x_abolish/1
```

0.3.785 Predicate:

x_trace/1

INFO: traces and profiles predicates, in combination with x_profile

Calls:

```
x_traced_call/1
```

0.3.786 Predicate:

x_trace/2

INFO: db hook, internal

Calls:

0.3.29
```
(=)/2
```
0.3.376
```
is_compiled/1
```

0.3.787 Predicate:

x_traced_call/1

INFO: traces calls if compile-time x_trace triggers it

Calls:

0.3.29
```
(=)/2
```
0.3.176
```
ctime/1
```
0.3.372
```
(is)/2
```
0.3.427
```
map_get/3
```
0.3.430
```
map_put/3
```
0.3.552
```
quiet/1
```

Is called from:

```
x_trace/1
```

0.3.788 Predicate:

xload/1

INFO: xload(File) loads clauses to the current database, from a binary File

Calls:

0.3.128
```
call_ifdef/2
```
0.3.166
```
consult/1
```
0.3.472
```
namecat/4
```
0.3.552
```
quiet/1
```

0.3.789 Predicate:

xsave/1

INFO: xsave(File) saves all the clauses of the current database to a binary File

Calls:

0.3.210
```
db_save/1
```
0.3.472
```
namecat/4
```
0.3.552
```
quiet/1
```

0.3.790 Predicate:

~ /1

INFO: short hand for reconsult

Calls:

0.3.160
```
co/1
```

Related BinProlog documentation is available at: [,,,].

References

[]: P. Tarau. BinProlog 7.0 Professional Edition: Predicate Cross-Reference Guide . Technical report, BinNet Corp., 1998. Available from http://www.binnetcorp.com/BinProlog.
[]: P. Tarau. BinProlog 9.x Professional Edition: Advanced BinProlog Programming and Extensions Guide. Technical report, BinNet Corp., 2002. Available from http://www.binnetcorp.com/BinProlog.
[]: P. Tarau. BinProlog 9.x Professional Edition: BinProlog Interfaces Guide. Technical report, BinNet Corp., 2002. Available from http://www.binnetcorp.com/BinProlog.
[]: P. Tarau. BinProlog 9.x Professional Edition: User Guide. Technical report, BinNet Corp., 2002. Available from http://www.binnetcorp.com/BinProlog.

File translated from T_EX by T_THgold, version 2.24.
On 17 Oct 2006, 11:20.

BinProlog Professional Edition Predicate Cross-Reference Guide

Written by BinProlog Itself under the kind regards of: Paul Tarau BinNet Corp. WWW: http://www.binnetcorp.com

0.1 Undefined predicates, possibly intended to be imported

0.2 Unused predicates, possibly intended to be exported

0.3 Cross reference and info on predicates

0.3.1 Predicate:

0.3.2 Predicate:

0.3.3 Predicate:

0.3.4 Predicate:

0.3.5 Predicate:

0.3.6 Predicate:

0.3.7 Predicate:

0.3.8 Predicate:

0.3.9 Predicate:

0.3.10 Predicate:

0.3.11 Predicate:

0.3.12 Predicate:

0.3.13 Predicate:

0.3.14 Predicate:

0.3.15 Predicate:

0.3.16 Predicate:

0.3.17 Predicate:

0.3.18 Predicate:

0.3.19 Predicate:

0.3.20 Predicate:

0.3.21 Predicate:

0.3.22 Predicate:

0.3.23 Predicate:

0.3.24 Predicate:

0.3.25 Predicate:

0.3.26 Predicate:

0.3.27 Predicate:

0.3.28 Predicate:

0.3.29 Predicate:

0.3.30 Predicate:

0.3.31 Predicate:

0.3.32 Predicate:

0.3.33 Predicate:

0.3.34 Predicate:

0.3.35 Predicate:

0.3.36 Predicate:

0.3.37 Predicate:

0.3.38 Predicate:

0.3.39 Predicate:

0.3.40 Predicate:

0.3.41 Predicate:

0.3.42 Predicate:

0.3.43 Predicate:

0.3.44 Predicate:

0.3.45 Predicate:

0.3.46 Predicate:

0.3.47 Predicate:

0.3.48 Predicate:

0.3.49 Predicate:

0.3.50 Predicate:

0.3.51 Predicate:

0.3.52 Predicate:

0.3.53 Predicate:

0.3.54 Predicate:

0.3.55 Predicate:

0.3.56 Predicate:

0.3.57 Predicate:

0.3.58 Predicate:

0.3.59 Predicate:

0.3.60 Predicate:

0.3.61 Predicate:

0.3.62 Predicate:

0.3.63 Predicate:

0.3.64 Predicate:

0.3.65 Predicate:

0.3.66 Predicate:

0.3.67 Predicate:

0.3.68 Predicate:

0.3.69 Predicate:

0.3.70 Predicate:

0.3.71 Predicate:

0.3.72 Predicate:

0.3.73 Predicate:

0.3.74 Predicate:

0.3.75 Predicate:

BinProlog Professional Edition
Predicate Cross-Reference Guide

Written by BinProlog Itself
under the kind regards of:

Paul Tarau
BinNet Corp.
WWW: http://www.binnetcorp.com