CLP missing
Bug #81561 reported by
Matevž Jekovec
This bug affects 2 people
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
swi-prolog (Ubuntu) |
Fix Released
|
Wishlist
|
Áron Sisak |
Bug Description
Binary package hint: swi-prolog
I'd suggest putting CLP package along (current ubuntu version doesn't bring clpr and clpq libraries and therefore any other clp libraries fail to load).
This is found in "packages/clpqr" directory in swi-prolog mainstream source file. CLP is a library for arithmetic operations. Default prolog ones are really basic and clumsy and not useful for anything more serious (mostly because of one-way instantiation only).
Changed in swi-prolog: | |
importance: | Undecided → Wishlist |
Changed in swi-prolog: | |
status: | Invalid → Incomplete |
To post a comment you must log in.
Thanks for your bug-report! I think these packages are distributed as separate packages. All these are built from only one source package, though.
What are the (other) CLP libraries that fail to load because of this?
I think, if something distributed in the main binary package (swi-prolog) is unusable because of this, it should be included. Otherwise a new binary package should be created for CLP libraries, e.g., swi-prolog-clp.