Langphilia! / KL1 / KLIC-3.003 / KLIC Runtime, 2001-10-23

KLIC Runtime


runtime/atom.h

定数 long atom_*

runtime/funct.h

定数 long functor_*

runtime/atom.c

定数 const unsigned char* const init_atomname[ ]

runtime/funct.c

定数 const unsigned long init_functors, init_arities [ ]

runtime/predicates.c

runtime/bb.c

runtime/intrpt.c

runtime/kmain.c

runtime/ktimer.c

runtime/main.c

runtime/newatom.c

runtime/options.c

runtime/pipedio.c

runtime/print.c

runtime/profile.c

runtime/recsusp.c

runtime/sched.c

runtime/signal.c

runtime/step.c

runtime/timer.c

runtime/timing.c

runtime/unify.c

runtime/unify2.c

runtime/version.c

runtime/xio.c

runtime/cmphsh.c

関数 q hash_kl1_term(q x long l)
[runtime/gmvv.c]

runtime/alloc.c

関数 void register_gc_hook, register_after_gc_hook (q* (routine)())
[runtime/{ asyncio, kmain, ktimer, otbl, signal, sysc }.c]

runtime/faisus.c

関数 q* suspend_goal(q* allocp, struct goalrec* goal, q reason, int spontaneous)
[runtime/generic.c]

runtime/asyncio.c

関数 void init_asynchronous_io(void)
関数 void close_asynchronous_io_stream(long fd)
関数 void register_asynchronous_io_stream(long fd, q stream)
関数 int poll_read_available(int fd)
[runtime/gunix.c]

runtime/sched.c

関数 q* initiate_prioq(q* allocp)
[runtime/kmain.c]
関数 module wait_prio_routine, wait_penum_routine (struct global_variables* glbl, struct goalrec* qp, q* allocp, const struct predicate* toppred)
[runtime/trace.c]

runtime/debug.c

関数 void klic_exit(int N)
[runtime/gunix.c]
関数 void klic_printf(char* format, long a0-ab)
[runtime/generic.c]
関数 void ioprintf, ioeprintf, iosprintf (char* format, va_list args)
DIST [runtime/{ cntlmsg, datamsg, export_table, ge_exref, import_table, kmain, profile, sendrecv }.c]
関数 void debug_printf(char* format, long a0-ab)

runtime/gc.c

struct goalrec* klic_gc(struct goalrec* qp)
[runtime/intrpt.c]
q* copy_one_term(q* term, q* allocp, q* ntop,otop, unsigned long nsize,osize)
[runtime/{ asyncio, ktimer, signal, sysc }.c]

runtime/gunix.kl1

runtime/iarith.kl1

runtime/io.kl1

runtime/itimer.kl1

runtime/parse.kl1

runtime/queue.kl1

runtime/read.kl1

runtime/scan.kl1

runtime/setk.kl1

runtime/setks.kl1

runtime/stack.kl1

runtime/sysc.kl1

runtime/termio.kl1

runtime/unparse.kl1

runtime/uterms.kl1

runtime/var.kl1

runtime/compare.kl1

module comparator
述語 sort +X +Y -X -Y -S
X>Y なら S=yes、X≦Y なら S=no を返す。

runtime/bodyblt.kl1

module builtin
述語 print ?X:any (-OK:[])
述語 putc +C:int -OK:[]
述語 readint -X:int
述語 start_measure
述語 report_measure -X:int
述語 idle

runtime/atomt.kl1

module atom_table
述語 make_atom +String -Atom
述語 atom_number +Atom -Number
述語 get_atom_string +Atom -String
述語 intern +String -normal(-Atom)
述語 get_atom_name +Atom -normal(-String)
述語 cache_table ^S
メッセージ intern, get_atom +String -normal(-Atom)
メッセージ get_atom_name +Atom -normal(-String)

runtime/functt.kl1

module functor_table
述語 new_functor -Funct +Atom, +Arity
述語 -F =.. +[+PF|+L]
述語 functor +Funct -Atom -Arity (-Funct)
述語 arg +Index +Funct -Ele (-Funct)
述語 setarg +Index +Funct -Old ?Ele -NewFunct

runtime/bag.kl1

前提
runtime/bags.kl1
module bag
述語 create ^Stream

runtime/bags.kl1

前提
runtime/splay.kl1
module sorted_bag
述語 create ^Stream
述語 create +Cmpr ^Stream
メッセージ do S
メッセージ empty YorN
メッセージ put Value
メッセージ get Value
メッセージ get_if_any Value
メッセージ get_all Values
メッセージ carbon_copy Values
メッセージ get_max_if_any Elem
メッセージ get_min_if_any Elem

runtime/bagk.kl1

前提
runtime/bagks.kl1
module keyed_bag
述語 create ^Stream

runtime/bagks.kl1

前提
runtime/splay.kl1
module keyed_sorted_bag
述語 create ^Stream
述語 create +Cmpr ^Stream
メッセージ do S
メッセージ empty YorN
メッセージ empty Key YorN
メッセージ put Key Value
メッセージ get Key Value
メッセージ get_if_any Key Value
メッセージ get_all Values
メッセージ get_all Key Values
メッセージ carbon_copy Values
メッセージ get_max_if_any Elem
メッセージ get_min_if_any Elem
メッセージ get_and_put Key Old New
メッセージ get_if_any_and_put Key Old New
メッセージ get_and_put_if_any Key Old New0 New

runtime/splay.kl1


Copyright 2001, TAKAGI Yusuke.