3 ms·
You could have a look at the potassco suite[0]. It is a grounder and solver for Answer Set Programming (ASP). ASP is a form of Logic Programming. [0] https://p
by Entze 2y ago
You could have a look at the potassco suite[0]. It is a grounder and solver for Answer Set Programming (ASP). ASP is a form of Logic Programming.
[0] https://potassco.org/ https://potassco.org/
- johnisgood 2y agoI will take a look at it. Are you familiar with it, an example or a snippet would come in handy, but I may just ask Claude (if it even knows about Potassco).
- Entze 2y agoASP is optimized for combinatorial problems. Basically, you list the parts that are variable, and the constraints, the answers are given by the solver. Have a look at the documentation[0]. Here is an example: % Each shift needs a nurse). 1 { shift_nurse(Shift, Nurse): nurse(Nurse) } 1 :- shift(shift). % It cannot be that a nurse does two shifts in a row. :- nurse(Nurse), shift_nurse(Shift1,Nurse),shift_nurse(Shift2,Nurse), Shift1 + 1 = Shift2. [0] https://potassco.org/doc/start/ https://potassco.org/doc/start/
- johnisgood 2y agoThanks. Found the original comment: https://news.ycombinator.com/item?id=41756679 https://news.ycombinator.com/item?id=41756679 Would this still work with ASP?
- rscho 2y agoYes, but honestly if you can use specialized software instead of writing your own, do so. Scheduling problems become very hairy quite quickly. For ASP, there is also sCASP that is the current flagship application of SWI Prolog.