In an amazing feat of engineering, library(clpq) was originally implemented and generously made publicly available by Christian Holzbaur. It was ported to SWI-Prolog by Leslie De Koninck. Currently, the library is orphaned because the original authors are busy with other projects. Unfortunately, the library has some problems. For example, the projection to residual goals does not work correctly in all cases.
If necessary, I will reimplement this important component and document it in such a way that mistakes in the implementation can be more easily corrected. Please contact me if you want to work on this item. All contributions are highly welcome!
In an amazing feat of engineering,
library(clpq)was originally implemented and generously made publicly available by Christian Holzbaur. It was ported to SWI-Prolog by Leslie De Koninck. Currently, the library is orphaned because the original authors are busy with other projects. Unfortunately, the library has some problems. For example, the projection to residual goals does not work correctly in all cases.If necessary, I will reimplement this important component and document it in such a way that mistakes in the implementation can be more easily corrected. Please contact me if you want to work on this item. All contributions are highly welcome!