XSB覚書
この文書は
XSB
でプログラミン グする際の個人用覚書です．
Last modified: Sat Jan 6 15:18:20 JST 2007
マニュアル
Volume1
Volume2
モジュール
XSBにもモジュール機能は存在している．XSBではモジュール機能のために宣言する必要がある．
export：述語記号の輸出のための宣言
local：局所記号の宣言
import：述語記号を輸入するための宣言
local宣言は必要か？