next up previous
Up: 23 Appendix Previous: 23.3 Unused predicatespossibly

23.4 Cross reference and info on predicates

 

23.4.1 Predicate:

 

(#)/1

INFO: short hand for dcg_connect/1

Calls:

23.4.2 Predicate:

 

(#)/3

INFO: bitwise XOR

EXAMPLE(S):

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

no

23.4.3 Predicate:

 

(##)/1

INFO: executes arg 1 at compile time

Is called from:

23.4.4 Predicate:

 

(#<)/1

INFO: short hand for dcg_def/1

Calls:

23.4.5 Predicate:

 

(#>)/1

INFO: short hand for dcg_val/1

Calls:

23.4.6 Predicate:

 

* /3

INFO: multiply

EXAMPLE(S):

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

no

23.4.7 Predicate:

 

** /3

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

EXAMPLE(S):

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

no

23.4.8 Predicate:

 

(+)/2

INFO: returns 0 + arg 1

Calls:

23.4.9 Predicate:

 

(+)/3

INFO: add

EXAMPLE(S):

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

no

Is called from:

23.4.10 Predicate:

 

(++)/3

INFO: concatenates N lists, usable in is/2

23.4.11 Predicate:

 

(,)/2

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

23.4.12 Predicate:

 

(-)/2

INFO: returns 0 - arg 1

Calls:

23.4.13 Predicate:

 

(-)/3

INFO: subtract

EXAMPLE(S):

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

no

Is called from:

23.4.14 Predicate:

 

(-:)/2

INFO: affine linear implication - assertz ordering

Calls:

23.4.15 Predicate:

 

(-::)/2

INFO: affine linear implication - asserta ordering

Calls:

23.4.16 Predicate:

 

(->)/2

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

23.4.17 Predicate:

 

/ /3

INFO: division

EXAMPLE(S):

?-/(10,3,A).
A = 3.33333;

no

23.4.18 Predicate:

 

// /3

INFO: integer division

EXAMPLE(S):

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

no

23.4.19 Predicate:

 

(/\)/3

INFO: bitwise AND

EXAMPLE(S):

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

no

23.4.20 Predicate:

 

(::-)/2

INFO: variant of :- for hand transformed binary clauses

23.4.21 Predicate:

 

(;)/2

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

23.4.22 Predicate:

 

(<)/2

INFO: numeric comparison

Calls:

Is called from:

23.4.23 Predicate:

 

<< /3

INFO: left shifts arg 1 by arg 2 bits

EXAMPLE(S):

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

no

23.4.24 Predicate:

 

(=)/2

INFO: true if args unify

EXAMPLE(S):

?-f(A,s(a)) = f(B,B).
A = s(a);
B = s(a);

no

Is called from:

23.4.25 Predicate:

 

(=..)/2

INFO: bidirectional: from a term from/to 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:

Is called from:

23.4.26 Predicate:

 

(=:)/2

INFO: linear implication - assertz ordering

Calls:

23.4.27 Predicate:

 

(=::)/2

INFO: linear implication - asserta ordering

Calls:

23.4.28 Predicate:

 

(=:=)/2

INFO: numeric comparison

Calls:

Is called from:

23.4.29 Predicate:

 

(=<)/2

INFO: numeric comparison

Calls:

Is called from:

23.4.30 Predicate:

 

(==)/2

INFO: true if args are identical terms

Is called from:

23.4.31 Predicate:

 

(=>)/2

INFO: intuitionistic implication - assertz ordering

Calls:

23.4.32 Predicate:

 

(=>>)/2

INFO: intuitionistic implication - stack (asserta) ordering

Calls:

Is called from:

23.4.33 Predicate:

 

(=\=)/2

INFO: numeric comparison

Calls:

23.4.34 Predicate:

 

(>)/2

INFO: numeric comparison

Calls:

Is called from:

23.4.35 Predicate:

 

(>=)/2

INFO: numeric comparison

Calls:

Is called from:

23.4.36 Predicate:

 

>> /3

INFO: right shifts arg 1 by arg 2 bits

EXAMPLE(S):

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

no

23.4.37 Predicate:

 

(@<)/2

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

23.4.38 Predicate:

 

(@=<)/2

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

23.4.39 Predicate:

 

(@>)/2

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

23.4.40 Predicate:

 

(@>=)/2

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

23.4.41 Predicate:

 

C/3

INFO: DCG connect predicate

23.4.42 Predicate:

 

(\)/2

INFO: complement

Calls:

23.4.43 Predicate:

 

(\)/3

INFO: bitwise complement

EXAMPLE(S):

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

no

Is called from:

23.4.44 Predicate:

 

(\+)/1

INFO: succeeds if its argument is executed and fails

Calls:

23.4.45 Predicate:

 

(\/)/3

INFO: bitwise OR

EXAMPLE(S):

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

no

23.4.46 Predicate:

 

(\=)/2

INFO: true if args fail to unify

Calls:

23.4.47 Predicate:

 

(\==)/2

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

Is called from:

23.4.48 Predicate:

 

^ /2

INFO: calls arg 2 and binds arg 1

23.4.49 Predicate:

 

abolish/1

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

Calls:

23.4.50 Predicate:

 

abort/0

INFO: returns to toplevel

Is called from:

23.4.51 Predicate:

 

abs/2

INFO: int function

Calls:

23.4.52 Predicate:

 

acos/2

INFO: float function

23.4.53 Predicate:

 

addq/3

INFO: adds to end of persistent queeue

EXAMPLE(S):

?-addq(key1,key2,33).

yes

Calls:

Is called from:

23.4.54 Predicate:

 

all/2

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

Calls:

23.4.55 Predicate:

 

all/3

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

Calls:

Is called from:

23.4.56 Predicate:

 

all_answers/3

INFO: cleaner findall/3

23.4.57 Predicate:

 

all_but_at_least/4

INFO: findall variant

Calls:

23.4.58 Predicate:

 

all_servants/0

INFO: lists all servants on current server

Calls:

Is called from:

23.4.59 Predicate:

 

all_servants/1

INFO: returns all servants on current server

Calls:

Is called from:

23.4.60 Predicate:

 

all_servers/0

INFO: prints the list of servers registered on master server

Calls:

Is called from:

23.4.61 Predicate:

 

all_servers/1

INFO: returns list of servers registered on master server

Calls:

Is called from:

23.4.62 Predicate:

 

all_servers/2

INFO: returns servers registered on master matching arg 1

Calls:

Is called from:

23.4.63 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:

Is called from:

23.4.64 Predicate:

 

appendN/2

INFO: concatenates N lists

23.4.65 Predicate:

 

append_conj/3

INFO: concatenates 2 conjunctions

23.4.66 Predicate:

 

append_disj/3

INFO: concatenates 2 disjunctions

23.4.67 Predicate:

 

apropos/1

INFO: prints names of predicates defined in the system

EXAMPLE(S):

?-apropos(garbage).
garbage_collect/0-built_in

yes

Calls:

Is called from:

23.4.68 Predicate:

 

apropos/2

INFO: returns names of predicates defined in the system

EXAMPLE(S):

?-apropos(retract,A).
A = retract/1-built_in;

A = retract1/1-built_in;

A = retractall/1-built_in;

A = db_retract/2-built_in;

A = db_retract1/2-built_in;

A = db_retractall/2-built_in;

no

Calls:

Is called from:

23.4.69 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:

23.4.70 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:

23.4.71 Predicate:

 

arith_dif/2

INFO: arithemetic comparison

Is called from:

23.4.72 Predicate:

 

arith_eq/2

INFO: arithemetic comparison

Is called from:

23.4.73 Predicate:

 

array_get/3

INFO: gets and dereferences array element

Is called from:

23.4.74 Predicate:

 

array_get0/3

INFO: gets  array element

23.4.75 Predicate:

 

array_set/3

INFO: sets array element

23.4.76 Predicate:

 

asin/2

INFO: float function

23.4.77 Predicate:

 

ask_a_server/2

INFO: sends a query and gets an answer from a Linda server

Calls:

Is called from:

23.4.78 Predicate:

 

ask_a_server/5

INFO: args: Interactor,Host,Port,Question,Answer

Calls:

Is called from:

23.4.79 Predicate:

 

ask_all_servers/2

INFO: broadcast query to all server given by master

Calls:

Is called from:

23.4.80 Predicate:

 

ask_engine/2

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

23.4.81 Predicate:

 

ask_master_server/2

INFO: asks a question the master server

Calls:

Is called from:

23.4.82 Predicate:

 

ask_remote_engine/2

INFO: askes remote engine, args: Engine,Answer

Calls:

Is called from:

23.4.83 Predicate:

 

ask_servant/3

INFO: sends query and waits until servant answers

Calls:

23.4.84 Predicate:

 

ask_server/2

INFO: sends a query and gets an answer from server(s)

Calls:

Is called from:

23.4.85 Predicate:

 

asm/0

INFO: shows readable wam assembler for Prolog code entered at terminal

23.4.86 Predicate:

 

asm/1

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

23.4.87 Predicate:

 

assert/1

INFO: adds a clause

Calls:

Is called from:

23.4.88 Predicate:

 

asserta/1

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

Calls:

23.4.89 Predicate:

 

asserted/1

INFO: runs a predicated if asserted

Calls:

Is called from:

23.4.90 Predicate:

 

assertz/1

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

Calls:

Is called from:

23.4.91 Predicate:

 

assumeai/1

INFO: backtrackable: asserta style intuitionistic assumption

23.4.92 Predicate:

 

assumeal/1

INFO: backtrackable: asserta style linear assumption

23.4.93 Predicate:

 

assumed/1

INFO: calls assumed clause with matching head

Calls:

Is called from:

23.4.94 Predicate:

 

assumed_clause/2

INFO: assumed_clause(H,B) retrieves assumed clause with matching head H and body B

Is called from:

23.4.95 Predicate:

 

assumei/1

INFO: backtrackable: assertz style intuitionistic assumption

23.4.96 Predicate:

 

assumel/1

INFO: backtrackable: assertz style linear assumption

Is called from:

23.4.97 Predicate:

 

atan/2

INFO: float function

23.4.98 Predicate:

 

atan2/3

INFO: float function

23.4.99 Predicate:

 

atom/1

INFO: true if symbol (functor of arity 0)

Calls:

Is called from:

23.4.100 Predicate:

 

atom_chars/2

INFO: converts between an atom and its list of char code representation

EXAMPLE(S):

?-atom_chars(hello,A).
A = [104,101,108,108,111];

no

?-atom_chars(A,[104,101,108,108,111]).
A = hello;

no

Calls:

23.4.101 Predicate:

 

atomic/1

INFO: true if an integer or symbolic constant

Is called from:

23.4.102 Predicate:

 

bagof/3

INFO: all solutions predicate generating bags of answers

Calls:

23.4.103 Predicate:

 

bb/0

INFO: lists (long!) content of the blackboard

23.4.104 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:

23.4.105 Predicate:

 

bb_gc/0

INFO: performs blackboard gc now

Calls:

Is called from:

23.4.106 Predicate:

 

bb_let/3

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

Calls:

Is called from:

23.4.107 Predicate:

 

bb_reset/1

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

23.4.108 Predicate:

 

bb_rm/2

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

Is called from:

23.4.109 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:

23.4.110 Predicate:

 

bb_val/3

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

Calls:

Is called from:

23.4.111 Predicate:

 

bbgc/0

INFO: enables blackboard gc

23.4.112 Predicate:

 

bbgc_status/1

INFO: shows if blackboard gc is enabled or not

Is called from:

23.4.113 Predicate:

 

boot/0

INFO: regenerates file wam.bp in BinProlog src directory

Is called from:

23.4.114 Predicate:

 

bp_info/2

INFO: keeps basic help info on BinProlog builtins

Calls:

23.4.115 Predicate:

 

bp_val/3

INFO: unifies with 2 key indexed global logical variable

23.4.116 Predicate:

 

call/1

INFO: executes (atomic!) arg 1

23.4.117 Predicate:

 

call/2

INFO: efficient call/N variant

Calls:

Is called from:

23.4.118 Predicate:

 

call/3

INFO: efficient call/N variant

Calls:

23.4.119 Predicate:

 

call/4

INFO: efficient call/N variant

Calls:

23.4.120 Predicate:

 

call/5

INFO: efficient call/N variant

Calls:

23.4.121 Predicate:

 

call/6

INFO: efficient call/N variant

Calls:

23.4.122 Predicate:

 

call/7

INFO: efficient call/N variant

Calls:

23.4.123 Predicate:

 

call_ifdef/2

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

Calls:

Is called from:

23.4.124 Predicate:

 

callable/1

INFO: checks if predicate head is defined (callable)

Calls:

Is called from:

23.4.125 Predicate:

 

catch/3

INFO: executes arg 1 and if it catches arg 2, it executes arg 3

Calls:

Is called from:

23.4.126 Predicate:

 

cd/0

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

23.4.127 Predicate:

 

cd/1

INFO: changes local dir to arg 1

Calls:

23.4.128 Predicate:

 

cdelq/4

INFO: deletes first matching element from a queue

EXAMPLE(S):

?-cdelq(key1,key2,A,B).
A = _x117266;
B = 33;

no

Calls:

Is called from:

23.4.129 Predicate:

 

ceiling/2

INFO: float to int function

Calls:

23.4.130 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

23.4.131 Predicate:

 

chat/0

INFO: sends what you type in to all BinProlog users

Calls:

23.4.132 Predicate:

 

chat/1

INFO: sends what you type in to selected BinProlog users

Calls:

23.4.133 Predicate:

 

cin/1

INFO: tries to remove a term from Linda server

Calls:

Is called from:

23.4.134 Predicate:

 

clause/2

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

Calls:

Is called from:

23.4.135 Predicate:

 

cleanup_dead_servers/1

INFO: on master: removes servers who do not answer

Calls:

23.4.136 Predicate:

 

clone_term/3

INFO: clone_term(Vs,T,CT) does copy_term(T,C) while keeping unchanged variables Vs

EXAMPLE(S):

?-clone_term([A,B],f(A,C,C,B),D).
A = _x118066;
C = _x117496;
B = _x118069;
D = f(_x118066,_x118067,_x118067,_x118069);

no

Calls:

23.4.137 Predicate:

 

close/1

INFO: closes a stream opened by open/3

Calls:

23.4.138 Predicate:

 

close_socket/1

INFO: closes a server, service or client

Is called from:

23.4.139 Predicate:

 

cmembq/3

INFO: generates (copies of) members of a queue

EXAMPLE(S):

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

Calls:

Is called from:

23.4.140 Predicate:

 

cnl/0

INFO: new line

23.4.141 Predicate:

 

commit/0

INFO: removes all choicepoints and executes current continuation

Calls:

23.4.142 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 = _x117577;

no

23.4.143 Predicate:

 

compile/1

INFO: applies current compilation method to the file arg 1

Is called from:

23.4.144 Predicate:

 

compound/1

INFO: true if it has arity > 0

Calls:

23.4.145 Predicate:

 

consult/1

INFO: consults with possible duplication of clauses, allows later dynamic recompilation

Calls:

23.4.146 Predicate:

 

consult/2

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

Calls:

Is called from:

23.4.147 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 = _x117346;
B = _x117348;
C = f(_x117737,_x117737,_x117739,_x117739);

no

Is called from:

23.4.148 Predicate:

 

cos/2

INFO: float function

23.4.149 Predicate:

 

cout/1

INFO: adds a term to server, unless already a matching one there

Calls:

23.4.150 Predicate:

 

cpopq/3

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

EXAMPLE(S):

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

Calls:

23.4.151 Predicate:

 

create_engine/1

INFO: creates an engine as big as the current one

Calls:

Is called from:

23.4.152 Predicate:

 

create_engine/4

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

Is called from:

23.4.153 Predicate:

 

ctime/1

INFO: gets elapsed time in ms

EXAMPLE(S):

?-ctime(A).
A = 129230;

no

Calls:

Is called from:

23.4.154 Predicate:

 

current_db/1

INFO: gets the name of currently active database

Is called from:

23.4.155 Predicate:

 

current_engine/1

INFO: returns current engine handle

23.4.156 Predicate:

 

current_input/1

INFO: gets current input stream

Is called from:

23.4.157 Predicate:

 

current_module/1

INFO: gets name of current module

Calls:

Is called from:

23.4.158 Predicate:

 

current_op/3

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

Calls:

23.4.159 Predicate:

 

current_output/1

INFO: gets current output stream

23.4.160 Predicate:

 

current_predicate/1

INFO: generates/checks the head of an existing predicate

Calls:

23.4.161 Predicate:

 

current_predicate/2

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

Calls:

23.4.162 Predicate:

 

cwrite/1

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

23.4.163 Predicate:

 

db_abolish/2

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

Calls:

Is called from:

23.4.164 Predicate:

 

db_assert/2

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

Calls:

Is called from:

23.4.165 Predicate:

 

db_asserta/2

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

Calls:

Is called from:

23.4.166 Predicate:

 

db_asserted/2

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

Calls:

23.4.167 Predicate:

 

db_assertz/2

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

Calls:

Is called from:

23.4.168 Predicate:

 

db_clause/3

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

Calls:

Is called from:

23.4.169 Predicate:

 

db_clean/0

INFO: abolishes all predicates in currently active database

Calls:

23.4.170 Predicate:

 

db_clean/1

INFO: db_clean(DB) abolishes all predicates in DB

Calls:

Is called from:

23.4.171 Predicate:

 

db_head/2

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

Calls:

Is called from:

23.4.172 Predicate:

 

db_mirror/2

INFO: mirrors a file (arg 1) as a database (arg 2)

Calls:

23.4.173 Predicate:

 

db_move/2

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

Calls:

Is called from:

23.4.174 Predicate:

 

db_ratio/1

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

Calls:

23.4.175 Predicate:

 

db_retract/2

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

Calls:

Is called from:

23.4.176 Predicate:

 

db_retract1/2

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

Calls:

Is called from:

23.4.177 Predicate:

 

db_retractall/2

INFO: removes fro database given as arg 1 all matching clauses

Calls:

Is called from:

23.4.178 Predicate:

 

dcg_apply/1

INFO: applies a method like +(1) to current HAG stream

Calls:

23.4.179 Predicate:

 

dcg_connect/1

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

Is called from:

23.4.180 Predicate:

 

dcg_def/1

INFO: backtrackable: defines current Assumption Grammar stream

Is called from:

23.4.181 Predicate:

 

dcg_phrase/2

INFO: emulates DCG phrase/2 for HAGs

Calls:

23.4.182 Predicate:

 

dcg_phrase/3

INFO: emulates DCG phrase/3 for HAGs

Calls:

Is called from:

23.4.183 Predicate:

 

dcg_val/1

INFO: backtrackable: retrieves current Assumption Grammar stream

Is called from:

23.4.184 Predicate:

 

dconsult/1

INFO: reconsult/1 variant: cleans up data areas, consults, allowing dynamic recompilation

23.4.185 Predicate:

 

debugmes/1

INFO: writes message in debug mode (low quietness)

Calls:

23.4.186 Predicate:

 

default/2

INFO: default that can be overriden if assumed or asserted

EXAMPLE(S):

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

no

Calls:

Is called from:

23.4.187 Predicate:

 

default_client_action/1

INFO: returns default client-side action

Calls:

Is called from:

23.4.188 Predicate:

 

default_code/1

INFO: returns default remote code file on Linda server

Calls:

23.4.189 Predicate:

 

default_host/1

INFO: returns default host for remote Linda server

Calls:

Is called from:

23.4.190 Predicate:

 

default_login/1

INFO: returns default (nick)name for user

Calls:

Is called from:

23.4.191 Predicate:

 

default_master_server/2

INFO: returns master server (Host and Port)

Calls:

Is called from:

23.4.192 Predicate:

 

default_password/1

INFO: returns default password for user

Calls:

Is called from:

23.4.193 Predicate:

 

default_port/1

INFO: returns default port for remote Linda server

Calls:

Is called from:

23.4.194 Predicate:

 

default_proxy_server/2

INFO: returns proxy server (Host and Port)

Calls:

Is called from:

23.4.195 Predicate:

 

default_server_action/1

INFO: returns default server-side action

Calls:

23.4.196 Predicate:

 

default_server_interactor/1

INFO: returns default server-side answerer

Calls:

Is called from:

23.4.197 Predicate:

 

default_server_port/1

INFO: returns default port to work as a server on

Calls:

Is called from:

23.4.198 Predicate:

 

default_timeout/1

INFO: returns default socket wait timout

Calls:

Is called from:

23.4.199 Predicate:

 

(delphi)/1

INFO: delphi(f/3-10) declares a Delphi predicate f/3 with memoing probability 10/100

23.4.200 Predicate:

 

destroy_array/1

INFO: frees an array

23.4.201 Predicate:

 

destroy_engine/1

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

23.4.202 Predicate:

 

det_call/1

INFO: calls and detects if not deterministic

Calls:

23.4.203 Predicate:

 

detect_host/1

INFO: guesses, if possible, an IP address different form localhost

Calls:

Is called from:

23.4.204 Predicate:

 

detect_user/1

INFO: guesses the user from environment information

Calls:

23.4.205 Predicate:

 

dir/0

INFO: lists files under DOS

Calls:

23.4.206 Predicate:

 

(discontiguous)/1

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

Calls:

23.4.207 Predicate:

 

display/1

INFO: writes to terminal while ignoring operator definitions

23.4.208 Predicate:

 

drop_at_least/2

INFO: findall variant

Calls:

Is called from:

23.4.209 Predicate:

 

(dynamic)/1

INFO: states that a predicate can be updated

23.4.210 Predicate:

 

dynbbgc/0

INFO: makes blackboard dynamic with gc on

23.4.211 Predicate:

 

ed/0

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

23.4.212 Predicate:

 

edit/0

INFO: calls DOS editor edit on last compiled file

23.4.213 Predicate:

 

edit/2

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

Calls:

23.4.214 Predicate:

 

emacs/0

INFO: calls emacs editor on last compiled file

23.4.215 Predicate:

 

end_module/0

INFO: ends current module

Is called from:

23.4.216 Predicate:

 

end_module/1

INFO: ends module if current, signals erro if not

Calls:

23.4.217 Predicate:

 

errmes/2

INFO: writes error message and fails

Is called from:

23.4.218 Predicate:

 

exists_file/1

INFO: true if file exists

Calls:

Is called from:

23.4.219 Predicate:

 

exp/2

INFO: float function

23.4.220 Predicate:

 

fail/0

INFO: always fails

Is called from:

23.4.221 Predicate:

 

false/0

INFO: always fails

Calls:

23.4.222 Predicate:

 

fclose/1

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

Is called from:

23.4.223 Predicate:

 

fcompile/1

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

23.4.224 Predicate:

 

fetch_and_call/1

INFO: fetches remote code for arg 1  and calls it

Calls:

23.4.225 Predicate:

 

fetch_file/1

INFO: fetches code from remote file (arg 1) on server

Calls:

23.4.226 Predicate:

 

fetch_file/4

INFO: fetches remote code, args:RemoteF,RemoteDB,Head,LocalDB

Calls:

Is called from:

23.4.227 Predicate:

 

fetch_pred_for/1

INFO: fetches remote code for arg 1, without calling it

Is called from:

23.4.228 Predicate:

 

fetch_remote_operators/0

INFO: fetches operators in use on remote server

Calls:

23.4.229 Predicate:

 

fflush/1

INFO: fflush(IntegerStreamNo) flushes a C-stream

Is called from:

23.4.230 Predicate:

 

fget/1

INFO: downloads remote (binary) file from Linda server

Calls:

23.4.231 Predicate:

 

fget/2

INFO: copies remote (binary) file arg1 to local file arg 2

Calls:

Is called from:

23.4.232 Predicate:

 

fget_chars/4

INFO: gets from CStream, BufSize, PlacesNotFilled, Chars

23.4.233 Predicate:

 

fgetc/2

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

Is called from:

23.4.234 Predicate:

 

file2chars/2

INFO: reads a file to a list of ascii codes

Calls:

23.4.235 Predicate:

 

file2sock/2

INFO: writes to a socket, from a file

Is called from:

23.4.236 Predicate:

 

file_extension_list/1

INFO: defines default file extensions for find_file

Is called from:

23.4.237 Predicate:

 

file_search_path/1

INFO: defines search path relative to BP_PATH

Is called from:

23.4.238 Predicate:

 

file_size/2

INFO: returns the size of a file, in bytes

Calls:

23.4.239 Predicate:

 

find_at_most/4

INFO: findall variant

Calls:

Is called from:

23.4.240 Predicate:

 

find_file/2

INFO: finds a file name on search path

Calls:

Is called from:

23.4.241 Predicate:

 

find_while/4

INFO: findall variant

Calls:

23.4.242 Predicate:

 

findall/3

INFO: findall(X,G,Xs) collects copies of all answers X of G on Xs

EXAMPLE(S):

?-findall(s(A),(member(A,[1,2,3]),A > 1),B).
A = _x117552;
B = [s(2),s(3)];

no

Calls:

23.4.243 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 = _x117538;
B = [s(1),s(2),3,4];

no

Is called from:

23.4.244 Predicate:

 

findall_conj/3

INFO: same as findall/3 but giving (a,b,c) instead of [a,b,c]

Calls:

23.4.245 Predicate:

 

findall_conj/4

INFO: same as findall/4 but working with (,)/2 based sequences

Is called from:

23.4.246 Predicate:

 

findall_disj/3

INFO: same as findall/3 but working with (;)/2 based sequences

Calls:

23.4.247 Predicate:

 

findall_disj/4

INFO: same as findall/4 but working with (;)/2 based sequences

Is called from:

23.4.248 Predicate:

 

float/1

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

Calls:

Is called from:

23.4.249 Predicate:

 

float/2

INFO: float function

Calls:

23.4.250 Predicate:

 

floor/2

INFO: float to int function

Calls:

23.4.251 Predicate:

 

flush_output/0

INFO: flushes current output stream

23.4.252 Predicate:

 

flush_output/1

INFO: flushes a stream

Calls:

23.4.253 Predicate:

 

foldl/4

INFO: iterator

EXAMPLE(S):

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

no

Is called from:

23.4.254 Predicate:

 

foldr/4

INFO: iterator

EXAMPLE(S):

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

no

23.4.255 Predicate:

 

fopen/3

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

Is called from:

23.4.256 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:

23.4.257 Predicate:

 

forall/1

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

Calls:

23.4.258 Predicate:

 

forall/2

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

Is called from:

23.4.259 Predicate:

 

fork_master_server/0

INFO: forks master server in separate process

Calls:

23.4.260 Predicate:

 

fork_server/0

INFO: runs background Linda server on localhost, port 9001 by default

Calls:

23.4.261 Predicate:

 

fork_server/1

INFO: forks Linda server and returns its Pid

Calls:

Is called from:

23.4.262 Predicate:

 

fput/1

INFO: uploads (binary) file to Linda server (fast)

Calls:

23.4.263 Predicate:

 

fput/2

INFO: copies local (binary) file arg1 to remote file arg 2 (fast)

Calls:

Is called from:

23.4.264 Predicate:

 

fput_chars/2

INFO: puts to CStream list of chars in arg 2

Calls:

23.4.265 Predicate:

 

fputc/2

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

Is called from:

23.4.266 Predicate:

 

from_sock/2

INFO: copies from a socket to a file (fast, all in C)

Calls:

Is called from:

23.4.267 Predicate:

 

fsize/2

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

Is called from:

23.4.268 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(_x118111,_x118112,_x118113);

no

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

yes

Is called from:

23.4.269 Predicate:

 

garbage_collect/0

INFO: performs heap gc now

23.4.270 Predicate:

 

gc/0

INFO: enables heap gc

23.4.271 Predicate:

 

gc_status/1

INFO: shows if heap gc is enabled or not

23.4.272 Predicate:

 

gensym/2

INFO: generates a new name based on arg 1

Calls:

23.4.273 Predicate:

 

gensym_no/2

INFO: generates a new number based on arg 1

Calls:

Is called from:

23.4.274 Predicate:

 

get/1

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

Calls:

23.4.275 Predicate:

 

get0/1

INFO: reads a char as an ascii code

23.4.276 Predicate:

 

get_char/2

INFO: inputs a char from a stream

Calls:

23.4.277 Predicate:

 

get_code/2

INFO: inputs a char code from a stream

Calls:

Is called from:

23.4.278 Predicate:

 

get_deep_cut/2

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

23.4.279 Predicate:

 

get_id/1

INFO: gets identification number previously obtained from server

Calls:

23.4.280 Predicate:

 

get_neck_cut/1

INFO: gets the choice point as an integer

23.4.281 Predicate:

 

greater/2

INFO: arithemetic comparison

Is called from:

23.4.282 Predicate:

 

greater_eq/2

INFO: arithemetic comparison

Is called from:

23.4.283 Predicate:

 

ground/1

INFO: true if arg has no free variables

Calls:

Is called from:

23.4.284 Predicate:

 

halt/0

INFO: stops BinProlog

Calls:

23.4.285 Predicate:

 

halt/1

INFO: stops Prolog with given return code

Is called from:

23.4.286 Predicate:

 

halt_server/0

INFO: halts Linda server

Calls:

23.4.287 Predicate:

 

halt_server/1

INFO: halts Linda server using given password

Calls:

Is called from:

23.4.288 Predicate:

 

handle_uncaught/1

INFO: calls arg 1 as current continuation

Calls:

23.4.289 Predicate:

 

has_info/1

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

Calls:

Is called from:

23.4.290 Predicate:

 

help/1

INFO: same as apropos/1

EXAMPLE(S):

?-help(assert).
assert/1-built_in
asserta/1-built_in
asserted/1-built_in
assertz/1-built_in
db_assert/2-built_in
db_asserta/2-built_in
db_asserted/2-built_in
db_assertz/2-built_in
get_asserted/2-built_in
is_asserted/1-built_in
prolog:assert_it/2-compiled
prolog:db_is_asserted/2-compiled
prolog:is_asserted_clause/1-compiled

yes

Calls:

23.4.291 Predicate:

 

hkey/2

INFO: computes hash key based on main functor

EXAMPLE(S):

?-hkey(f(a),A).
A = 119;

no

?-hkey(f(b),A).
A = 119;

no

Is called from:

23.4.292 Predicate:

 

hostname/1

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

23.4.293 Predicate:

 

hypot/3

INFO: float function

23.4.294 Predicate:

 

id/1

INFO: gets identity info from current remote server

Calls:

23.4.295 Predicate:

 

in/1

INFO: waits to remove a term from Linda server

Calls:

Is called from:

23.4.296 Predicate:

 

include/1

INFO: includes/loads a file with current load method

Calls:

Is called from:

23.4.297 Predicate:

 

info/0

INFO: generates info on predicates with examples

Calls:

23.4.298 Predicate:

 

info/1

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

Calls:

Is called from:

23.4.299 Predicate:

 

init_gensym/1

INFO: resets gensym for names based on arg 1

Calls:

23.4.300 Predicate:

 

integer/1

INFO: true if an integer

Is called from:

23.4.301 Predicate:

 

integer/2

INFO: float to int cast

Is called from:

23.4.302 Predicate:

 

interactive/1

INFO: toggles interactive query answering/tracing

Calls:

23.4.303 Predicate:

 

ip_addr/1

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

Is called from:

23.4.304 Predicate:

 

(is)/2

INFO: calls the function evaluator, mostly for arithmetics

EXAMPLE(S):

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

no

Calls:

Is called from:

23.4.305 Predicate:

 

is_asserted/1

INFO: checks if currently asserted

Calls:

Is called from:

23.4.306 Predicate:

 

is_assumed/1

INFO: checks if currently assumed

Is called from:

23.4.307 Predicate:

 

is_assumed/2

INFO: checks if linear or intuitionistic

23.4.308 Predicate:

 

is_builtin/1

INFO: recognizes a predicate head as a builtin

Calls:

Is called from:

23.4.309 Predicate:

 

is_compiled/1

INFO: true if head of a compiled predicate

Is called from:

23.4.310 Predicate:

 

is_delphi/2

INFO: recognizes a Delphi predicate and returns its probability

23.4.311 Predicate:

 

is_dynamic/1

INFO: checks if dynamic

Calls:

Is called from:

23.4.312 Predicate:

 

is_engine/1

INFO: recognizes and integer as an engine handle

Calls:

23.4.313 Predicate:

 

is_module/1

INFO: recognizes/generates a module name

Calls:

Is called from:

23.4.314 Predicate:

 

is_prolog/1

INFO: recognizes binprolog - useful for portability

Calls:

Is called from:

23.4.315 Predicate:

 

is_public/1

INFO: checks predicate head if globally visible

23.4.316 Predicate:

 

keysort/2

INFO: sorts while grouping similar keys

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:

23.4.317 Predicate:

 

length/2

INFO: generates/mesures length of a list

Calls:

23.4.318 Predicate:

 

less/2

INFO: arithemetic comparison

Is called from:

23.4.319 Predicate:

 

less_eq/2

INFO: arithemetic comparison

Is called from:

23.4.320 Predicate:

 

list_engines/1

INFO: lists available engine handles

Is called from:

23.4.321 Predicate:

 

listify/2

INFO: transforms, if needed, to list of chars

Calls:

Is called from:

23.4.322 Predicate:

 

listing/0

INFO: lists current database

Calls:

23.4.323 Predicate:

 

listing/1

INFO: lists given predicate if in current database

Calls:

23.4.324 Predicate:

 

listing/2

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

Calls:

Is called from:

23.4.325 Predicate:

 

load/1

INFO: clean loads from a bytecode *.wam file

Calls:

Is called from:

23.4.326 Predicate:

 

load_engine/3

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

Is called from:

23.4.327 Predicate:

 

log/2

INFO: float function

23.4.328 Predicate:

 

log/3

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

EXAMPLE(S):

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

no

23.4.329 Predicate:

 

ls/0

INFO: list files under Unix

Calls:

23.4.330 Predicate:

 

lval/3

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

EXAMPLE(S):

?-lval(a,b,f(A)).
A = _x117276;

no

23.4.331 Predicate:

 

main/1

INFO: default startup predicate

Calls:

23.4.332 Predicate:

 

make_array/2

INFO: creates an array

23.4.333 Predicate:

 

map/3

INFO: maps a function to a list

EXAMPLE(S):

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

no

23.4.334 Predicate:

 

master_server_interactor/2

INFO: filters commands available on master server

Calls:

23.4.335 Predicate:

 

mcompile/1

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

Calls:

Is called from:

23.4.336 Predicate:

 

member/2

INFO: generates/check if an element is on a list

EXAMPLE(S):

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

yes

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

A = 2;

no

Calls:

Is called from:

23.4.337 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 = _x117564;
B = _x117574;
C = [s(s(_x117574)),2];

no

23.4.338 Predicate:

 

(memo)/1

INFO: declares a predicate Name/Arity to be memoized

23.4.339 Predicate:

 

metacall/1

INFO: calls the interpreter

Is called from:

23.4.340 Predicate:

 

mod/3

INFO: modulo

EXAMPLE(S):

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

no

23.4.341 Predicate:

 

(module)/2

INFO: starts a module specifying a list of visible predicates

Calls:

23.4.342 Predicate:

 

modules/1

INFO: returns a list of existing modules

Calls:

23.4.343 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

23.4.344 Predicate:

 

(multifile)/1

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

Is called from:

23.4.345 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:

23.4.346 Predicate:

 

namecat/4

INFO: concatenates 3 names

EXAMPLE(S):

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

no

23.4.347 Predicate:

 

new_client/1

INFO: creates new client socket and returns it

Calls:

Is called from:

23.4.348 Predicate:

 

new_client/3

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

Is called from:

23.4.349 Predicate:

 

new_name/2

INFO: returns a new name based on arg 1

23.4.350 Predicate:

 

new_server/2

INFO: opens on a port a new server

Is called from:

23.4.351 Predicate:

 

new_server_on_free_port/2

INFO: runs new server on first random free port

Calls:

Is called from:

23.4.352 Predicate:

 

new_service/2

INFO: creates new service socket on server socket and returns it

Calls:

Is called from:

23.4.353 Predicate:

 

new_service/3

INFO: from (server,timeout) to a service

Is called from:

23.4.354 Predicate:

 

nobbgc/0

INFO: disables blackboard gc

23.4.355 Predicate:

 

nogc/0

INFO: disables heap gc

23.4.356 Predicate:

 

non_local_host/0

INFO: checks if BinProlog is talking to a remote host

Calls:

23.4.357 Predicate:

 

nonvar/1

INFO: true if currently instantiated

Is called from:

23.4.358 Predicate:

 

(nospy)/1

INFO: do not spy on Pred/Arity anymore

Calls:

Is called from:

23.4.359 Predicate:

 

(not)/1

INFO: sound negation

Calls:

23.4.360 Predicate:

 

notepad/0

INFO: calls notepad editor on last compiled file

23.4.361 Predicate:

 

notrace/0

INFO: do not trace predicates when interpreted

Calls:

23.4.362 Predicate:

 

nth_answer/2

INFO: findall variant

Calls:

23.4.363 Predicate:

 

nth_member/3

INFO: retrieves N-th element of a list

23.4.364 Predicate:

 

number/1

INFO: true if integer or float

Calls:

23.4.365 Predicate:

 

numbervars/3

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

Calls:

Is called from:

23.4.366 Predicate:

 

oconsult/1

INFO: reconsult/1 variant: consults and overwrites old clauses

Calls:

23.4.367 Predicate:

 

older_file/2

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

23.4.368 Predicate:

 

once/1

INFO: executes with no backtracking

23.4.369 Predicate:

 

op/3

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

23.4.370 Predicate:

 

open/3

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

23.4.371 Predicate:

 

open_engine/3

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

Calls:

23.4.372 Predicate:

 

otherwise/0

INFO: always succeeds

23.4.373 Predicate:

 

out/1

INFO: puts a term on Linda server

Calls:

Is called from:

23.4.374 Predicate:

 

pclose/1

INFO: closes a pipe generated stream

Is called from:

23.4.375 Predicate:

 

pcollect/2

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

Calls:

Is called from:

23.4.376 Predicate:

 

peer_addr/2

INFO: gets address of peer connected to socket

23.4.377 Predicate:

 

peer_port/2

INFO: gets port of peer connected to socket

23.4.378 Predicate:

 

phrase/2

INFO: DCG evaluator

Calls:

23.4.379 Predicate:

 

phrase/3

INFO: DCG evaluator

Calls:

Is called from:

23.4.380 Predicate:

 

pico/0

INFO: calls pico editor on last compiled file

23.4.381 Predicate:

 

ping/0

INFO: checks if server is alive

Calls:

23.4.382 Predicate:

 

ping/1

INFO: checks if server is alive and returns its current CPU time

Calls:

Is called from:

23.4.383 Predicate:

 

popen/3

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

Calls:

Is called from:

23.4.384 Predicate:

 

portray_clause/1

INFO: pretty prints a clause

Calls:

23.4.385 Predicate:

 

predicate_property/2

INFO: returns a property of a predicate

EXAMPLE(S):

?-predicate_property(write(A),B).
A = _x117350;
B = built_in;

no

Calls:

Is called from:

23.4.386 Predicate:

 

print/1

INFO: variant of write/1

23.4.387 Predicate:

 

prod/2

INFO: product of a list

EXAMPLE(S):

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

no

Calls:

23.4.388 Predicate:

 

proxy/4

INFO: args: Host,Port,Query,Answer, asks proxy to forward Query to Host

Calls:

23.4.389 Predicate:

 

(public)/1

INFO: declares globally visible predicate Name/Arity

Calls:

Is called from:

23.4.390 Predicate:

 

push_code/1

INFO: moves code to kernel after compile, returns top of code area

23.4.391 Predicate:

 

pushq/3

INFO: adds to beginning of persistent queeue

EXAMPLE(S):

?-pushq(key1,key2,f(A,A)).
A = _x117267;

no

Calls:

Is called from:

23.4.392 Predicate:

 

put/1

INFO: writes and ascii code as a char

EXAMPLE(S):

?-put(99).
c
yes

Is called from:

23.4.393 Predicate:

 

put_char/2

INFO: outputs a char to a stream

Calls:

23.4.394 Predicate:

 

put_code/2

INFO: outputs a char code to a stream

Calls:

Is called from:

23.4.395 Predicate:

 

pwd/0

INFO: shows current dir

Calls:

23.4.396 Predicate:

 

pwd/1

INFO: returns current dir as a list of chars

Calls:

23.4.397 Predicate:

 

quiet/1

INFO: gets/sets level of "quietness"

Calls:

Is called from:

23.4.398 Predicate:

 

quietmes/1

INFO: writes message if in low quietness mode

Calls:

23.4.399 Predicate:

 

quietmes/2

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

Calls:

Is called from:

23.4.400 Predicate:

 

random/1

INFO: returns a random integer

EXAMPLE(S):

?-random(A).
A = 1609;

no

Is called from:

23.4.401 Predicate:

 

random_seed/1

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

23.4.402 Predicate:

 

rcompile/1

INFO: downloads to cache/file.pl and compiles

Calls:

23.4.403 Predicate:

 

rconsult/1

INFO: downloads to cache/file.pl and reconsults

Calls:

23.4.404 Predicate:

 

rd/1

INFO: reads a terms matching arg 1 from Linda server

Calls:

23.4.405 Predicate:

 

read/1

INFO: reads a term

23.4.406 Predicate:

 

read_chars/1

INFO: reads list of ascii codes

Is called from:

23.4.407 Predicate:

 

read_term/2

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

23.4.408 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(_x118616,_x118616,_x118618,_x118618);

no

Calls:

23.4.409 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(_x118706,_x118706,_x118708,_x118708);
B = [X = _x118706,Y = _x118708];

no

Is called from:

23.4.410 Predicate:

 

read_tokens_from_chars/3

INFO: reads tokens from a list of char codes

EXAMPLE(S):

?-read_tokens_from_chars([102,40,88,44,88,43,89,44,89,41],A,B).
A = [atom(f),(,var(_x118745,X),(,),var(_x118745,X),atom(+),var(_x118750,Y),(,),var(_x118750,Y),)];
B = [var(X,_x118745,s(1)),var(Y,_x118750,s(1))];

no

Calls:

23.4.411 Predicate:

 

reboot/0

INFO: regenerates BinProlog from its sources

Calls:

23.4.412 Predicate:

 

reconsult/1

INFO: applies current consult method to file: arg 1

Is called from:

23.4.413 Predicate:

 

refresh_servers/0

INFO: asks master server to update its list of servers

Calls:

Is called from:

23.4.414 Predicate:

 

refresh_servers/1

INFO: asks master server to update its list of servers matching arg 1

Calls:

Is called from:

23.4.415 Predicate:

 

register_server/0

INFO: registers this on master server

Calls:

23.4.416 Predicate:

 

register_server/1

INFO: registers this on master server and returns answer

Calls:

Is called from:

23.4.417 Predicate:

 

remote_mes/3

INFO: sends From, Mes and returns yes if displayed on server

Calls:

Is called from:

23.4.418 Predicate:

 

remote_run/1

INFO: runs Goal on remote Linda server

Calls:

Is called from:

23.4.419 Predicate:

 

remote_run/2

INFO: runs arg 2 on remote server and unifies arg 1 with result

Calls:

Is called from:

23.4.420 Predicate:

 

repeat/0

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

Calls:

Is called from:

23.4.421 Predicate:

 

restart/0

INFO: cleans up data areas

23.4.422 Predicate:

 

retract/1

INFO: backtracks over deleting matching clauses

Calls:

23.4.423 Predicate:

 

retract1/1

INFO: deletes first matching clause in the current database

Calls:

23.4.424 Predicate:

 

retractall/1

INFO: deletes all matching clauses

Calls:

Is called from:

23.4.425 Predicate:

 

rexec/1

INFO: runs arg 1 as a remote PC command and prints the result

Calls:

Is called from:

23.4.426 Predicate:

 

rexec/2

INFO: runs arg 1 as a remote PC command and collects the result

Calls:

Is called from:

23.4.427 Predicate:

 

rget/1

INFO: downloads remote (binary) file from Linda server

Calls:

23.4.428 Predicate:

 

rget/2

INFO: copies remote (binary) file arg1 to local file arg 2

Is called from:

23.4.429 Predicate:

 

rload/1

INFO: downloads to cache/file.bp and loads it

Calls:

23.4.430 Predicate:

 

round/2

INFO: float to int function

Calls:

23.4.431 Predicate:

 

rput/1

INFO: uploads (binary) file to Linda server

Calls:

23.4.432 Predicate:

 

rput/2

INFO: copies local (binary) file arg1 to remote file arg 2

Is called from:

23.4.433 Predicate:

 

rsh/1

INFO: runs arg 1 as a remote shell command and prints result

Calls:

23.4.434 Predicate:

 

rsh/2

INFO: runs arg 1 as a remote shell command and collects the result

Calls:

Is called from:

23.4.435 Predicate:

 

rshell/0

INFO: runs commands on remote PC and prints the result

Calls:

23.4.436 Predicate:

 

run_default_server/0

INFO: runs foreground Linda server on localhost, port 9001 by default

Calls:

23.4.437 Predicate:

 

run_local_master_server/0

INFO: runs master server on local host

Calls:

23.4.438 Predicate:

 

run_master_server/0

INFO: runs master server keeping track of servers

Calls:

23.4.439 Predicate:

 

run_master_server/1

INFO: runs kind of master server given as arg 1

Calls:

Is called from:

23.4.440 Predicate:

 

run_servant/0

INFO: executes queries obeying to sever at default host, port

Calls:

23.4.441 Predicate:

 

run_server/0

INFO: runs foreground Linda server on localhost, on a free port

Calls:

23.4.442 Predicate:

 

run_server/1

INFO: runs foreground Linda server on given or on free Port

Calls:

Is called from:

23.4.443 Predicate:

 

run_unrestricted_server/0

INFO: runs foreground Linda server on localhost, on a free port

Calls:

23.4.444 Predicate:

 

say/1

INFO: sends Mes and succeds if displayed on server

Calls:

Is called from:

23.4.445 Predicate:

 

scompile/1

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

Calls:

23.4.446 Predicate:

 

sconsult/1

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

23.4.447 Predicate:

 

see/1

INFO: focuses input on a file

23.4.448 Predicate:

 

see_at/1

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

23.4.449 Predicate:

 

seeing/1

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

Is called from:

23.4.450 Predicate:

 

seeing_at/1

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

23.4.451 Predicate:

 

seen/0

INFO: close file opened by see/1

Is called from:

23.4.452 Predicate:

 

server_loop/2

INFO: answers client queries on server

Calls:

23.4.453 Predicate:

 

set_c_threshold/1

INFO: sets C-ification threshold

23.4.454 Predicate:

 

set_client_action/1

INFO: asserts default client-side action

Calls:

23.4.455 Predicate:

 

set_code/1

INFO: asserts default file on server - for remote code fetching

Calls:

23.4.456 Predicate:

 

set_db/1

INFO: sets the name of active database for dynamic code

Is called from:

23.4.457 Predicate:

 

set_default/1

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

Calls:

Is called from:

23.4.458 Predicate:

 

set_host/1

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

Calls:

23.4.459 Predicate:

 

set_id/1

INFO: sets identification number after receiving it from a server

Calls:

23.4.460 Predicate:

 

set_input/1

INFO: sets current input stream

Is called from:

23.4.461 Predicate:

 

set_login/1

INFO: asserts default (nick)name for user

Calls:

23.4.462 Predicate:

 

set_master_server/2

INFO: asserts default master server (Host and Port)

Calls:

23.4.463 Predicate:

 

set_output/1

INFO: sets current output stream

23.4.464 Predicate:

 

set_password/1

INFO: asserts default password for user

Calls:

Is called from:

23.4.465 Predicate:

 

set_port/1

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

Calls:

23.4.466 Predicate:

 

set_proxy_server/2

INFO: asserts default proxy server (Host and Port)

Calls:

23.4.467 Predicate:

 

set_server_action/1

INFO: asserts default server-side action

Calls:

23.4.468 Predicate:

 

set_server_interactor/1

INFO: asserts default server-side interactor

Calls:

23.4.469 Predicate:

 

set_server_port/1

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

Calls:

23.4.470 Predicate:

 

set_timeout/1

INFO: asserts default socket wait timout

Calls:

23.4.471 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

23.4.472 Predicate:

 

setof/3

INFO: all solutions predicate generating sets of answers

Calls:

23.4.473 Predicate:

 

shell/1

INFO: passes a command to the OS

Calls:

23.4.474 Predicate:

 

show_engine/0

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

23.4.475 Predicate:

 

show_info/2

INFO: generates components of info/1 output

Calls:

23.4.476 Predicate:

 

sign/2

INFO: int function

Calls:

23.4.477 Predicate:

 

sin/2

INFO: float function

23.4.478 Predicate:

 

skip_until/2

INFO: findall variant

Calls:

Is called from:

23.4.479 Predicate:

 

skip_when/2

INFO: findall variant

Calls:

Is called from:

23.4.480 Predicate:

 

sleep/1

INFO: waits arg 1 seconds

23.4.481 Predicate:

 

sock2file/2

INFO: reads from a socket, to a file

Is called from:

23.4.482 Predicate:

 

sock_read/2

INFO: reads from a socket, a string

Is called from:

23.4.483 Predicate:

 

sock_readln/2

INFO: reads from a socket, a line

23.4.484 Predicate:

 

sock_write/2

INFO: writes to a socket, a string

Is called from:

23.4.485 Predicate:

 

sock_writeln/2

INFO: writes to a socket, a line

23.4.486 Predicate:

 

solutions/2

INFO: adds output arg to closure in arg 1, executes and collects

Calls:

23.4.487 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

Is called from:

23.4.488 Predicate:

 

(spy)/1

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

Calls:

Is called from:

23.4.489 Predicate:

 

spying/1

INFO: checks what we are spying

Calls:

23.4.490 Predicate:

 

sqrt/2

INFO: returns square root of arg 1, a float

EXAMPLE(S):

?-sqrt(2,A).
A = 1.41421;

no

23.4.491 Predicate:

 

sread/2

INFO: reads a term from a string (atom)

Calls:

23.4.492 Predicate:

 

sread/3

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

Calls:

Is called from:

23.4.493 Predicate:

 

start_remote_engine/3

INFO: starts remote engine, args: Answer,Goal,Engine

Calls:

Is called from:

23.4.494 Predicate:

 

statistics/0

INFO: shows info about data areas

EXAMPLE(S):

?-statistics.
runtime=[355020,225790]
global_stack=[469204,1546796]
local_stack=[248,510716]
trail=[57568,965404]
code=[228484,295788]
strings=[68050,194094]
symbols=[17984,14784]
htable=[135816,257400]
bboard=[321832,200404]
gctime=[0,0]

yes

Calls:

23.4.495 Predicate:

 

statistics/2

INFO: returns info about data areas

EXAMPLE(S):

?-statistics(A,B).
A = runtime;
B = [355680,660];

A = global_stack;
B = [469900,1546100];

A = local_stack;
B = [232,510732];

A = trail;
B = [57588,965384];

A = code;
B = [228484,295788];

A = strings;
B = [68050,194094];

A = symbols;
B = [17984,14784];

A = htable;
B = [135816,257400];

A = bboard;
B = [321832,200404];

A = gctime;
B = [0,0];

no

Is called from:

23.4.496 Predicate:

 

stop_remote_engine/1

INFO: stops and frees resources of remote engine

Calls:

Is called from:

23.4.497 Predicate:

 

stop_server/0

INFO: stops server and forces it back to intractive mode

Calls:

23.4.498 Predicate:

 

stop_server/1

INFO: stops server using given password

Calls:

Is called from:

23.4.499 Predicate:

 

subsumes_chk/2

INFO: checks if arg 1 is subsumed by arg 2, after renaming vars

Calls:

Is called from:

23.4.500 Predicate:

 

sum/2

INFO: sum of a list

EXAMPLE(S):

?-sum([10,20],A).
A = 30;

no

Calls:

23.4.501 Predicate:

 

swrite/2

INFO: writes a term to a string (atom)

Calls:

23.4.502 Predicate:

 

swrite/3

INFO: writes a term with a liste of vars to a string (atom)

Calls:

23.4.503 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:

23.4.504 Predicate:

 

system/1

INFO: passes a command to the OS

Calls:

Is called from:

23.4.505 Predicate:

 

system/2

INFO: passes a command to the OS and gets back return code

Calls:

Is called from:

23.4.506 Predicate:

 

tab/1

INFO: outputs N blanks

Calls:

23.4.507 Predicate:

 

take_at_most/2

INFO: findall variant

Calls:

Is called from:

23.4.508 Predicate:

 

talk/0

INFO: sends what you type in another BinProlog user

Calls:

23.4.509 Predicate:

 

tan/2

INFO: float function

23.4.510 Predicate:

 

tell/1

INFO: focuses output on a file

23.4.511 Predicate:

 

tell_at/1

INFO: moves output file pointer to a given offset (in bytes)

23.4.512 Predicate:

 

tell_at_end/1

INFO: focuses output on file opened in append mode

23.4.513 Predicate:

 

telling/1

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

23.4.514 Predicate:

 

telling_at/1

INFO: retrieves output file position (in bytes)

23.4.515 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:

23.4.516 Predicate:

 

term_chars/2

INFO: 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:

Is called from:

23.4.517 Predicate:

 

term_client_action/4

INFO: opens client socket and sends query

Calls:

23.4.518 Predicate:

 

term_client_step/3

INFO: sends query on client socket

Calls:

23.4.519 Predicate:

 

term_hash/3

INFO: computes hash code based on main functor and functors of listed argument positions; fails if something is unbound

EXAMPLE(S):

?-term_hash(t(a,b),[1,2],A).
A = 40050;

no

?-term_hash(t(a,c),[1,2],A).
A = 40051;

no

Calls:

23.4.520 Predicate:

 

term_server_action/1

INFO: opens service socket and answers query

Calls:

23.4.521 Predicate:

 

term_server_interactor/2

INFO: filters secure commands known to the server

Calls:

Is called from:

23.4.522 Predicate:

 

term_server_step/1

INFO: answers query on service socket

23.4.523 Predicate:

 

textedit/0

INFO: calls texedit editor on last compiled file

23.4.524 Predicate:

 

this_id/1

INFO: gets identity info of this server

Calls:

Is called from:

23.4.525 Predicate:

 

throw/1

INFO: throws a term to be caught by a matching catch

Calls:

Is called from:

23.4.526 Predicate:

 

to_sock/2

INFO: copies from a file to a socket (fast, all in C)

Calls:

Is called from:

23.4.527 Predicate:

 

told/0

INFO: closes file opened by tell/1

23.4.528 Predicate:

 

topcall/1

INFO: calls arg 1 and signals uncaught throws

Calls:

Is called from:

23.4.529 Predicate:

 

toplevel/0

INFO: interactive toplevel Prolog loop

Calls:

23.4.530 Predicate:

 

topstep/1

INFO: interactive toplevel Prolog step

Calls:

Is called from:

23.4.531 Predicate:

 

trace/0

INFO: trace all predicates when interpreted

Calls:

23.4.532 Predicate:

 

trace/1

INFO: traces execution of a goal

23.4.533 Predicate:

 

trim_term/4

INFO: trim_term(D,Filler,T,NewT) replaces subterms of T deeper than D with Filler

Calls:

23.4.534 Predicate:

 

truncate/2

INFO: float to int function

Calls:

23.4.535 Predicate:

 

ttyprin/1

INFO: writes to terminal

Is called from:

23.4.536 Predicate:

 

ttyprint/1

INFO: writes to terminal with a new line

Is called from:

23.4.537 Predicate:

 

unix/1

INFO: executes various Unix commands

Calls:

23.4.538 Predicate:

 

unix_access/2

INFO: checks if arg1 (a path+file) is accessible in arg 2 (integer) mode

Is called from:

23.4.539 Predicate:

 

unix_argc/1

INFO: gets cmd line arg counter

EXAMPLE(S):

?-unix_argc(A).
A = 1;

no

Is called from:

23.4.540 Predicate:

 

unix_argv/1

INFO: gets the list of cmd line args from 1 to argc

EXAMPLE(S):

?-unix_argv(A).
A = [];

no

Calls:

Is called from:

23.4.541 Predicate:

 

unix_argv/2

INFO: gets a cmd line arg from 0 to argc

EXAMPLE(S):

?-unix_argv(0,A).
A = ru;

no

Is called from:

23.4.542 Predicate:

 

unix_cat/1

INFO: prints a file to user terminal

Calls:

Is called from:

23.4.543 Predicate:

 

unix_cd/1

INFO: changes local dir to arg 1

Is called from:

23.4.544 Predicate:

 

unix_fork/1

INFO: starts child process with Unix fork

Is called from:

23.4.545 Predicate:

 

unix_getenv/2

INFO: gets an environment variable

Is called from:

23.4.546 Predicate:

 

unix_kill/2

INFO: sends signal arg 1 to process with pid arg 2

Is called from:

23.4.547 Predicate:

 

unix_pid/1

INFO: returns process id of current process

Is called from:

23.4.548 Predicate:

 

unrestricted_server_interactor/2

INFO: allows unrestricted commands run1/ run/2 on the server

Calls:

23.4.549 Predicate:

 

untrail_to/1

INFO: unwinds the trail up to a choice point

Is called from:

23.4.550 Predicate:

 

var/1

INFO: true if currently a variable

Is called from:

23.4.551 Predicate:

 

variant_of/2

INFO: checks if args are the same up to a renaming of vars

Calls:

23.4.552 Predicate:

 

vars_of/2

INFO: lists free vars of a term

EXAMPLE(S):

?-vars_of(f(A,t(A,B,C),C),D).
A = _x117397;
B = _x117402;
C = _x117399;
D = [_x117397,_x117402,_x117399];

no

23.4.553 Predicate:

 

vi/0

INFO: calls vi editor on last compiled file

23.4.554 Predicate:

 

was_assumed/1

INFO: checks if it was assumed  in current AND-branch

Calls:

23.4.555 Predicate:

 

while/2

INFO: findall variant

Calls:

Is called from:

23.4.556 Predicate:

 

write/1

INFO: writes to current output stream

Is called from:

23.4.557 Predicate:

 

write_chars/1

INFO: writes list of ascii codes

Calls:

Is called from:

23.4.558 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 = _x117456;
B = _x117458;
C = [102,40,65,44,65,44,66,44,66,41];

no

Calls:

23.4.559 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 = _x117633;
B = _x117634;
C = [102,40,39,88,39,44,39,89,39,41];

no

Is called from:

23.4.560 Predicate:

 

writeq/1

INFO: variant of write/1

23.4.561 Predicate:

 

yell/1

INFO: broadcasts Mes to all servers on default master server

Calls:

23.4.562 Predicate:

 

~ /1

INFO: short hand for reconsult

Calls:



next up previous
Up: 23 Appendix Previous: 23.3 Unused predicatespossibly



Paul Tarau
Thu Apr 3 10:26:39 AST 1997