3

我有一些三元组代表几个城市的位置。我希望能够触发 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.

我想了解如何在 Prolog 查询中使用地理空间推理方法，例如geo-distance（我认为它是内置的，因为他们在这里使用它。但这不是真的吗？），因为这对我和我来说目前都是一个谜还没有找到任何这样做的好例子。

我正在使用 Python API，顺便说一句，在Python API 教程中，他们使用该getStatements方法在某个半径的圆内检索三元组。我希望能够在 Prolog 查询中通过 Python API 而非 AllegroCL 执行此类操作——我想构建 Web 应用程序，但我不知道如何在 AllegroCL 中执行此操作，但我知道如何在 Python 中使用。

4

1 回答 1

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 的人们对我的帮助！

于 2012-05-24T19:50:57.960 回答