clingo
clingo copied to clipboard
potassco
🤔 A grounder and solver for logic programs.
It would be nice to modify the theory data of the control object. This would further extend #313 by also allowing the user to delete/update theory data. Edit: delayed because...
hello, here is a simple example to illustrate my question: p1.lp consists of ``0 {a} 1.`` Calling "clingo --text p1.lp" gives ``#delayed(1). #delayed(1) #count{0,a:a}`` -------------------------------------------------- p2.lp consists of {a}. Calling...
Clingo version says that it uses a 64 bit address model ``` clingo --version clingo version 5.2.2 Address model: 64-bit libgringo version 5.2.2 Configuration: with Python 3.6.4, without Lua libclasp...
Clingo internalizes symbols in global hash tables to only allocate memory for the same symbol once. Currently, symbols are never removed form this hash table. When an application runs for...
- Currently there is no way to detect if the program was startet with --text in the API. - It would be nice if the configuration file would also handle...
See [asynchronous iterators] in the Python reference. [asynchronous iterators]: https://docs.python.org/3/c-api/typeobj.html?highlight=async%20protocol#c.PyAsyncMethods
Often assignment aggregates are used in a very inefficient way. Typical patters are S = #sum { X : p(X) }, X > 10 or S = #sum { X...
Can I compute (subset) minimal answer sets w.r.t. a subset of atoms [(like this)](https://dl.acm.org/doi/abs/10.1007/978-3-031-15707-3_3) using clingo? Thanks in advance.
**Problem description** Clingo/gringo/clasp do not work properly on Android 11+. Grounding produces no aspif rules and solving produces empty answer sets even when given non-empty aspif files. The issue is...
The following program should not be unsatisfiable: ``` a. b :- a. a: a :- b. ``` (It seems like the element of the conditional literal is not grounded.) The...