Alex Rivera | Logout

Questions tagged clpfd

5 questions

Sort by: Newest Votes Active
10
votes
4
answers

I'm curious if Logic Programs can do algebra

prolog algebra declarative clpfd clpq
asked 2012-12-03T19:19:36.307
10
votes
5
answers

Simple prolog program. Getting error: >/2: Arguments are not sufficiently instantiated

list prolog clpfd instantiation-error
asked 2012-03-20T00:56:18.200
8
votes
4
answers

Convert peano number s(N) to integer in Prolog

prolog clpfd successor-arithmetics
asked 2012-01-21T16:06:39.360
11
votes
3
answers

Optimizing pathfinding in Constraint Logic Programming with Prolog

prolog path-finding constraint-programming clpfd sicstus-prolog
asked 2011-12-10T18:44:32.413
16
votes
4
answers

Reversible numerical calculations in Prolog

prolog factorial clpfd
asked 2010-05-24T11:46:00.127