Thank you for your answer, Indeed it now returns a valid result, though not the correct one. Namely it returns:
...,rel(de,A,B),rel(para,A,C)... which breaks the constraint that implies the 3rd argument of one rel/3 to be the 2nd argument of the other rel/3. It still seams an easy constraint to code in Prolog, as such I'm finding it dificult to debug/solve. Best Regards, Peter _______________________________________________ Users-prolog mailing list [email protected] http://lists.gnu.org/mailman/listinfo/users-prolog
