the KLIC-C Language

klic/primitives.h

副作用

klic/alloc.h, klic/control.h が include される。

klic/alloc.h

関数 q* klic_interrupt()

文 heapalloc, revalloc (q s, q* words, q (*maketype)(q*))

export s, heapbottom, heaplimit, real_heaplimit

import interrupt_off

klic/control.h

前提

klic/struct.h を include していること。

定数 const q EXTEVENT, FAILURE

import makeint

中断の原因

関数 q* interrupt_goal(q* allocp, struct predicate* pred, q* reasonp)

関数 int check_stack_for_alternatively(q* allocp, q* reasonp)

[runtime/faisus.c]

文 enqueue_at_priority, enqueue_at_lower_priority (p, q0, struct goalrec* q)

export qp

import allocp, enqueue_after_waiting

文 enqueue_at_priority_no_check(q prio, q0, struct goalrec* q)

export qp

import glbl, intval, enqueue_goal

文 enqueue_at_lower_priority_no_check(q prio, q0, struct goalrec* q)

export qp

import glbl, intval, enqueue_goal, current_prio

switch_on_pred()

import toppred

文 case_pred, last_case_pred (p, label)

文 loop_within_module(module (*f)())

export qp, allocp, toppred, heapp, heaplimit, current_queue

import klic_interrupt, ラベル module_top

文 execute(label)

import allocp, heaplimit

文 proceed(void)

import ラベル proceed_label

文 throw_goal(node, oldqp, goal)

export qp

import allocp, enqueue_throw_goal

klic/basic.h

副作用

klic/config.h が include される。

記憶クラス Extern

runtime/kmain.c では空、それ以外では extern。

マクロ Init(x)

