(#)/1
INFO: short hand for dcg_connect/1
dcg_connect/1
(#)/3
INFO: bitwise XOR EXAMPLE(S): ?-#(1,2,A). A = 3; no
(##)/1
INFO: executes arg 1 at compile time
numbervars/3
(#<)/1
INFO: short hand for dcg_def/1
dcg_def/1
(#>)/1
INFO: short hand for dcg_val/1
dcg_val/1
* /3
INFO: multiply EXAMPLE(S): ?-*(10,3,A). A = 30; no
** /3
INFO: returns arg 1 at power arg 2, a float EXAMPLE(S): ?-**(2,3,A). A = 8; no
(+)/2
INFO: returns 0 + arg 1
(+)/3
(+)/3
INFO: add EXAMPLE(S): ?-+(10,3,A). A = 13; no
(+)/2
(++)/3
INFO: concatenates N lists, usable in is/2
(,)/2
INFO: A,B succeeds if A suceeds and B, called after A, succeeds
(-)/2
INFO: returns 0 - arg 1
(-)/3
(-)/3
INFO: subtract EXAMPLE(S): ?--(10,3,A). A = 7; no
(-)/2
(-:)/2
INFO: affine linear implication - assertz ordering
(-::)/2
INFO: affine linear implication - asserta ordering
(->)/2
INFO: Cond->Then executes Cond once; if it succeeds it also executes Then
/ /3
INFO: division EXAMPLE(S): ?-/(10,3,A). A = 3.33333; no
// /3
INFO: integer division EXAMPLE(S): ?-//(10,3,A). A = 3; no
(/\)/3
INFO: bitwise AND EXAMPLE(S): ?-/\(1,2,A). A = 0; no
(::-)/2
INFO: variant of :- for hand transformed binary clauses
(;)/2
INFO: A;B succeeds if A succeeds or B, called after A, succeeds
(<)/2
INFO: numeric comparison
less/2
<< /3
INFO: left shifts arg 1 by arg 2 bits EXAMPLE(S): ?-<<(1,5,A). A = 32; no
(=)/2
INFO: true if args unify EXAMPLE(S): ?-f(A,s(a)) = f(B,B). A = s(a); B = s(a); no
(-:)/2
(-::)/2
(=>)/2
(=>>)/2
abs/2
all_servants/1
ask_a_server/5
ask_servant/3
ask_server/2
bagof/3
cin/1
current_module/1
db_retract1/2
det_call/1
detect_host/1
drop_at_least/2
file_size/2
gensym_no/2
get/1
get_char/2
id/1
info/1
interactive/1
(is)/2
is_prolog/1
main/1
new_server_on_free_port/2
nth_answer/2
numbervars/3
phrase/3
ping/1
popen/3
rd/1
rexec/2
show_info/2
sign/2
take_at_most/2
term_server_interactor/2
throw/1
trim_term/4
unrestricted_server_interactor/2
(=..)/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
var/1
(=:)/2
INFO: linear implication - assertz ordering
(=::)/2
INFO: linear implication - asserta ordering
(=:=)/2
INFO: numeric comparison
arith_eq/2
(=<)/2
INFO: numeric comparison
less_eq/2
quietmes/2
(==)/2
INFO: true if args are identical terms
(=:)/2
(=::)/2
addq/3
ask_a_server/5
pushq/3
run_master_server/1
say/1
(=>)/2
INFO: intuitionistic implication - assertz ordering
(=>>)/2
INFO: intuitionistic implication - stack (asserta) ordering
ask_all_servers/2
chat/0
chat/1
fget/2
fput/2
run_local_master_server/0
run_master_server/1
run_server/1
run_unrestricted_server/0
term_client_action/4
term_server_action/1
yell/1
(=\=)/2
INFO: numeric comparison
arith_dif/2
(>)/2
INFO: numeric comparison
greater/2
(>=)/2
INFO: numeric comparison
greater_eq/2
>> /3
INFO: right shifts arg 1 by arg 2 bits EXAMPLE(S): ?->>(16,2,A). A = 4; no
(@<)/2
INFO: instance of compare/3 with arg 1: <
(@=<)/2
INFO: instance of compare/3 with arg 1: = or <
(@>)/2
INFO: instance of compare/3 with arg 1: >
(@>=)/2
INFO: instance of compare/3 with arg 1: > or =
C/3
INFO: DCG connect predicate
(\)/2
INFO: complement
(\)/3
(\)/3
INFO: bitwise complement EXAMPLE(S): ?-\(0,2,A). A = -3; no
(\)/2
(\+)/1
INFO: succeeds if its argument is executed and fails
fail/0
(\/)/3
INFO: bitwise OR EXAMPLE(S): ?-\/(1,2,A). A = 3; no
(\=)/2
INFO: true if args fail to unify
fail/0
(\==)/2
INFO: true if arg 1 is not identical to arg 2
bagof/3
cin/1
cpopq/3
detect_host/1
has_info/1
id/1
non_local_host/0
ping/1
rd/1
register_server/1
^ /2
INFO: calls arg 2 and binds arg 1
abolish/1
INFO: abolish(F/N) deletes predicate F/N
abort/0
INFO: returns to toplevel
abs/2
INFO: int function
acos/2
INFO: float function
addq/3
INFO: adds to end of persistent queeue EXAMPLE(S): ?-addq(key1,key2,33). yes
db_assertz/2
all/2
INFO: gets the list of terms matching arg 1 from Linda server
ask_server/2
all/3
INFO: gets a selection arg 1 of terms matching arg 2 from Linda server
ask_server/2
all_servants/1
all_answers/3
INFO: cleaner findall/3
all_but_at_least/4
INFO: findall variant
drop_at_least/2
all_servants/0
INFO: lists all servants on current server
run_servant/0
all_servants/1
INFO: returns all servants on current server
all_servants/0
all_servers/0
INFO: prints the list of servers registered on master server
chat/1
all_servers/1
INFO: returns list of servers registered on master server
all_servers/2
all_servers/0
all_servers/2
INFO: returns servers registered on master matching arg 1
ask_master_server/2
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
append/3
append/3
appendN/2
INFO: concatenates N lists
append_conj/3
INFO: concatenates 2 conjunctions
append_disj/3
INFO: concatenates 2 disjunctions
apropos/1
INFO: prints names of predicates defined in the system EXAMPLE(S): ?-apropos(garbage). garbage_collect/0-built_in yes
help/1
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
apropos/1
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
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
arith_dif/2
INFO: arithemetic comparison
(=\=)/2
arith_eq/2
INFO: arithemetic comparison
(=:=)/2
array_get/3
INFO: gets and dereferences array element
array_get0/3
INFO: gets array element
array_set/3
INFO: sets array element
asin/2
INFO: float function
ask_a_server/2
INFO: sends a query and gets an answer from a Linda server
ask_a_server/5
default_client_action/1
default_host/1
default_port/1
ask_a_server/5
INFO: args: Interactor,Host,Port,Question,Answer
ask_a_server/2
ask_all_servers/2
INFO: broadcast query to all server given by master
ask_server/2
ask_engine/2
INFO: ask_engine(E,X) retrieves from engine E (a copy of) answer X
ask_master_server/2
INFO: asks a question the master server
ask_remote_engine/2
INFO: askes remote engine, args: Engine,Answer
remote_run/1
fetch_file/4
ask_servant/3
INFO: sends query and waits until servant answers
ask_server/2
INFO: sends a query and gets an answer from server(s)
(=)/2
all_servers/2
ask_a_server/2
ask_all_servers/2
assumed/1
quietmes/2
all/2
all/3
cin/1
cout/1
halt_server/1
id/1
out/1
rd/1
remote_mes/3
remote_run/1
remote_run/2
stop_server/1
asm/0
INFO: shows readable wam assembler for Prolog code entered at terminal
asm/1
INFO: generates readable binarized form and wam assembler to a file
assert/1
INFO: adds a clause
assertz/1
asserta/1
INFO: adds a clause to be first in a predicate definition
asserted/1
INFO: runs a predicated if asserted
assertz/1
INFO: adds a clause to be last in a predicate definition
assert/1
assumeai/1
INFO: backtrackable: asserta style intuitionistic assumption
assumeal/1
INFO: backtrackable: asserta style linear assumption
assumed/1
INFO: calls assumed clause with matching head
assumed_clause/2
ask_server/2
commit/0
from_sock/2
server_loop/2
throw/1
to_sock/2
assumed_clause/2
INFO: assumed_clause(H,B) retrieves assumed clause with matching head H and body B
assumed/1
assumei/1
INFO: backtrackable: assertz style intuitionistic assumption
assumel/1
INFO: backtrackable: assertz style linear assumption
atan/2
INFO: float function
atan2/3
INFO: float function
atom/1
INFO: true if symbol (functor of arity 0)
find_file/2
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
term_chars/2
atomic/1
INFO: true if an integer or symbolic constant
atom/1
close/1
compound/1
numbervars/3
system/2
trim_term/4
bagof/3
INFO: all solutions predicate generating bags of answers
bb/0
INFO: lists (long!) content of the blackboard
bb_def/3
INFO: bb_def(K1,K2,T) associates to K1 and K2 (a copy of) T on the blackboard
bb_let/3
bb_gc/0
INFO: performs blackboard gc now
bb_let/3
INFO: bb_let(K1,K2,T) updates or defines the term associated with K1 and K2 to be T
bb_reset/1
INFO: cleans up and resizes to at least arg 1 bytes compound term area of the blackboard
bb_rm/2
INFO: removes the term associated with K1 and K2 from the blackboard
(nospy)/1
bb_set/3
INFO: bb_set(K1,K2,T) updates the term associated with K1 and K2 to be a copy of T
bb_let/3
bb_val/3
INFO: bb_val(K1,K2,T) T is (a copy of) the term associated with keys K1 and K2
copy_term/2
bbgc/0
INFO: enables blackboard gc
bbgc_status/1
INFO: shows if blackboard gc is enabled or not
bb_gc/0
boot/0
INFO: regenerates file wam.bp in BinProlog src directory
reboot/0
bp_info/2
INFO: keeps basic help info on BinProlog builtins
bp_val/3
INFO: unifies with 2 key indexed global logical variable
call/1
INFO: executes (atomic!) arg 1
call/2
INFO: efficient call/N variant
term_append/3
include/1
call/3
INFO: efficient call/N variant
term_append/3
call/4
INFO: efficient call/N variant
term_append/3
call/5
INFO: efficient call/N variant
term_append/3
call/6
INFO: efficient call/N variant
term_append/3
call/7
INFO: efficient call/N variant
term_append/3
call_ifdef/2
INFO: calls if predicate head is defined, calls arg 2 if not
is_compiled/1
main/1
callable/1
INFO: checks if predicate head is defined (callable)
default/2
catch/3
INFO: executes arg 1 and if it catches arg 2, it executes arg 3
fail/0
topcall/1
cd/0
INFO: changes local dir to HOME directory or / if no such env var
cd/1
INFO: changes local dir to arg 1
unix_cd/1
cdelq/4
INFO: deletes first matching element from a queue EXAMPLE(S): ?-cdelq(key1,key2,A,B). A = _x117266; B = 33; no
array_get/3
ceiling/2
INFO: float to int function
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
chat/0
INFO: sends what you type in to all BinProlog users
chat/1
INFO: sends what you type in to selected BinProlog users
(<)/2
(=>>)/2
all_servers/0
fail/0
quiet/1
quietmes/2
read_chars/1
refresh_servers/0
repeat/0
write/1
cin/1
INFO: tries to remove a term from Linda server
in/1
clause/2
INFO: clause(H,B) generates a clause with head matching H and body B
asserted/1
cleanup_dead_servers/1
INFO: on master: removes servers who do not answer
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
copy_term/2
close/1
INFO: closes a stream opened by open/3
atomic/1
close_socket/1
INFO: closes a server, service or client
fget/2
fput/2
run_server/1
term_client_action/4
term_server_action/1
cmembq/3
INFO: generates (copies of) members of a queue EXAMPLE(S): ?-cmembq(key1,key2,A). no
array_get/3
db_clause/3
cnl/0
INFO: new line
commit/0
INFO: removes all choicepoints and executes current continuation
assumed/1
cut_to/1
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
compile/1
INFO: applies current compilation method to the file arg 1
rcompile/1
compound/1
INFO: true if it has arity > 0
consult/1
INFO: consults with possible duplication of clauses, allows later dynamic recompilation
consult/2
INFO: consult(File,DB) consults File into DB)
find_file/2
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
cos/2
INFO: float function
cout/1
INFO: adds a term to server, unless already a matching one there
ask_server/2
cpopq/3
INFO: pops (copy of) first element of persistent queue EXAMPLE(S): ?-cpopq(key1,key2,A). no
create_engine/1
INFO: creates an engine as big as the current one
create_engine/4
open_engine/3
create_engine/4
INFO: create_engine(Heap,Stack,Trail,IntHandle) creates an engine IntHandle
create_engine/1
ctime/1
INFO: gets elapsed time in ms EXAMPLE(S): ?-ctime(A). A = 129230; no
statistics/2
term_server_interactor/2
current_db/1
INFO: gets the name of currently active database
abolish/1
asserta/1
assertz/1
clause/2
consult/1
db_clean/0
is_asserted/1
oconsult/1
retract/1
retract1/1
retractall/1
current_engine/1
INFO: returns current engine handle
current_input/1
INFO: gets current input stream
pcollect/2
current_module/1
INFO: gets name of current module
end_module/1
current_op/3
INFO: generates/check current op/3 operator definition(s)
current_output/1
INFO: gets current output stream
current_predicate/1
INFO: generates/checks the head of an existing predicate
current_predicate/2
INFO: generates/checks name and head of a currently defined predicate
cwrite/1
INFO: basic but quick C-version of write/1
db_abolish/2
INFO: db_abolish(DB,F/N) removes predicate F/N from DB
db_assert/2
INFO: does assert/1 arg 2 into database given as arg 1
db_assertz/2
fetch_file/4
db_asserta/2
INFO: does asserta/1 arg 2 into database given as arg 1
pushq/3
asserta/1
db_asserted/2
INFO: runs predicate arg 2 if asserted in database arg 1
db_assertz/2
INFO: does assertz/1 arg 2 into database given as arg 1
addq/3
db_clause/3
INFO: clause(DB,H,B) generates a clause found in database DB with head matching H and body B
db_clean/0
INFO: abolishes all predicates in currently active database
db_clean/1
INFO: db_clean(DB) abolishes all predicates in DB
fail/0
db_head/2
INFO: generates/checks a predicate head in database (arg 1)
functor/3
db_mirror/2
INFO: mirrors a file (arg 1) as a database (arg 2)
db_move/2
INFO: db_move(FromDB,ToDB) moves the content of database FromDB over database ToDB while replacing similar predicates
oconsult/1
db_ratio/1
INFO: sets/gets call/assert ratio which triggers dynamic recompilation
integer/1
db_retract/2
INFO: does retract/1 arg 2 from database given as arg 1
array_get/3
db_retract1/2
INFO: deletes from database given as arg 1 a matching clause
retract1/1
db_retractall/2
INFO: removes fro database given as arg 1 all matching clauses
retractall/1
dcg_apply/1
INFO: applies a method like +(1) to current HAG stream
dcg_connect/1
INFO: handles a terminal symbol in HAGs, as [a] in DCGs
(#)/1
dcg_def/1
INFO: backtrackable: defines current Assumption Grammar stream
dcg_phrase/2
INFO: emulates DCG phrase/2 for HAGs
dcg_phrase/3
dcg_phrase/3
INFO: emulates DCG phrase/3 for HAGs
dcg_phrase/2
dcg_val/1
INFO: backtrackable: retrieves current Assumption Grammar stream
dconsult/1
INFO: reconsult/1 variant: cleans up data areas, consults, allowing dynamic recompilation
debugmes/1
INFO: writes message in debug mode (low quietness)
quietmes/2
default/2
INFO: default that can be overriden if assumed or asserted EXAMPLE(S): ?-default(host(A),A = localhost). A = localhost; no
callable/1
default_client_action/1
default_code/1
default_host/1
default_login/1
default_master_server/2
default_password/1
default_port/1
default_proxy_server/2
default_server_action/1
default_server_interactor/1
default_server_port/1
default_timeout/1
default_client_action/1
INFO: returns default client-side action
default/2
default_code/1
INFO: returns default remote code file on Linda server
default/2
default_host/1
INFO: returns default host for remote Linda server
default/2
ask_a_server/2
new_client/1
non_local_host/0
register_server/1
rshell/0
run_local_master_server/0
run_master_server/1
this_id/1
default_login/1
INFO: returns default (nick)name for user
default/2
say/1
default_master_server/2
INFO: returns master server (Host and Port)
default/2
ask_master_server/2
register_server/1
run_local_master_server/0
run_master_server/1
default_password/1
INFO: returns default password for user
default_port/1
INFO: returns default port for remote Linda server
default/2
default_proxy_server/2
INFO: returns proxy server (Host and Port)
default/2
ask_a_server/5
default_server_action/1
INFO: returns default server-side action
default/2
default_server_interactor/1
INFO: returns default server-side answerer
default/2
run_servant/0
default_server_port/1
INFO: returns default port to work as a server on
default_timeout/1
INFO: returns default socket wait timout
default/2
new_service/2
(delphi)/1
INFO: delphi(f/3-10) declares a Delphi predicate f/3 with memoing probability 10/100
destroy_array/1
INFO: frees an array
destroy_engine/1
INFO: destroy_engine(E) frees memory of engine E (an integer)
det_call/1
INFO: calls and detects if not deterministic
detect_host/1
INFO: guesses, if possible, an IP address different form localhost
run_master_server/1
detect_user/1
INFO: guesses the user from environment information
unix_getenv/2
dir/0
INFO: lists files under DOS
system/1
(discontiguous)/1
INFO: states that clauses of a predicate can be in different places
(multifile)/1
display/1
INFO: writes to terminal while ignoring operator definitions
drop_at_least/2
INFO: findall variant
all_but_at_least/4
(dynamic)/1
INFO: states that a predicate can be updated
dynbbgc/0
INFO: makes blackboard dynamic with gc on
ed/0
INFO: edits last compiled/consulted file with default editor and refreshes it in memory
edit/0
INFO: calls DOS editor edit on last compiled file
edit/2
INFO: edit(E,F) edits file F with editor E
emacs/0
INFO: calls emacs editor on last compiled file
end_module/0
INFO: ends current module
end_module/1
end_module/1
INFO: ends module if current, signals erro if not
errmes/2
INFO: writes error message and fails
addq/3
ask_a_server/5
bb_gc/0
cpopq/3
det_call/1
end_module/1
flush_output/1
fput_chars/2
get_code/2
handle_uncaught/1
(is)/2
new_server_on_free_port/2
pushq/3
put_char/2
put_code/2
read_tokens_from_chars/3
register_server/1
run_master_server/1
unix/1
exists_file/1
INFO: true if file exists
seen/0
file_size/2
exp/2
INFO: float function
fail/0
INFO: always fails
(\+)/1
(\=)/2
apropos/1
ask_all_servers/2
atom/1
catch/3
chat/1
cleanup_dead_servers/1
current_op/3
db_clean/1
db_move/2
db_retractall/2
det_call/1
false/0
fetch_file/4
forall/1
ground/1
info/0
info/1
listing/0
listing/2
(module)/2
(not)/1
portray_clause/1
rexec/1
rsh/1
rshell/0
show_info/2
skip_until/2
skip_when/2
statistics/0
subsumes_chk/2
talk/0
toplevel/0
while/2
false/0
INFO: always fails
fail/0
fclose/1
INFO: closes the C-stream specifiend as an integer handle
fcompile/1
INFO: compiles a *.pl or *.pro file to a *.wam bytecode file
fetch_and_call/1
INFO: fetches remote code for arg 1 and calls it
fetch_file/1
INFO: fetches code from remote file (arg 1) on server
fetch_file/4
fetch_file/4
INFO: fetches remote code, args:RemoteF,RemoteDB,Head,LocalDB
ask_remote_engine/2
db_assert/2
fail/0
quietmes/2
remote_run/2
repeat/0
start_remote_engine/3
stop_remote_engine/1
var/1
fetch_file/1
fetch_pred_for/1
INFO: fetches remote code for arg 1, without calling it
fetch_and_call/1
fetch_remote_operators/0
INFO: fetches operators in use on remote server
fflush/1
INFO: fflush(IntegerStreamNo) flushes a C-stream
flush_output/1
fget/1
INFO: downloads remote (binary) file from Linda server
fget/2
fget/2
INFO: copies remote (binary) file arg1 to local file arg 2
(=>>)/2
close_socket/1
fclose/1
fopen/3
new_client/1
quietmes/2
remote_run/1
remote_run/2
sock_read/2
sock_write/2
term_chars/2
fget/1
fget_chars/4
INFO: gets from CStream, BufSize, PlacesNotFilled, Chars
fgetc/2
INFO: fgetc(IntegerStreamNo,CharCode) inputs a char code from a C stream
file2chars/2
INFO: reads a file to a list of ascii codes
file2sock/2
INFO: writes to a socket, from a file
to_sock/2
file_extension_list/1
INFO: defines default file extensions for find_file
find_file/2
file_search_path/1
INFO: defines search path relative to BP_PATH
find_file/2
file_size/2
INFO: returns the size of a file, in bytes
find_at_most/4
INFO: findall variant
take_at_most/2
det_call/1
find_file/2
INFO: finds a file name on search path
find_while/4
INFO: findall variant
while/2
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
findall/4
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
findall/3
findall_conj/3
INFO: same as findall/3 but giving (a,b,c) instead of [a,b,c]
findall_conj/4
findall_conj/4
INFO: same as findall/4 but working with (,)/2 based sequences
findall_conj/3
findall_disj/3
INFO: same as findall/3 but working with (;)/2 based sequences
findall_disj/4
findall_disj/4
INFO: same as findall/4 but working with (;)/2 based sequences
findall_disj/3
float/1
INFO: true if represented as a 64 bit float number (C-double)
float/2
INFO: float function
(is)/2
floor/2
INFO: float to int function
integer/2
flush_output/0
INFO: flushes current output stream
flush_output/1
INFO: flushes a stream
foldl/4
INFO: iterator EXAMPLE(S): ?-foldl(+,0,[10,20,30],A). A = 60; no
foldr/4
INFO: iterator EXAMPLE(S): ?-foldr(+,0,[10,20,30],A). A = 60; no
fopen/3
INFO: Prolog equivalent of C-function: opens a stream in a given mode and returns an integer handle to it
for/3
INFO: generates an integer in a range EXAMPLE(S): ?-for(A,1,3). A = 1; A = 2; A = 3; no
argn/3
current_op/3
info/1
server_loop/2
unix_argv/1
unix_cat/1
forall/1
INFO: forall(G) backtracks over all answers to G and succeeds
fail/0
forall/2
INFO: forall(A,B) fails for all cases when A succeeds and B fails
fork_master_server/0
INFO: forks master server in separate process
run_master_server/1
fork_server/0
INFO: runs background Linda server on localhost, port 9001 by default
fork_server/1
fork_server/1
INFO: forks Linda server and returns its Pid
default_server_port/1
fork_server/0
fput/1
INFO: uploads (binary) file to Linda server (fast)
fput/2
fput/2
INFO: copies local (binary) file arg1 to remote file arg 2 (fast)
(=>>)/2
close_socket/1
fclose/1
fopen/3
new_client/1
quietmes/2
remote_run/1
remote_run/2
sock_read/2
sock_write/2
term_chars/2
fput/1
fput_chars/2
INFO: puts to CStream list of chars in arg 2
fputc/2
INFO: fputc(IntegerStreamNo,CharCode) outputs a char code to a C stream
put_code/2
from_sock/2
INFO: copies from a socket to a file (fast, all in C)
unrestricted_server_interactor/2
fsize/2
INFO: returns the size of the file associated to a C stream, in bytes
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
apropos/2
argn/3
bagof/3
bp_info/2
callable/1
current_predicate/1
current_predicate/2
db_abolish/2
db_head/2
db_move/2
float/1
listing/2
(nospy)/1
numbervars/3
set_default/1
(spy)/1
garbage_collect/0
INFO: performs heap gc now
gc/0
INFO: enables heap gc
gc_status/1
INFO: shows if heap gc is enabled or not
gensym/2
INFO: generates a new name based on arg 1
gensym_no/2
INFO: generates a new number based on arg 1
gensym/2
get/1
INFO: inputs the next char code after skiping over white space
get0/1
INFO: reads a char as an ascii code
get_char/2
INFO: inputs a char from a stream
get_code/2
INFO: inputs a char code from a stream
get_char/2
get_deep_cut/2
INFO: gets a choice point address, used with 1 arg only
get_id/1
INFO: gets identification number previously obtained from server
bb_val/3
get_neck_cut/1
INFO: gets the choice point as an integer
greater/2
INFO: arithemetic comparison
(>)/2
greater_eq/2
INFO: arithemetic comparison
(>=)/2
ground/1
INFO: true if arg has no free variables
(not)/1
halt/0
INFO: stops BinProlog
halt/1
halt/1
INFO: stops Prolog with given return code
halt/0
halt_server/0
INFO: halts Linda server
halt_server/1
halt_server/1
INFO: halts Linda server using given password
ask_server/2
halt_server/0
handle_uncaught/1
INFO: calls arg 1 as current continuation
has_info/1
INFO: checks/generates predicates Pred/Arity for which info is available
(\==)/2
info/1
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
apropos/1
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
term_hash/3
hostname/1
INFO: the name of current host, if detected, localhost if not
hypot/3
INFO: float function
id/1
INFO: gets identity info from current remote server
in/1
INFO: waits to remove a term from Linda server
cin/1
include/1
INFO: includes/loads a file with current load method
call/2
edit/2
info/0
INFO: generates info on predicates with examples
info/1
INFO: generates info and examples of use for predicate Pred/Arity
info/0
init_gensym/1
INFO: resets gensym for names based on arg 1
bb_let/3
integer/1
INFO: true if an integer
atom/1
db_ratio/1
number/1
quiet/1
set_port/1
set_server_port/1
tab/1
integer/2
INFO: float to int cast
interactive/1
INFO: toggles interactive query answering/tracing
ip_addr/1
INFO: the ip address of current host, if detected, that of localhost if not
(is)/2
INFO: calls the function evaluator, mostly for arithmetics EXAMPLE(S): ?-A is 3+4*2. A = 11; no
abs/2
bp_info/2
ceiling/2
float/2
gensym_no/2
nth_answer/2
numbervars/3
round/2
run_server/1
trim_term/4
unix_argv/1
is_asserted/1
INFO: checks if currently asserted
current_db/1
is_assumed/1
INFO: checks if currently assumed
is_assumed/2
INFO: checks if linear or intuitionistic
is_builtin/1
INFO: recognizes a predicate head as a builtin
nonvar/1
is_compiled/1
INFO: true if head of a compiled predicate
is_delphi/2
INFO: recognizes a Delphi predicate and returns its probability
is_dynamic/1
INFO: checks if dynamic
callable/1
is_engine/1
INFO: recognizes and integer as an engine handle
is_module/1
INFO: recognizes/generates a module name
modules/1
is_prolog/1
INFO: recognizes binprolog - useful for portability
scompile/1
is_public/1
INFO: checks predicate head if globally visible
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
bagof/3
length/2
INFO: generates/mesures length of a list
var/1
less/2
INFO: arithemetic comparison
(<)/2
less_eq/2
INFO: arithemetic comparison
(=<)/2
list_engines/1
INFO: lists available engine handles
is_engine/1
listify/2
INFO: transforms, if needed, to list of chars
name/2
remote_mes/3
listing/0
INFO: lists current database
listing/1
INFO: lists given predicate if in current database
listing/2
listing/2
INFO: lists predicate F of arity N if in current database
fail/0
functor/3
is_asserted/1
is_assumed/1
is_compiled/1
write/1
load/1
INFO: clean loads from a bytecode *.wam file
abort/0
rload/1
load_engine/3
INFO: load_engine(E,Goal,Answer) prepares engine E to execute Goal/Answer
open_engine/3
log/2
INFO: float function
log/3
INFO: returns log in base arg 1 of arg 2, a float EXAMPLE(S): ?-log(2,8,A). A = 3; no
ls/0
INFO: list files under Unix
system/1
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
main/1
INFO: default startup predicate
make_array/2
INFO: creates an array
map/3
INFO: maps a function to a list EXAMPLE(S): ?-map(+1,[10,20],A). A = [11,21]; no
master_server_interactor/2
INFO: filters commands available on master server
mcompile/1
INFO: compile/1 variant: cleans up data areas and compiles to memory
abort/0
scompile/1
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
member/2
apropos/1
ask_all_servers/2
cleanup_dead_servers/1
is_engine/1
member/2
(module)/2
rexec/1
rsh/1
show_info/2
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
(memo)/1
INFO: declares a predicate Name/Arity to be memoized
metacall/1
INFO: calls the interpreter
mod/3
INFO: modulo EXAMPLE(S): ?-mod(10,3,A). A = 1; no
(module)/2
INFO: starts a module specifying a list of visible predicates
modules/1
INFO: returns a list of existing modules
is_module/1
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
(multifile)/1
INFO: states that clauses of a predicate can be in different files
(discontiguous)/1
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
apropos/2
get_char/2
listify/2
put_char/2
sread/3
swrite/2
swrite/3
system/2
namecat/4
INFO: concatenates 3 names EXAMPLE(S): ?-namecat(a,:,b,A). A = a:b; no
new_client/1
INFO: creates new client socket and returns it
new_client/3
INFO: from a (host,port) to a client
new_name/2
INFO: returns a new name based on arg 1
new_server/2
INFO: opens on a port a new server
new_server_on_free_port/2
new_server_on_free_port/2
INFO: runs new server on first random free port
run_server/1
new_service/2
INFO: creates new service socket on server socket and returns it
term_server_action/1
new_service/3
INFO: from (server,timeout) to a service
new_service/2
nobbgc/0
INFO: disables blackboard gc
nogc/0
INFO: disables heap gc
non_local_host/0
INFO: checks if BinProlog is talking to a remote host
nonvar/1
INFO: true if currently instantiated
argn/3
asserted/1
bp_info/2
callable/1
compound/1
current_op/3
current_predicate/1
current_predicate/2
db_asserted/2
db_clause/3
float/1
fput_chars/2
info/1
interactive/1
is_builtin/1
is_module/1
new_server_on_free_port/2
predicate_property/2
read_tokens_from_chars/3
term_chars/2
was_assumed/1
(nospy)/1
INFO: do not spy on Pred/Arity anymore
notrace/0
(not)/1
INFO: sound negation
notepad/0
INFO: calls notepad editor on last compiled file
notrace/0
INFO: do not trace predicates when interpreted
(nospy)/1
nth_answer/2
INFO: findall variant
nth_member/3
INFO: retrieves N-th element of a list
number/1
INFO: true if integer or float
numbervars/3
INFO: binds to $VAR(I) with I over distinct integers variables in a term
(##)/1
(=)/2
atomic/1
functor/3
(is)/2
numbervars/3
oconsult/1
INFO: reconsult/1 variant: consults and overwrites old clauses
older_file/2
INFO: true if arg 1 is a file older than arg 2
once/1
INFO: executes with no backtracking
op/3
INFO: op(Pri,A,Op) defines an operator Op of priority Pri and associativity A
open/3
INFO: returns a stream (arg 3) on a file (arg 1) in read/write/append mode (arg 2)
open_engine/3
INFO: open_engine(G,X,E) creates an engine E ready to execute goal G with answer X
otherwise/0
INFO: always succeeds
out/1
INFO: puts a term on Linda server
ask_server/2
ask_servant/3
pclose/1
INFO: closes a pipe generated stream
pcollect/2
INFO: collects output from a command to a list of char codes
peer_addr/2
INFO: gets address of peer connected to socket
peer_port/2
INFO: gets port of peer connected to socket
phrase/2
INFO: DCG evaluator
phrase/3
phrase/3
INFO: DCG evaluator
(=)/2
phrase/2
pico/0
INFO: calls pico editor on last compiled file
ping/0
INFO: checks if server is alive
ping/1
ping/1
INFO: checks if server is alive and returns its current CPU time
ping/0
popen/3
INFO: popen(Cmd,read/write,Stream) opens Stream using a pipe from/to process executing Cmd
(=)/2
portray_clause/1
INFO: pretty prints a clause
fail/0
predicate_property/2
INFO: returns a property of a predicate EXAMPLE(S): ?-predicate_property(write(A),B). A = _x117350; B = built_in; no
nonvar/1
apropos/2
print/1
INFO: variant of write/1
prod/2
INFO: product of a list EXAMPLE(S): ?-prod([10,20],A). A = 200; no
foldl/4
proxy/4
INFO: args: Host,Port,Query,Answer, asks proxy to forward Query to Host
ask_a_server/2
(public)/1
INFO: declares globally visible predicate Name/Arity
(public)/1
(public)/1
push_code/1
INFO: moves code to kernel after compile, returns top of code area
pushq/3
INFO: adds to beginning of persistent queeue EXAMPLE(S): ?-pushq(key1,key2,f(A,A)). A = _x117267; no
db_asserta/2
put/1
INFO: writes and ascii code as a char EXAMPLE(S): ?-put(99). c yes
put_char/2
INFO: outputs a char to a stream
put_code/2
INFO: outputs a char code to a stream
put_char/2
pwd/0
INFO: shows current dir
system/1
pwd/1
INFO: returns current dir as a list of chars
pcollect/2
quiet/1
INFO: gets/sets level of "quietness"
integer/1
quietmes/1
INFO: writes message if in low quietness mode
quietmes/2
quietmes/2
INFO: writes message if quietness is lower than arg 1)
ask_all_servers/2
ask_server/2
chat/1
debugmes/1
fetch_file/4
fget/2
fput/2
from_sock/2
new_server_on_free_port/2
quietmes/1
rshell/0
run_servant/0
run_server/1
server_loop/2
start_remote_engine/3
stop_remote_engine/1
talk/0
term_client_step/3
to_sock/2
random/1
INFO: returns a random integer EXAMPLE(S): ?-random(A). A = 1609; no
default_password/1
random_seed/1
INFO: initializes random/1 with an integer, uses clock if 0
rcompile/1
INFO: downloads to cache/file.pl and compiles
compile/1
rconsult/1
INFO: downloads to cache/file.pl and reconsults
reconsult/1
rd/1
INFO: reads a terms matching arg 1 from Linda server
read/1
INFO: reads a term
read_chars/1
INFO: reads list of ascii codes
read_term/2
INFO: reads a term and also a list of variable-name associations
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
read_term_from_chars/3
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
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
reboot/0
INFO: regenerates BinProlog from its sources
boot/0
reconsult/1
INFO: applies current consult method to file: arg 1
refresh_servers/0
INFO: asks master server to update its list of servers
refresh_servers/1
chat/1
refresh_servers/1
INFO: asks master server to update its list of servers matching arg 1
ask_master_server/2
refresh_servers/0
register_server/0
INFO: registers this on master server
register_server/1
INFO: registers this on master server and returns answer
remote_mes/3
INFO: sends From, Mes and returns yes if displayed on server
say/1
remote_run/1
INFO: runs Goal on remote Linda server
ask_server/2
ask_remote_engine/2
fget/2
fput/2
rexec/2
rsh/2
start_remote_engine/3
stop_remote_engine/1
remote_run/2
INFO: runs arg 2 on remote server and unifies arg 1 with result
ask_server/2
fetch_file/4
fetch_remote_operators/0
fget/2
fput/2
rexec/2
start_remote_engine/3
repeat/0
INFO: backtracks until its continuation succeeds; defined as repeat. repeat:-repeat.
repeat/0
chat/1
fetch_file/4
get/1
repeat/0
rshell/0
talk/0
toplevel/0
restart/0
INFO: cleans up data areas
retract/1
INFO: backtracks over deleting matching clauses
retract1/1
INFO: deletes first matching clause in the current database
retractall/1
INFO: deletes all matching clauses
set_default/1
rexec/1
INFO: runs arg 1 as a remote PC command and prints the result
rshell/0
rexec/2
INFO: runs arg 1 as a remote PC command and collects the result
rexec/1
rget/1
INFO: downloads remote (binary) file from Linda server
rget/2
rget/2
INFO: copies remote (binary) file arg1 to local file arg 2
rget/1
rload/1
INFO: downloads to cache/file.bp and loads it
load/1
round/2
INFO: float to int function
(is)/2
rput/1
INFO: uploads (binary) file to Linda server
rput/2
rput/2
INFO: copies local (binary) file arg1 to remote file arg 2
rput/1
rsh/1
INFO: runs arg 1 as a remote shell command and prints result
rsh/2
INFO: runs arg 1 as a remote shell command and collects the result
remote_run/1
rsh/1
rshell/0
INFO: runs commands on remote PC and prints the result
default_host/1
fail/0
quietmes/2
read_chars/1
repeat/0
rexec/1
term_chars/2
write/1
run_default_server/0
INFO: runs foreground Linda server on localhost, port 9001 by default
run_local_master_server/0
INFO: runs master server on local host
run_master_server/0
INFO: runs master server keeping track of servers
run_master_server/1
run_master_server/1
INFO: runs kind of master server given as arg 1
(==)/2
(=>>)/2
default_host/1
default_master_server/2
detect_host/1
errmes/2
run_servant/0
INFO: executes queries obeying to sever at default host, port
run_server/0
INFO: runs foreground Linda server on localhost, on a free port
run_server/1
run_server/1
INFO: runs foreground Linda server on given or on free Port
(=>>)/2
close_socket/1
default_password/1
(is)/2
new_server_on_free_port/2
quietmes/2
register_server/1
run_unrestricted_server/0
INFO: runs foreground Linda server on localhost, on a free port
(=>>)/2
say/1
INFO: sends Mes and succeds if displayed on server
talk/0
scompile/1
INFO: smart compile/1 variant: if the *.wam file is newer reloads otherwise fcompiles first
sconsult/1
INFO: reconsult/1 variant: cleans up data areas consults, makes all static
see/1
INFO: focuses input on a file
see_at/1
INFO: seeks a seekable file at a give offset (in bytes)
seeing/1
INFO: gets file name opened and set by see/1
(spy)/1
seeing_at/1
INFO: retrieves position in current file opened by see/1
seen/0
INFO: close file opened by see/1
exists_file/1
server_loop/2
INFO: answers client queries on server
set_c_threshold/1
INFO: sets C-ification threshold
set_client_action/1
INFO: asserts default client-side action
set_default/1
set_code/1
INFO: asserts default file on server - for remote code fetching
set_default/1
set_db/1
INFO: sets the name of active database for dynamic code
oconsult/1
set_default/1
INFO: asserts arg 1 as default state for use by default/2
set_client_action/1
set_code/1
set_host/1
set_login/1
set_master_server/2
set_password/1
set_port/1
set_proxy_server/2
set_server_action/1
set_server_interactor/1
set_timeout/1
set_host/1
INFO: asserts IP adress or name of server host we want to talk to
set_default/1
set_id/1
INFO: sets identification number after receiving it from a server
bb_let/3
set_input/1
INFO: sets current input stream
pcollect/2
set_login/1
INFO: asserts default (nick)name for user
set_default/1
set_master_server/2
INFO: asserts default master server (Host and Port)
set_default/1
set_output/1
INFO: sets current output stream
set_password/1
INFO: asserts default password for user
set_default/1
default_password/1
set_port/1
INFO: asserts port number of the server we want to talk to
set_proxy_server/2
INFO: asserts default proxy server (Host and Port)
set_default/1
set_server_action/1
INFO: asserts default server-side action
set_default/1
set_server_interactor/1
INFO: asserts default server-side interactor
set_default/1
set_server_port/1
INFO: asserts default port for to work as a server on
integer/1
set_timeout/1
INFO: asserts default socket wait timout
set_default/1
setarg/3
INFO: backtrackable: setarg(I,T,X) replaces arg I of T with X EXAMPLE(S): ?-setarg(2,f(a,b),c). yes
setof/3
INFO: all solutions predicate generating sets of answers
sort/2
shell/1
INFO: passes a command to the OS
system/1
show_engine/0
INFO: if debugmes/1 is on (as with quiet(1)), shows params of current engine
show_info/2
INFO: generates components of info/1 output
sign/2
INFO: int function
sin/2
INFO: float function
skip_until/2
INFO: findall variant
fail/0
nth_answer/2
skip_when/2
INFO: findall variant
fail/0
drop_at_least/2
sleep/1
INFO: waits arg 1 seconds
sock2file/2
INFO: reads from a socket, to a file
from_sock/2
sock_read/2
INFO: reads from a socket, a string
sock_readln/2
INFO: reads from a socket, a line
sock_write/2
INFO: writes to a socket, a string
sock_writeln/2
INFO: writes to a socket, a line
solutions/2
INFO: adds output arg to closure in arg 1, executes and collects
term_append/3
sort/2
INFO: sorts and removes duplicates EXAMPLE(S): ?-sort([2,1,3,1,4,4,2],A). A = [1,2,3,4]; no
(spy)/1
INFO: set spy point on goal, triggering trace when interpreted
trace/0
spying/1
INFO: checks what we are spying
is_builtin/1
sqrt/2
INFO: returns square root of arg 1, a float EXAMPLE(S): ?-sqrt(2,A). A = 1.41421; no
sread/2
INFO: reads a term from a string (atom)
sread/3
sread/3
INFO: reads a term and a list of vars from a string (atom)
sread/2
start_remote_engine/3
INFO: starts remote engine, args: Answer,Goal,Engine
fetch_file/4
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
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
stop_remote_engine/1
INFO: stops and frees resources of remote engine
fetch_file/4
stop_server/0
INFO: stops server and forces it back to intractive mode
stop_server/1
stop_server/1
INFO: stops server using given password
ask_server/2
stop_server/0
subsumes_chk/2
INFO: checks if arg 1 is subsumed by arg 2, after renaming vars
fail/0
variant_of/2
sum/2
INFO: sum of a list EXAMPLE(S): ?-sum([10,20],A). A = 30; no
foldl/4
swrite/2
INFO: writes a term to a string (atom)
swrite/3
INFO: writes a term with a liste of vars to a string (atom)
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
system/1
INFO: passes a command to the OS
system/2
system/2
INFO: passes a command to the OS and gets back return code
system/1
tab/1
INFO: outputs N blanks
integer/1
take_at_most/2
INFO: findall variant
find_at_most/4
talk/0
INFO: sends what you type in another BinProlog user
fail/0
quietmes/2
read_chars/1
repeat/0
say/1
write/1
tan/2
INFO: float function
tell/1
INFO: focuses output on a file
tell_at/1
INFO: moves output file pointer to a given offset (in bytes)
tell_at_end/1
INFO: focuses output on file opened in append mode
telling/1
INFO: gets file name opened and set by tell/1
telling_at/1
INFO: retrieves output file position (in bytes)
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
call/2
call/3
call/4
call/5
call/6
call/7
dcg_apply/1
solutions/2
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
nonvar/1
atom_chars/2
fget/2
fput/2
rshell/0
swrite/2
term_client_step/3
term_client_action/4
INFO: opens client socket and sends query
term_client_step/3
INFO: sends query on client socket
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
hkey/2
term_server_action/1
INFO: opens service socket and answers query
term_server_interactor/2
INFO: filters secure commands known to the server
term_server_step/1
INFO: answers query on service socket
textedit/0
INFO: calls texedit editor on last compiled file
this_id/1
INFO: gets identity info of this server
term_server_interactor/2
throw/1
INFO: throws a term to be caught by a matching catch
(=)/2
assumed/1
call_cont/1
copy_term/2
throw/1
untrail_to/1
throw/1
to_sock/2
INFO: copies from a file to a socket (fast, all in C)
unrestricted_server_interactor/2
told/0
INFO: closes file opened by tell/1
topcall/1
INFO: calls arg 1 and signals uncaught throws
catch/3
handle_uncaught/1
toplevel/0
INFO: interactive toplevel Prolog loop
topstep/1
INFO: interactive toplevel Prolog step
toplevel/0
trace/0
INFO: trace all predicates when interpreted
(spy)/1
trace/1
INFO: traces execution of a goal
trim_term/4
INFO: trim_term(D,Filler,T,NewT) replaces subterms of T deeper than D with Filler
truncate/2
INFO: float to int function
integer/2
ttyprin/1
INFO: writes to terminal
topstep/1
ttyprint/1
INFO: writes to terminal with a new line
unix/1
INFO: executes various Unix commands
errmes/2
pclose/1
pcollect/2
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
unix_access/2
INFO: checks if arg1 (a path+file) is accessible in arg 2 (integer) mode
unix/1
unix_argc/1
INFO: gets cmd line arg counter EXAMPLE(S): ?-unix_argc(A). A = 1; no
unix_argv/1
INFO: gets the list of cmd line args from 1 to argc EXAMPLE(S): ?-unix_argv(A). A = []; no
unix/1
unix_argv/2
INFO: gets a cmd line arg from 0 to argc EXAMPLE(S): ?-unix_argv(0,A). A = ru; no
unix_cat/1
INFO: prints a file to user terminal
unix/1
unix_cd/1
INFO: changes local dir to arg 1
unix_fork/1
INFO: starts child process with Unix fork
unix/1
unix_getenv/2
INFO: gets an environment variable
unix_kill/2
INFO: sends signal arg 1 to process with pid arg 2
unix/1
unix_pid/1
INFO: returns process id of current process
unix/1
unrestricted_server_interactor/2
INFO: allows unrestricted commands run1/ run/2 on the server
untrail_to/1
INFO: unwinds the trail up to a choice point
throw/1
var/1
INFO: true if currently a variable
variant_of/2
INFO: checks if args are the same up to a renaming of vars
subsumes_chk/2
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
vi/0
INFO: calls vi editor on last compiled file
was_assumed/1
INFO: checks if it was assumed in current AND-branch
nonvar/1
while/2
INFO: findall variant
fail/0
write/1
INFO: writes to current output stream
apropos/1
chat/1
info/1
listing/2
rshell/0
show_info/2
talk/0
write_chars/1
INFO: writes list of ascii codes
write_chars/1
write_chars/1
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
write_term_to_chars/3
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
writeq/1
INFO: variant of write/1
yell/1
INFO: broadcasts Mes to all servers on default master server
(=>>)/2
~ /1
INFO: short hand for reconsult
reconsult/1