clorm
clorm copied to clipboard
potassco
🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
Calling `unify` with an empty Predicate list or None causes the following error: `ValueError: The unifier must be a list of predicates or a SymbolPredicateUnifier` Would it make sense to...
I like using clorm a lot, and it simplifies a lot of steps that I need to do on a daily basis, thanks. I recently found a new viewing angle...
It can be useful to want to modify the facts in a factbase the way you might modify entries in a traditional database. However, clorm facts are immutable (see [1])....
`clorm.clingo.Control.solve()` with assmption uses a python set() when converting from clorm facts to clingo symbols. This causes non-determinism between multiple runs of a program. See: https://github.com/potassco/clorm/blob/master/clorm/_clingo.py#L215
I would like to ask if clorm could be shipped with the possibility to compile it down to c/c++ (using cython)? I saw that pydantic also provide this feature and...
Some performance tweaks for predicate facts. A few more things are pushed into the templating so that they are calculated when Predicate is sub-classed. Also the fact hash value is...
The behaviour of the `Predicate` sub-class comparison relations (`==`, `!=`, `
Currently there is only `default`. But to be more consistent with dataclasses it would be better to have `default` and `default_factory` as separate options.
Currently you can sort by ascending or descending order but you can't define a custom ordering. Need to look how easy it would be to define a custom ordering.
It works for simple cases but raises an exception when trying to process the `where()` clause of a complex query.