问Clingo:创建自定义函数

EN

如果可以定义的话，我将在clingo中创建一个“函数”。在我试图完成的一个简化版本中，我编写了一个非常短的程序：

a(1..3).

adj(X,Y) :- a(X), a(Y), abs(X-Y)==1.

#hide a/1.

基本上，我想定义一个邻接函数，如果它们的差绝对值等于1，那么给定的任意两个数字都可以保持true。我从上面的程序中期望的是输出结果：adj(1,2) adj(2,1) adj(2,3) adj(3,2)，但是我得到了这个输出：

Answer: 1

SATISFIABLE

Models       : 1
Time         : 0.000
  Prepare    : 0.000
  Prepro.    : 0.000
  Solving    : 0.000

(如果省略#hide a/1.，它将输出答案：a(1) a(2) a(3))。

我觉得这是克莱戈101，所以我可能误解了这里的基本知识。我试图通过学习我在网上偶然发现的例子来学习克林戈，但由于我明天有个作业要交，所以我有点匆忙。如果有人能弄清楚一点，那就太好了。谢谢。