clingo
clingo copied to clipboard
potassco
🤔 A grounder and solver for logic programs.
L.S. I want to translate the ground form of ASP to boolean logic for an PLC system. For that, I need to lookup the symbols associated with facts using the...
Hi, In my investigation of the unexpected performance results I mentioned in https://github.com/potassco/clingo/issues/453, I attempted an alternative way of triggering a timeout in `Control::solve()` instead of using `SolveHandle::cancel()`. The approach,...
Hi! Recently I checked Profile-Guided Optimization (PGO) improvements on multiple projects. The results are [here](https://github.com/zamazan4ik/awesome-pgo/). According to the multiple tests, PGO can help with improving performance in many cases. E.g....
Domain heuristics with external atoms are ignored when enumerating answer sets with solution recording. I'm looking at example 10.6 of the potassco guide (see also the Python program attached): ```...
The ASP rules, once thoroughly tested and formally verified in ASP, need to be translated to a simpler boolean logic. I do so by taking the ground form and rewriting...
Consider the following program. query(add(x,y)). value(x,2). value(y,30). value(E,@computeAdd("value",N1,N2)) :- query(E), E=add(E1,E2), value(E1,N1), value(E2,N2). value1(add(E1,E2),@computeAdd("value1",N1,N2)) :- query(add(E1,E2)), value(E1,N1), value(E2,N2). value2(E,@computeAdd("value2",N1,N2)) :- query(E), E > never, E=add(E1,E2), value(E1,N1), value(E2,N2). #script (python) import...
Question. I have a logic program for PLCs in which a predicate like: def_extern(Device, request) means there is an external literal: extern(Device, request). With these I create rules like: extern(Device,...
Hello, Can you please tell me if clingo supports floating -point numbers or not? I have a fact that says "one batch has 1.5 gallons of coffee. ". I want...
