Path: utzoo!mnetor!uunet!husc6!cmcl2!rutgers!sdcsvax!ucsdhub!hp-sdd!hplabs!otter!cwp
From: cwp@otter.HP.COM (Chris Preist)
Newsgroups: comp.lang.prolog
Subject: Re: Help with WARPLAN
Message-ID: <1600001@otter.HP.COM>
Date: 22 Dec 87 14:11:25 GMT
References: <32@musky2.EDU>
Organization: Hewlett-Packard Laboratories,Bristol,UK.
Lines: 20

Chris Preist at Hewlett Packard Research labs, ISC, Bristol, UK.

	While having no experience of the particular code listing you reference,
I did some work with WARPLAN about 4 years ago, and experienced similar
problems. I'm afraid I don't have my documentation here, but I seem to remember
that I got around it by implementing an ad-hoc loop detector. There are other
more advanced versions of WARPLAN around, WARPLANC I believe, which overcome 
some of these problems. If you want further information, either contact me 
after Christmas, when I shall have my documentation, or write directly to 
David Warren at the Computer Science dept, University of Manchester, 
Manchester, UK.

			Best of luck,

				Chris Preist.

cwp@otter.hp.com
cwp@hplb.csnet