2

我以前从未使用过Racket的宏系统，所以请原谅我的无知。我正在尝试在 Racket 的 Datalog 系统中动态定义规则，基本上是这样的：

(datalog rules (! (:- c a b)))

如果我直接将这样的内容放入代码中，一切都很好。但是，我想动态生成这些规则。使用常规功能，我会做这样的事情：

(datalog rules (! (apply :- conclusion premises)))

但是datalog,!和:-都是宏，这使得这不可能。

我的解决方案是编写这个宏：

(define-syntax (make-rule stx)
  (syntax-case stx ()
    ((_ premises conclusion)
      #`(datalog rules (! (:- ,conclusion ,@(map (lambda (x) `,x) premises)))))))

然后这样调用：

(make-rule '(a b) 'c)

然而，虽然这确实运行，但当两者都为真时，查询 Datalog 数据库不会呈现任何a内容b。

我尝试对语法对象进行双引号，这样我就可以看到正在输出的内容，它是这样的：

'(datalog rules (! (:- c a b)))

所以......如果我直接在我的代码中输入它应该和确实有效！这里发生了什么？这是某种卫生的宏观事物吗？我真的不知道。

谢谢！

编辑：这是该问题的完整可运行示例。

#lang racket

(require datalog)

(define rules (make-theory))

(define-syntax (make-rule stx)
  (syntax-case stx ()
    ((_ premises conclusion)
       #`(datalog rules (! (:- ,conclusion ,@(map (lambda (x) `,x) premises)))))))

(make-rule '(a b) 'c)
(datalog rules (? c)) ;;Does not work.

(datalog rules (! (:- c a b)))
(datalog rules (! a) (! b))
(datalog rules (? c)) ;;Works.
4

1 回答 1

1

好的，我想我有它给你。这不是卫生问题。

#lang racket
(require datalog)

(define rules (make-theory))

(define-syntax (make-rule stx)
  (syntax-case stx ()
    ((_ (ps ...) c)
     #'(datalog rules (! (:- c ps ...))))))

(datalog rules (! a) (! b))
(make-rule (a b) c)
(datalog rules (? c))

问题在于引用/取消引用。在这里，我刚刚修改了模板以接受您提供的表格。同样，我并不真正了解数据记录语言，但这给出的输出与您在示例中所说的“有效”相同。

于 2018-03-22T01:33:23.180 回答