Evgenii Balai

There is already an issue for this I believe: https://github.com/MaskRay/ccls/issues/530

When using Clingo solver, this can be fixed by using #project directive (see my fix for https://github.com/iensen/plog2.0/issues/18). I am not quite sure about DLV, perhaps we can decide not to...

Thank you for reporting this issue. Indeed, command-line -pfilter is broken. In the latest SPARC, I rename most of the predicates in the DLV program, so using -pfilter from command...

Here is an example of using display section: sorts #fluent = {f1, f2}. #action = {a1,a2}. #time = 1..5. predicates holds(#fluent, #time). occurs(#action, #time). rules holds(f1,1). occurs(a1,2). display holds. The...

@MaskRay Thank you! It makes sense. I realized I am missing "initialize". I haven't got it to work yet, but I think I can, given enough time :) I think...