Использование pyDatalog для ограничений магазинов

Question

Рассмотрим следующие правила:

pyDatalog.create_atoms('X') 
pyDatalog.create_atoms('Y') 

pyDatalog.create_atoms('a') 
pyDatalog.create_atoms('b') 

b(X,1) <= (X<0) 
b(X,Y) <= (X==1) & (Y>0) 
a(X,Y) <= b(X,Y) & (X>0) 

И задача о нахождении ограничений, которые удовлетворяют: а (Х, 1)

Возникает вопрос: Можно ли использовать pyDatalog прийти со списком [(X == 1)]? или [(X> 0), (X == 1)]?

Спасибо,

Answer 1

К сожалению нет, по крайней мере, с текущей версией :-)

pyDatalog может решить отдельные проблемы ограничений, а не общие проблемы ограничений, как тот, который вы описываете. pyDatalog может возвращать только значения, а не такие критерии, как X> 0.

Примечание: Вы можете объединить первые 4 заявления только в одном:

pyDatalog.create_atoms('X, Y, a, b')