CODEWITHSUNDEEP
answer-set-programmingclingo
Andrea Aloi
Andrea Aloi

Reputation: 991

Clingo: create custom function

I am at wit's end as to create a "function" in clingo, if such can be defined. In a simplified version of what I am trying to accomplish, I wrote this very short program:

a(1..3).

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

#hide a/1.

Basically, I want to define an adjacency function that given any two numbers will hold true if the absolute value of their difference equals one. What I'd expect from the above program is to output the results: adj(1,2) adj(2,1) adj(2,3) adj(3,2), yet I am presented with this output:

Answer: 1

SATISFIABLE

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

(if I omit #hide a/1. it will output the answer: a(1) a(2) a(3)).

I feel like this is clingo 101, so maybe I'm misunderstanding the basics here. I'm trying to learn clingo by studying examples I stumble upon online but I'm kind of rushing through it since I have an assignment due tomorrow. If anyone could shed some light it'd be great. Thanks.

Upvotes: 4

Views: 1953

Answers (1)

Andrea Aloi
Andrea Aloi

Reputation: 991

Solved. It turns out the native abs function doesn't really work as I expected it to, but defining both conditions for the adj function does the disjunctive trick and works like a charm. This:

a(1..3).

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

#hide a/1.

Outputs:

Answer: 1
adj(3,2) adj(2,1) adj(2,3) adj(1,2) 
SATISFIABLE

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

Upvotes: 2

Related Questions