開発したシステムは、述語と関係スキーマとの対応を取ることで、関係データ ベース中のデータを述語論理形式で表現し、帰納推論中の被覆計算などの直接 データにアクセスする必要のある処理を、関係データベースにおけるSQLで行う というものである。また、実際のシステムはSICStus Prolog及びJava(JDBC)で 実装されている。
以下に述語表現と関係データベースとの対応の概略を示す。
