Here follows a small problem ECLiPSe Constraint Logic Programming System [kernel] Copyright Imperial College London and ICL Certain libraries copyright Parc Technologies Ltd GMP library copyright Free Software Foundation Version 5.1.1, Thu Feb 22 01:08 2001 program :- lib(fd). list([_|_]). agrege_prefs(_, [], C, C) :- !. agrege_prefs(A, C, [], [[A|C]]) :- atom(A), !. agrege_prefs(A, C, [], [[M|C]]) :- list(A), !, fd:(M::A). agrege_prefs(U, New, [[U|Old]|Rest], [[U|All]|Rest]) :- !, append(New, Old, All). agrege_prefs(U, New, [X|Rest], [X|Next]) :- agrege_prefs(U, New, Rest, Next). when i try : fd:(A::[a,b]), agrege_prefs(c, [x], [[A, [eq, [mode], bi], [eq, [liaisons], 1]]], S). It fails, but I dont understand why, I expected the last clause to be used can you help me in finding what is wrong ? Eric Bensana ************************************************************************* ONERA : Office National d'Etudes et de Recherches Aerospatiales DCSD : Departement Commande des Systemes et Dynamique du vol CERT : Centre d'Etudes et de Recherche de Toulouse 2 avenue Edouard Belin, BP 4025, 31055 Toulouse Cedex, France Tel : +33 (0)5 62 25 29 01, Fax : +33 (0)5 62 25 25 64 Mél : Eric.Bensana@cert.fr ou Eric.Bensana@onera.fr Page Web : http://www.cert.fr/dcsd/cd/MEMBRES/bensana/index.html *************************************************************************Received on Thu May 10 15:46:20 2001
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:06 PM GMT GMT