Allegrograph地理空间Prolog查询

Question

我有一些代表几个城市位置的三元组。我希望能够发出一个Prolog查询，比如

(select (?x ?y ?dist) 
(q- ?x !exns:geolocation ?locx)
(q- ?y !exns:geolocation ?locy)
(geo-distance ?locx ?locy ?dist))

但是我得到了这个错误：

Server returned 400: attempt to call '#:geo-distance/3' which is an undefined function.

我想了解如何使用像geo-distance这样的地理空间推理方法(我假设它是内置的，因为他们使用here。然而，这不是真的吗？)在Prolog查询中，因为这对我来说是一个谜，而且我还没有找到任何好的例子来做这件事。

我使用的是Python API BTW，在Python API tutorial中，他们使用getStatements方法来检索某个半径范围内的三元组。我希望能够在一个Prolog查询中做这样的事情，从Python API，而不是从AllegroCL --我想构建web应用程序，我不知道如何在AllegroCL中做到这一点，但我知道如何在Python语言中做。

Answer 1

不可能从Python API进行地理空间Prolog查询。您必须使用Allegro Common Lisp IDE来完成此操作。

编辑：不是这样的！

使用AllegroGraph 4.6，您可以做到这一点！问题是我使用的是AllegroGraph 3.3，所以我是个笨蛋。

以下是使用AllegroGraph 4.6的Python API中的Prolog规则：

(<-- (geo-distance ?point1 ?point2 ?dist)
      (lisp ?dist (let (lon1 lat1 lon2 lat2)
           (setf (values lon1 lat1) (upi->longitude-latitude ?point1))
           (setf (values lon2 lat2) (upi->longitude-latitude ?point2))
           (haversine-miles lon1 lat1 lon2 lat2))))

特别感谢Franz Allegro support的人们对我的帮助！