如何解决在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)))
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。