Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!snorkelwacker!mit-eddie!rutgers!mcnc!rti!mozart!sasgwb
From: sasgwb@mozart.unx.sas.com (Gary Black)
Newsgroups: comp.ai
Subject: Help with arc consistency algorithms
Keywords: Mackworth, Nadel, PROLOG, Constraints
Message-ID: <1990Jun29.025306.29555@unx.sas.com>
Date: 29 Jun 90 02:53:06 GMT
Sender: sasgwb@unx.sas.com (Gary Black)
Distribution: usa
Organization: SAS Institute Inc.
Lines: 9

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.