文件名称：clyngor:方便的Python包装器围绕Potassco的Clingo ASP求解器
文件大小：99KB
文件格式：ZIP
更新时间：2024-06-15 07:50:52
python wrapper python-library python3 answer-set-programming
方便的python包装器，可 。 例子 Clyngor提供了多个接口。 以下各项均等效。 （他们搜索） from clyngor import ASP , solve answers = ASP ( """ rel(a,(c;d)). rel(b,(d;e)). obj(X):- rel(X,_) ; rel(X,Y): att(Y). att(Y):- rel(_,Y) ; rel(X,Y): obj(X). :- not obj(X):obj(X). :- not att(Y):att(Y). """ ) for answer in answers : print ( answer ) 相同，但具有较低级别的功能需要文件： answers = solve ( inline = """ rel(a,(c;d)). rel(b,(d;e)). obj(X):- rel(X