Xsb. XSB - UNIX様およびWindowsプラットフォーム用のロジックプログラミングおよび演繹データベースシステム ... データベース 演繹データベース 述語宣言 ガベージコレクタ 控除 ダウンロード