[comp.lang.prolog] Help with WARPLAN

dhunter@musky2.EDU (David Hunter) (12/09/87)

Has anyone out there had experience with the WARPLAN program given on pgs.
221-227 of PROLOG for Progammers by Feliks Kluzniak and Stanislaw
Szpakowicz?  We have tried running it under Chalcedony PROLOG and Poplog
PROLOG and found that the program goes into infinite recursion when
trying to solve anything but very simple types of problems.

I wonder if this is just a bug in the code, a problem with our interpreters,
or something else.  If anyone has tried this code before, I would appreciate
hearing from you.

Thanks for listening.y


-- 
...{mandrill | osu-cis | cbosgd}!musky2!dhunter
dhunter@musky2.EDU 

cwp@otter.HP.COM (Chris Preist) (12/22/87)

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