search

ML-KULeuven / problog

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
https://dtai.cs.kuleuven.be/problog/
297 stars 34 forks source link

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

Closed chiara-camilla-rambaldi-migliore closed 1 year ago

chiara-camilla-rambaldi-migliore commented 1 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.

rmanhaeve commented 1 year ago

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 commented 1 year ago

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

rmanhaeve commented 1 year ago

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