[comp.ai] Help with arc consistency algorithms

sasgwb@mozart.unx.sas.com (Gary Black) (06/29/90)

I am trying to code a PROLOG implementation of Mackworth's Consistency
Algorithms from "Consistency In Networks Of Relations", and Nadel's
Algorithms from "Constraint Satisfaction Algorithms".  

However, I am at best a novice at PROLOG, and could really use some help.
Is there anyone out there who has done anything like this or knows of
existing literature which might help?

E-mail replies please.