Clingo ответ набор новичков программирования
Я получил следующую проблему с набором программ ответа, но не уверен, что мой ответ правильный:
- A (X) обычно являются E (X)
- U (X) обычно не являются E (X)
- G (X) обычно являются E (X)
- Каждый G (X) есть U (X)
- U (X) обычно являются A (X)
- G (t 1)
- G (t2), а не E (t2)
- U (t 3)
Ниже приведен мой код Clingo:
g(t1).
g(t2).
-e(t2).
u(t3).
e(X) :- a(X), not -e(X).
-e(X) :- u(X), not e(X).
e(X) :- g(X), not -e(X).
u(X) :- g(X).
a(X) :- u(X), not -a(X).
clingo 0 pm.lp - это:
Reading from pm.lp
pm.lp:9:15-24: info: atom does not occur in any rule head:
not (-a(X))
Solving...
Answer: 1
g(t1) g(t2) u(t3) -e(t2) u(t1) u(t2) a(t3) a(t1) a(t2) e(t3) e(t1)
Answer: 2
g(t1) g(t2) u(t3) -e(t2) u(t1) u(t2) a(t3) a(t1) a(t2) e(t3) -e(t1)
Answer: 3
g(t1) g(t2) u(t3) -e(t2) u(t1) u(t2) a(t3) a(t1) a(t2) -e(t3) e(t1)
Answer: 4
g(t1) g(t2) u(t3) -e(t2) u(t1) u(t2) a(t3) a(t1) a(t2) -e(t3) -e(t1)
SATISFIABLE
Не уверен, что мой код правильный и полный?