在Racket中导入Datalog知识库

问题描述

在Datalog Racket中是否可以将在声明为“ #lang数据日志”的文件x中定义的知识库导入并声明为“ #lang球拍”的另一个文件y，并使用该知识库？

例如：

;; x.rkt

#lang datalog

parent(john,douglas).


;; y.rkt

#lang racket

(require datalog)

(require "x.rkt")

;;(datalog parent (? (X douglas)))  DOES NOT WORK

解决方法

从#lang datalog导出的理论总是命名为theory，因此您的y.rkt应该是：

#lang racket

(require datalog
         "x.rkt")

(datalog theory (? (parent X douglas)))

请注意，我们正在查询parent表，因此我们需要将其指定为(? (parent X douglas))。 (? (X douglas))不正确。

最后，如果您希望从x.rkt重命名导出的理论，则可以使用rename-in：

#lang racket

(require datalog
         (rename-in "x.rkt" [theory my-thy]))

(datalog my-thy (? (parent X douglas)))