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.