| A |
bolish(+Name/Arity)
Name Arity.
abort(+Code)
restart. restart, , .
arg(+N,+Term,-Value)
Value N - Term.
arg0(+N,+Term,-Value)
Value N +1- Term.
argrep(+Term,+N,+Arg,-Newterm)
N - Arg Newterm.
assert(+Clause)
. assertz.
assert(+Clause,+N)
Clause N - .
asserta(+Clause)
Clause .
assertz(+Clause)
Clause .
atom(?X)
, X .
atom_string(?Atom,?String)
. Arity/Prolog. Arity/Prolog32 , , , : atom_string(X, X):- string(X).
atomic(?X)
, X () .
| B |
bagof(?Term,+Spec,-Bag)
Spec Goal, Var^Spec, , Var . Bag Term, Goal.
betweenb(+BTree,?Key1,?Key2,?Relation1,?Relation2,?Key,?Term)
b-, Key1 Key2. Relation1 Relation2 () <, >, =.
betweenkeysb(+BTree,?Key1,?Key2,?Key)
b-, Key1 Key2.
bit_count(+Int,-Count)
Count Int, .
bit_lit(+Bit,+Int)
, Bit 1 Int. , 0.
bit_unlit(+Bit,+Int)
, Bit 0 Int. , 0.
break
. :?- ??- ???-, .. , Ctrl-Z.
btree_count(+Btree,-/+Count)
Count b- Btree.
| C |
call(+P)
P , P.
call(+A,+P)
P , P, A , evalAddress/2.
|
|
|
case(+[A1 -> B1, A2 -> B2,...|C])
B1, A1, B2, A2, .. , C.
case(+[A1 -> B1, A2 -> B2,...])
B1, A1, B2, A2, .. , case .
chdir(?Path)
Path.
chmod(+Filename,?Attributes)
- Attributes Filename.
clause(+Head,-Body)
Head Body .
close(+Handle)
, Handle.
cls
.
code_world(?Old,?New)
Old New.
command_string(-X)
X, . .
compare(-Comp,+T1,+T2)
compare(-Comp,+T1,+T2,+Case)
T1 T2 Comp . =, <, >. Case : 0 ; 1 .
concat(+String1,+String2,-Result)
Result. ASCII- , .
concat(+[String1,String2,...], -Result)
Result. ASCII- , .
consult(+Filename)
, .
create(-Handle,+Filename)
Handle. Filename , .
create_world(+World_name)
.
ctr_dec(+Ctr,-X)
Ctr 1 X .
ctr_inc(+Ctr,-X)
Ctr 1 X .
ctr_is(+Ctr,-X)
X Ctr.
ctr_set(+Ctr,+X)
X Ctr.
current_op(?Prec,?Assoc,?Op)
, .
current_predicate(?Predicate)
, . Predicate , name/arity.
| D |
data_world(?Old,?New)
Old New.
date(?date(Year,Month,Day))
.
date_day(+date(Year,Month,Day),-WeekDay)
0 () 6 ().
dbPartition(-OldPartition,+NewPartition)
, .
dbsLen(+Term,-Len)
|
|
|
, term2dbs/2 term2dbcs/4.
debug
debug(+File)
, leep. File, .
debugger
.
dec(+N,-X)
1 N X .
defineb(+BTree,+SplitSize,+Uniqueness,+Order)
defineb(+BTree,+SplitSize,+Uniqueness,+Order,+Case)
b-.
defineh(+Table_Name,+HashBuckets)
HashBuckets, - Table_Name.
delete(+Filename)
.
delete_world(+World_name)
World_name.
directory(+Path,-Name,-Mode,-Time,-Date,-Size)
Path. Mode :
ü 1 (read only);
ü 2 (hidden);
ü 4 ;
ü 16 ;
ü 32 .
disk(?DiskName)
( ) , . DiskName.
display(+Term)
display(+Handle,+Term)
, Handle.
| E |
eq(?X,?Y)
, X Y .
erase(+Ref)
, , , .
eraseall(+Key)
, .
errcode(-OldCode,+NewCode)
OldCode / NewCode.
expand_term(+Term,-Newterm)
, DCG-, .
expunge
.
| F |
fail
.
file_list(+Filename)
Filename.
file_list(+Filename,+Name/Arity)
Name/Arity Filename.
fileerrors(?Old,?New)
/ . , New on, New off.
findall(?Term,+Goal,-List)
Term, Goal , List. , .
float(?X)
, X .
float_text(?Number,?Text,?Format)
, Format, . Format
ü fixed(N) N ;
ü scientific(N) N .
flush
.
functor(?Struct,?Name,?Arity)
.
| G |
gc
. .
get(?Char)
get(+Handle,?Char)
Handle, , ASCII Char.
get0(?Char)
get0(+Handle,?Char)
Handle ASCII Char. get0 .
|
|
|
get0_noecho(?Char)
ASCII Char. get0_noecho .
get_bit(+Bit,+Int,-Value)
Value ( 0, 1) .
get_cursor(-Low_scan,-High_scan)
.
getEnvVar(+Variable,-/+Valve)
(, PATH). , .
ground(?Term)
, Term , .. .
| H |
halt
.
halt(+Exit_code)
Exit_code.
hard_erase(+Ref)
. erase hard_erase .
| I |
ifthen(+P,+Q)
Q, P. P , ifthen Q.
ifthenelse(+P,+Q,+R)
Q, P, R.
in(+Port,?Byte)
/.
inc(+N,-X)
1 N X.
instance(+Ref,-Term)
, .
int_text(?Integer,?Text)
. , .
integer(?X)
, X .
X is E
() E X.
| K |
key(+Key,-Ref)
.
key_count(+Key,-Count)
, .
keyb(-Ascii,-Scan)
keyb(-Ascii,-Scan,-/+Flags)
ASCII- Scan-. Flags :
ü 1 , shift;
ü 2 , shift;
ü 4 control;
ü 8 alt;
ü 16 scroll lock;
ü 32 caps lock;
ü 128 .
keyb_peek(-Ascii,-Scan)
keyb_peek(-Ascii,-Scan,-/+Flags)
ASCII- Scan- . Flags , keyb.
keys(?Key)
. Key, .
keysort(+L1,-L2)
L1 . Key -Value. . L2.
| L |
leash(+Mode)
. Mode full, tight, half loose.
length(+List,-N)
N List.
list_text(?List,?String)
.
listing
|
|
|
.
listing(+Name)
listing(+Name/Arity)
listing(+[Name/Arity,Name/Arity])
, () ( ) .
load_key(+Filename,+Key)
.
lock
Ctrl-Break . lock 1 ( ). unlock.
| M |
mkdir(+Path)
. Path ( ), , . Path , .
mth_ref(+Ref,+Dir,-NewRef)
(Dir = -1), (Dir = 1) Ref.
| N |
name(?Atom,?List)
( ) .
nl
nl(+Handle)
Handle.
nodebug
nodebug(-File)
. File, , .
nonvar(?X)
, X .
nospy(+Name)
nospy(+Name/Arity)
.
not(+P)
, P ; .
notrace
notrace(-File)
, nodebug.
nref(+Ref,-Next)
, .
nth_char(+N,-String,-Char)
ASCII- N - . 0.
nth_ref(+Key,+N,-Ref)
N - , .
number(?X)
, X ( ).
| O |
op(+Prec,+Assoc,+Op)
, .
open(-Handle,+Filename,+Access)
. Access
ü r ;
ü w ;
ü a ;
ü rw /;
ü ra /;
ü dw ;
ü drw /;
ü cn , ;
ü fe , ;
ü re , ;
ü ni .
, , , [r,dw].
| P |
p_open(-/+Handle,+Filename,+Access)
Filename. , p_open , path autoexec.bat.
p_open(-Handle,+Filename,+Type,+Pathvar)
Filename. Pathvar include, help path.
pfname(+FileName,?/+Prefix,?/+Name,?/+Extension,?/+HasExt)
: , . HasExt 121 110 (ASCII- y n).
pref(+Ref,-Prev)
.
put(+Char)
put(+Handle,+Char)
Handle.
| R |
randomize(+Seed)
. Seed .
read(-Term)
read(+Handle,-Term)
Handle.
read_ascib(+Handle,+Text)
Handle; , .
read_asciw(+Handle,+Text)
Handle; (16 ) , .
read_asciz(+Handle,+Text)
Handle.
read_asciz_field(+Handle,+Width,+Text)
Handle.
|
|
|
read_float(+Handle,+Float)
8 Handle .
read_int8(+Handle,+Integer)
8 Handle .
read_int16(+Handle,+Integer)
16 Handle .
read_int32(+Handle,+Integer)
32 Handle .
read_line(+Handle,-Line)
Handle.
read_string(+MaxLength,-String)
read_string(+Handle,+MaxLength,-String)
MaxLength , Handle.
reconsult(+Filename)
, , , , .
record_after(+Ref,?Term,-Newref)
Ref , .
record_before(+Ref,?Term,-Newref)
Ref .
record_visi(+Goal,+Type,+Offset)
. Type : 1 prolog, 2 eval, 3 evalpost, Offset . , Type=0.
recorda(+Key,?Term,-Ref)
, .
recordb(+BTree,+Sort_Key,+Term)
b-.
recorded(+Key,?Term,-Ref)
, .
recorded(+Key,+Dir,?Term,-Ref)
, . Dir: 1 ; 0 .
recorded_nth(+Key,+N,-Term,-Ref)
N - , , .
recorded_ref(+Ref,+Dir,?Term,-Ref)
, . Dir: 1 ; 0 .
recorded_terms(+Key,?Match,-Terms)
, , Match.
recorded_tro(+Key,?Term,-Ref)
, . recorded_tro , , , recorded.
recordh(+Table_name,+Sort_key,+Term)
-.
recordz(+Key,?Term,-Ref)
, .
ref(?X)
, X .
refPartition(+Ref,-Partition)
(partition) , .
removeallb(+BTree)
b-.
removeallh(+Table_name)
-.
removeb(+BTree,+Sort_key,?Term)
b-. Term , Sort_key.
removeb(+BTree,+Sort_key)
b-, Sort_key.
removeh(+Table_name,+Sort_key,?Term)
-. Term , Sort_key.
rename(+Filename,+NewName)
.
repeat
( , ).
replace(+Ref,+Term)
replace(+Ref,+Term,-NewRef)
, , , Term. , NewRef Ref , . NewRef , .
replaceb(+BTree,+Sort_key,+Old_term,+New_term)
, b-.
replaceh(+Hashtable,+Key,?Term0,+Term)
Term0 - , Term.
reset_op
, .
resetspy
.
restore
, , .
restore(+Name)
, Name.
retract(+Clause)
.
retrieveb(+BTree,?Sort_key,?Term)
b-.
retrieveb_keys(+BTree,-Keys)
Keys b- .
retrieveb_nth(+BTree,+N,-Sort_key)
N- b-.
retrieveb_terms(+BTree,-Terms)
Terms b- .
retrieveb_terms(+BTree,+Sort_key,-Terms)
Terms, Sort_key, b- .
retrieveh(+Table_name,?Sort_key,?Term)
-.
rmdir(+Path)
.
| S |
save
, , .
save(+Name)
Name.
scan_code(+Ascii,-Scan)
Scan-, Ascii.
screen_height(?/+Old,?/+New)
( ) 25, 43 ( EGA, VGA), 50 ( VGA).
searchPath(+PathSpec,+FileSpec,+Flags, -/+CompleteFileSpec)
. PathSpec . , . Flag: 1 ; 2 PathSpec ; 4 , EXE- .
see(+Filename)
.
see_h(+Handle)
Handle .
seeing(?Filename)
, see. see_h, seeing .
seek(+Handle,+Offset,+Method,-NewLoc)
. Offset . Method Offset, : bof ; eof current .
seen
.
set_bit(+Bit,+NewValue,+OldInt,-NewInt,-OldValue)
, .
set_bits(+OldInt,+Mask,+Data,-NewInt)
, Mask, , Data.
set_cursor(+Low_scan,+High_scan)
, Low_scan High_scan.
set_cursorshape(+Shape)
: 0 , 1 (█), 2 (▄) 3 (_).
setof(?Term,+Goal,-Set)
Term, Goal, (Set).
setup_editor(+Bkgrnd,+Border,+Status,+ROE,+SOE,+Indent)
Arity/Prolog32.
shell
. () exit. .
shell(+Command)
.
skip(+Char)
skip(+Handle,+Char)
Handle , Char.
sort(+L1,-L2)
L1 , , L2.
sortkey(+Key)
.
spy(+Name)
spy(+Name/Arity)
.
statistics
, Arity/Prolog32.
statistics(+Info,-Struct)
Arity/Prolog32. Info , , , trail-, , , edb, .
stdin(+Filename,+Goal)
.
stdinout(+InFile,+OutFile,+Goal)
.
stdout(+Filename,+Goal)
.
string(?X)
, X .
string_length(+String,?Length)
. Length , , String.
string_lower(+Text,-Lower)
Text .
string_search(+SubString,+String,-Location)
( ) Location. Location ( 0). .
string_search(+Case,+SubString,+String,-Location)
( ) Location. Location ( 0). . Case 0, . Case 1, .
string_term(?String,?Term)
.
string_termq(?/+Quotestring,?/+Term)
string_term, writeq.
string_upper(+Text,-Lower)
Text .
substring(+InString,+N,+Length,-OutString)
. N ( 0). Length .
syntaxerrors(?Old,?New)
Arity/Prolog32 .
system(?Predicate)
, Predicate (, , evaluable) . Predicate , , /.
system(?Predicate,-Old,+New)
, , . on , .
sysflag(+FlagNo,-Old,+New)
/ . : FlagNo = 11, off.
| T |
tab(+Num)
. Num 0 255.
tab(+Handle,+Num)
. Num 0 255.
tchar(-Char,-Attr)
.
tell(+Filename)
.
tell_h(+Handle)
Handle.
telling(?Filename)
, tell. tell_h, telling .
term_concat(+Functor,+Args,-Term)
Term, .
tget(?Row,?Column)
.
tget_screen(?Row,?Column)
.
time(?time(Hours,Minutes,Seconds,Hundredths))
.
tmove_screen(+Row,+Column)
.
told
, .
trace
, creep.
trace(+File)
, .
true
.
| U |
unlock
1 . lock , Ctrl-Break , .
| V |
var(?X)
, X .
varnames(?Term)
.
| W |
wa(+Count,+Attribute)
. Count, .
wc(+Count,+Char)
, .
wca(+Count,+Char,+Attribute)
Attribute , .
what_btrees(-Btree)
b-.
what_worlds(?X)
.
workspace(-OldWorkspaceNumber,+NewWorkspaceNumber)
/ (0...3).
write(+Term)
write(+Handle,+Term)
.
write_ascib(+Handle,+Text)
Text Handle, , .
write_asciw(+Handle,+Text)
Text Handle, (16 ), .
write_asciz(+Handle,+Text)
, , Handle.
write_asciz_field(+Handle,+Width,+Text)
, Handle.
write_ctrl_text(+Key,+Label)
.
write_float(+Handle,+Float)
Handle 8- .
write_int8(+Handle,+Integer)
Handle 8- .
write_int16(+Handle,+Integer)
Handle 16- .
write_int32(+Handle,+Integer)
Handle 32- .
write_key(+Key,+File,+Backup)
ASCII- Backup 1 File, .BAK .
writeq(+Term)
writeq(+Handle,+Term)
, , .
