Support library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains

Question

Support library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains

chiara-camilla-rambaldi-migliore opened this issue a year ago · comments

Chiara Camilla Rambaldi Migliore commented a year ago

Is that possible to add the support of the clpfd library?
See http://eu.swi-prolog.org/pldoc/man?section=clpfd for more information.

Robin Manhaeve · Answer 1 · Tue Feb 14 2023 07:10:58 GMT+0800 (China Standard Time)

Hi

There's currently no plan to support the clpfd library. Is there any specific functionality you'd like to use?

Kind regards,
Robin

Chiara Camilla Rambaldi Migliore · Answer 2 · Wed Feb 15 2023 17:16:22 GMT+0800 (China Standard Time)

Hi,
I'm developing a project for the University and I'm trying to solve a sudoku with DeepProbLog. The specific functionality I need to solve sudoku is the "all_distinct" predicate, the others ("ins" and "transpose") I think are replaceable by my own code.

Kind regards,
Chiara

Robin Manhaeve · Answer 3 · Wed Feb 15 2023 17:34:30 GMT+0800 (China Standard Time)

That functionality will indeed not be available any time soon, as it is very much non-trivial to implement.