[eclipse-users] Count number of non-ground variables in a list

From: Stephen Flinter <stephen_at_...93...>
Date: Tue, 8 Jan 2008 23:43:05 +0000

I'm looking for a way to count the number of non-ground variables in a  
list, such that I can use that value as a minimizing goal in the  
bb_min or minimize predicate.

i.e. something like:

constraints(Xs, C) :-
	(foreach(X, Xs) do
		%% apply constraint on X

	C $= count_nonground(Xs).


solve(Xs) :-
	constraints(Xs, C),
	minimize(search(Xs), C).

That is, I'm looking to implement a Max-CSP type search, where I'm  
trying to minimize the number of unassigned variables.

Any ideas?


Received on Tue Jan 08 2008 - 23:43:15 CET

This archive was generated by hypermail 2.3.0 : Thu Aug 22 2019 - 09:15:17 CEST