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.