球拍宏不起作用

Question

我以前从未使用过 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)

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

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

'(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.

Answer 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))

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