Top "Clpfd" questions

Prolog - Arguments are not sufficiently instantiated

I am writing a little program which counts how many elements in a list are not numbers. Here is my …

prolog arguments clpfd instantiation-error

List Length in Prolog

I am beginner in Prolog programming. I wrote this program to calculate the length of a list. Why is below …

list prolog clpfd

How do I get the sum of given numbers in prolog?

I'm new to prolog and I'm doing some exercises for practice. So I'm trying to get the sum of the …

list prolog sum clpfd

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

I made a Prolog predicate posAt(List1,P,List2) that tests whether the element at position P of List1 and …

list prolog clpfd instantiation-error

Solving N-Queens Problem... How far can we go?

The N-Queens Problem: This problem states that given a chess board of size N by N, find the different permutations …

algorithm prolog clpfd n-queens

convert float to integer in prolog

How to convert float to integer in prolog? I tried: ?- integer(truncate(sqrt(9))). false. ?- integer(round(sqrt(9))). false.

floating-point integer prolog clpfd

Tennis match scheduling

There are a limited number of players and a limited number of tennis courts. At each round, there can be …

algorithm prolog scheduling clpfd

integer division operator in Prolog

This code is a part of the program that I am writing to solve a cryptarithmatic puzzle in prolog. I …

prolog sicstus-prolog clpfd

Splitting a list of integers into a list of positive integers and a list of negative integers

I've been trying to create a predicate in Prolog which splits a list of integers into a list of positive …

list split prolog clpfd