runtime/kmain.c では `= x'、それ以外では空。

マクロ Size(size)

runtime/kmain.c では size、それ以外では空。

型修飾 Const

不要。ANSI C ならば const、でなければ空。

型修飾 Volatile

不要。ANSI C ならば volatile、でなければ空。

Inline

不要。GNU C ならば __inline__、でなければ空。

型修飾 NoReturn

GNU C ならば volatile、でなければ空。

マクロ PARALLEL

マクロ DIST または SHM が定義されていれば定義される。

型 void voidfn()

関数 NoReturn void fatal(char* message), fatalf(char* format, long a0-a7), fatalp(char* where, char* format, long a0-a7)

関数 void debug_fprintf(FILE* out, char* format, long a0-ab)

関数 void klic_fprintf(FILE* out, char* format, long a0-ab)

[runtime/debug.c]

関数 int klic_getc(), klic_fread(), klic_putc(), klic_fwrite(), klic_fflush()

関数 int klic_local_fprintf(FILE* stream, const char* format ..)

C の fprintf を使わず、こちらを使うべし。

klic/config.h

マクロ SPARC, ALPHA, INTEL, Unknown_cpu

環境によっていずれか1つが定義される。

定数 (const char*) KLICBIN, KLICLIB, KLICINCLUDE, KLIC_COMPILER, KLIC_DBMAKER

それぞれ bin, lib, include ディレクトリ、KLIC 翻訳器 (lib/klic/kl1cmp)、 名前DB (lib/klic/klicdb) を表す文字列。

定数 (const char*) CC, LD, RANLIB

cc, ld, ranlib? コマンドを表す文字列。

定数 const char* UOPTFLAGS

cc の最適化フラグを表す文字列。

定数 (const char*) LIBRARIES, LIBRARIES_T, LIBRARIES_D, LIBRARIES_S, KLIC_CC_OPTIONS, KLIC_LD_OPTIONS

KLIC 実行系, トレース版, 分散版, 共有版、 cc, ld のオプションを表す文字列

マクロ ASYNCIO, STRINGH, STDDEFH, SETLINBUF, USELOCKF, USESIG, GETRUSAGE, USEUSLEEP, USEULIMIT, USEGETDTABLESIZE, USETIMER, NRAND48, ISASTREAM, USESTREAMINCLUDEDIR, USEPROCBIND, USESELECT, XTERM, DECL_SYS_ERRLIST, DECL_FPRINTF

環境によって定義されたりされなかったりする。

関数 int BCMP(void* x, void* y, int len)

memcmp または bcmp。

関数 void* BCOPY(void* from, void* to, int len)

memcpy または bcopy。

関数 void BZERO(void* from, int len)

memset または bzero。

関数 char* STRCHR(char* s, char c)

strchr または index。

マクロ CROSS

クロスコンパイラなら定義される。

文 DIST_COMPILER_FLAG, DIST_LINKAGE_FLAG (char* name, char* ext)

export char* bufp

import char* klic_incdir

klic/struct.h

副作用

klic/param.h が include される。

型 struct gazonk* q

セル。KLIC-KL1 のデータ構造の単位。 gazonk は架空の型なので、q の値を手繰ると翻訳時エラーとなる。

定数 long VALUEMASK, ADDRESSMASK

q 型の値からタグを取り除くマスク。

定数 long PTAGBITS, PTAGMASK, ATAGBITS, ATAGMASK

ポインタタグ, 原子値タグのビット数, マスク。

定数 long INT, SYM

整数, 記号アトムのタグ値。

定数 long VARREF, CONS, ATOMIC, FUNCTOR, STRUCT, FUNCTNOTCONS, ATOMNOTREF

ref, cons, atomic, functor のタグ値、 {cons, functor}, functor-cons, atomic-ref のタグ値。

関数 unsigned long ptagof(q x), addressof(q x)

x のポインタタグ, アドレスを取り出す。

関数 int isatomic(q x), iscons(q x), isfunctor(q x), isref(q x)

x が atomic, cons, functor, ref か否かを返す。

関数 unsigned long isstruct(q x), functnotcons(q x), atomicnotref(q x)

x が {cons, functor}, functor-cons, atomic-ref か否かを返す。

関数 unsigned long atagof(q x)

x の原子値タグを取り出す。

関数 int isint(q x), issym(q x)

x が整数, 記号アトムか否かを返す。

型 struct functor

ファンクタ構造体

関数 q functor_of(q s), arg(q s, int k)

s の主ファンクタ（アトム）, k = [0,*) 番目の引数を返す。

型 struct cons

コンスセル

関数 q car_of(q x), cdr_of(q x)

x の car, cdr を返す。

関数 q pcar_of(q x), pcdr_of(q x)

x の car, cdr を指す ref を返す。

型 char* (* module)()

モジュール

型 struct predicate

述語構造体

型 struct arginfo

述語引数のモード情報

型 struct goalrec

ゴール構造体（リスト）

型 struct prioqrec

優先度キュー構造体（優先順ゴールリストのリスト）

関数 q* refp(q x)

関数 struct cons* consp(q x)

関数 struct functor* functorp(q x)

関数 struct goalrec* goalp(q x)

関数 struct predicate* predp(q x)

{ref, cons, functor, goal, predicate} x のポインタ部分を返す。

関数 q makeref(void* x), derefone(q x)

{アドレス, ref} x に相当する {ref, ポインタ} を返す。

関数 long intval(q x)

関数 unsigned long symval(q x)

整数, 記号アトム x に相当する C の表現を返す。

関数 q makeint(q n), makesym(q n)

C の表現に対応する整数, 記号アトムを返す。

関数 long makecint(q n)

C の表現に対応する C の整数を返す。

関数 int eqatom(q x, q y)

x, y が同じアトムか否かを返す。

関数 q makeatomic(long adr)

adr に atomic タグを付ける。

関数 q makepf(q x)

C の表現に対応する主ファンクタ（アトム）を返す。

関数 q makecons(long x), makefunctor(long x)

x に cons, functor タグを付ける。

変数 struct funcdesc functab[]

ファンクタ表

型 struct ext_atom, ext_funct, ext_pred

atom, functor, predicate と文字列表現の対応

定数 q NILATOM, PERIODATOM

特別なアトム [], ./2

変数 long higher_priority_goal

ヒープの外のメモリブロック?

変数 q suspension_reason, rest_of_stream

mutableオブジェクトのための変数?

変数 struct global_variables globals

変数 struct global_variables* My_glbl = &globals

グローバル変数の寄せ集め。

宣言 declare_globals

struct global_variables* glbl = My_glbl

変数 (struct goalrec*) current_queue, resumed_goals

変数 struct prioqrec prioq

変数 unsigned long current_prio, top_prio

変数 (q*) heapp, heaptop, heaplimit, real_heaplimit, heapbottom

変数 unsigned long heapsize, maxheapsize, real_heapbytesize, incrementsize

変数 double maxactiveratio

変数 (q*) new_space_top, old_space_top

変数 unsigned long new_space_size, old_space_size, this_more_space

変数 (q**) gcstack, gcsp, gcmax

変数 unsigned long gcstack_size

変数 long interrupt_off

変数 char* program_name, int command_argc, char** command_argv

変数 q* (** gc_hook_table)(), q* (** after_gc_hook_table)()

変数 int gc_hooktab_size, num_gc_hooks, after_gc_hooktab_size, num_after_gc_hooks

変数 unsigned long suspensions, resumes, copied_susp, cum_susps, cum_resumps

変数 struct suspended_goal_rec* suspended_goal_list

変数 const struct predicate* postmortem_pred, 変数 q postmortem_args

変数 long generic_argc, 変数 q generic_arg[MAXGENERICARGS]

変数 q reasons[MAXSUSPENSION]

前提：declare_globals していること。

klic/param.h

定数 int MAXSTDARGS

トレーサが扱う引数の最大個数

定数 int MAXGENERICARGS

ジェネリックメソッドの引数の最大個数

定数 int PRIOQRECBULK

一度に割り当てる優先度キューの個数

定数 long HEAPSIZE

デフォルトヒープサイズ ワード単位

定数 long INCREMENTSIZE

予約ヒープサイズ? ワード単位

定数 long MAXSUSPENSION

中断原因の最大個数

定数 long MAXKLICINT, MINKLICINT

KLIC-KL1 整数の最大・最小値

定数 long HIGHESTPRIO

優先度の最高値

定数 long GCSTACKSIZE

GCスタックの初期サイズ