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