如何在Racket函数中动态向Datalog查询传递参数？

问题描述 #

在Racket函数中尝试传递大写符号作为Datalog查询变量时，无法得到预期结果：

• 传入具体常量时查询成功：

#lang racket/gui
(require datalog)
(define family (make-theory))
(datalog family
  (! (parent mike alan)))

(define (testParent P C)
  (datalog family (? (parent P C))))

(testParent 'mike 'alan)   ; 返回'(#hasheq()) — 匹配事实，成功

• 传入大写符号作为变量时查询失败：

(testParent 'Y 'X)                 ; 返回'() = 失败

但全局作用域直接写变量查询却正常：

(datalog family  (? (parent X Y))) ; 返回'(#hasheq((X . mike) (Y . alan)))

尝试宏插值写法也无效：

(define (testParent P C) 
  (datalog family (? (parent #,P #,C))))  ; 返回'() = 失败

问题原因 #

datalog是编译期宏，会在代码编译时解析表达式中的Datalog变量（未绑定的标识符）。函数参数P、C是运行期的符号值，宏无法将它们识别为Datalog变量——即使使用#,P插值，插入的是符号常量而非Datalog期望的变量标识符。

解决方案 #

使用Racket-Datalog提供的动态查询API（query-theory函数），直接构造查询目标：

#lang racket/gui
(require datalog)
(define family (make-theory))
(datalog family
  (! (parent mike alan)))

(define (testParent P C)
  (query-theory family (list (list 'parent P C))))

; 测试用例
(testParent 'mike 'alan)   ; 返回'(#hasheq()) — 成功匹配
(testParent 'Y 'X)         ; 返回'(#hasheq((Y . mike) (X . alan))) — 正确返回变量绑定

说明 #

query-theory是运行期函数，接受理论对象和查询目标列表（每个目标为符号列表）。当传入'Y和'X时，函数会将它们作为Datalog变量处理，从而正确返回所有匹配的变量绑定。

内容的提问来源于stack exchange，提问作者user31634237