Open G3Kappa opened 2 years ago
https://cliplab.org/~clip/Software/Ciao/ciao-1.15.0.html/dcg_doc.html
This either depends on the predicate rewriting implied by #10, or it can maybe be achieved through expansions though it seems unlikely.
Regardless, it should be possible by now. Not super high priority
https://cliplab.org/~clip/Software/Ciao/ciao-1.15.0.html/dcg_doc.html