FGCS と Follow-on Project の知識情報処理の
中核的言語である。
演繹オブジェクト指向データベース
O-O 性質、ルール、演繹推論
制約論理型言語
包摂制約
知識表現言語
部分情報、仮説推論