kprolog K-Prolog Compiler Version 6.0

A | B | C | D | E | F | G | H | I | J | K | L | M
N | O | P | Q | R | S | T | U | V | W | X | Y | Z

!/0
$/0
,/2
- /1
->/2
->;/3
./2
;/2
<+/1
<+/2
</2
<=/2
=../2
=/=/2
=:=/2
=</2
==/2
=>/2
=\=/2
>/2
>=/2
@</2
@=</2
@>/2
@>=/2
\+/1


TOP A

abolish/1
abolish/2
abolish/3
abort/0
acyclic_term/1
append/3
arg/3
assert/1
assert/2
asserta/1
assertz/1
atom/1
atom_chars/2
atom_codes/2
atom_concat/3
atom_length/2
atomic/1


TOP B

bagof/3
break/0
builtin/1


TOP C

call/1
callable/1
catch/3
cd/1
char_code/2
char_conversion/2
chdir/1
clause/2
clause/3
close/0
close/1
close/2
compare/3
compile/1
compile/2
compile_option/1
compound/1
consult/1
consult_time/2
copy_term/2
current_char_converson/2
current_input/1
current_key/1
current_op/3
current_output/1
current_predicate/1
current_predicate/2
current_prolog_flag/2
current_value/2
cyclic/1
cyclic_term/1


TOP D

db_abolish/1
db_create/2
db_delete/2
db_get/2
db_get/3
db_next/3
db_put/2
db_put/3
db_readall/1
db_reference/2
db_rewind/1
db_whatis/2
db_writeall/1
depth/1
dir/3
discontiguous/1
display/1
display_ancestors/0
dynamic/1


TOP E

edit/1
editor/1
editp/1
encode/2
encode/2
end/0
end_of_file/0
ensure_loaded/1
erase/1
eraseall/1
execv/1
extern/1


TOP F

fail/0
fileerrors/0
findall/3
float/1
flush_output/0
flush_output/1
fname/2
forall/2
fork/1
ftime/4
functor/3


TOP G

gc/0
get/1
get0/1
get_byte/1
get_byte/2
get_char/1
get_char/2
get_code/1
get_code/2
getenv/2
getmem/2
getval/2
global/1
ground/1


TOP H

halt/0
halt/1
history/0


TOP I

initialization/1
instance/2
integer/1
is/2


TOP J

juliantime/10


TOP K

keysort/2


TOP L

length/2
listh/1
listing/0
listing/1
listing/1
listing/1
listp/1
load_compiled_modules/1
load_compiled_modules/2
log/1
logging/1


TOP M

maxnest/2
member/2
mode/1
module/1
multifile/1


TOP N

name/2
name/2
nofileerrors/0
nolog/0
nonvar/1
not/1
nth/3
number/1
number_chars/2
number_codes/2
numbervars/1
numbervars/3


TOP O

once/1
op/3
open/3
open/4


TOP P

peek_byte/1
peek_byte/2
peek_char/1
peek_char/2
peek_code/1
peek_code/2
permutation/2
predicate/6
predicate_property/2
public/1
purge/1
put/1
put_byte/1
put_byte/2
put_char/1
put_char/2
put_code/1
put_code/2


TOP Q


TOP R

read/1
read/2
read_term/2
read_term/3
reconsult/1
record_count/2
recorda/3
recorded/3
recordedn/4
recordn/4
recordz/3
reg_match/2
rename/2
renumber_history/0
repeat/0
replace_term/4
restore_history/0
retract/1
retract/2
reverse/2


TOP S

save_history/0
see/1
see/2
seeing/1
seeing/2
seen/0
seepipe/1
seepp/1
select/3
set_history/1
set_input/1
set_output/1
set_prolog_flag/2
setmem/2
setof/3
setval/2
sgc/0
show_history/0
silent/1
sleep/1
sort/2
statistics/0
statistics/7
sub_atom/5
sub_string/5
subsumes/2
system/0
system/1
systemv/1


TOP T

tell/1
tell/2
tella/1
telling/1
telling/2
tellpipe/1
throw/1
time/9
told/0
true/0
ttyread/1
ttyread/2


TOP U


TOP V

var/1
version/0


TOP W

where_is/1
write/1
write/2
write0/1
write_canonical/1
write_canonical/2
write_term/2
write_term/3
writeq/1
writeq/2


TOP X


TOP Y


TOP Z


一つ上に戻る 目次に戻る