问在lisp prolog查询中将字符串转换为资源或UPI

EN

我正在尝试运行用lisp实现的prolog规则。在lisp代码中，我遇到了以下问题：

1. 我查询AG知识库中的人员，输出为字符串格式，如 "http://www.myweb.com/myns/Person1“"http://www.myweb.com/myns/Person2”
2. 我将上面的字符串转换为Resource，如下所示

(setq p1 (资源"http://www.myweb.com/myns/Person1"))

(setq p2 (资源"http://www.myweb.com/myns/Person2"))

将字符串转换为资源后，输出如下所示：

!ns:Person1
!ns:Person2

1. 我带着以上两个人(资源)，通过查询运行规则，找出它们之间的关系。请注意，p1和p2是已知的，关系是未知变量。查询转到AG知识库并找到关系 (选择-不同 (p1 ?relation p2) (MyRulesfunction p1 ?relation p2) )

问题是，当查询在步骤2中使用select-distinct运行时。它不接受资源作为参数和抱怨UPI转换。我也尝试过用(value->upi)函数来转换成UPI，但是没有成功。

有人能帮帮我吗？我可以在p1和p2值中传递什么样的格式来查找关系。你的帮助将不胜感激。我的规则职能定义如下：；两个人居住在同一城市的规则

  (<--(MyrulesFunction ?p1 !ns:SameCityWith ?p2) 

  (q ?p1 !ns:hasCity ?city)
    (q ?p2 !ns:hasCity ?city)
    )