🚀 go-pugleaf

In connection with a large project implemented in Prolog, I am preparing a
survey of software engineering techniques which are applicable to Prolog
programs.

I would greatly appreciate any information, references, or programs dealing
with:

  1) Examining Prolog programs with the intent of finding glitches,
     anomalies, and errors;

  2) Generating test cases to exercise all relevant aspects of a Prolog
     program being tested;

  3) Providing test coverage reports of a Prolog program being tested.

Please help! If you don't, I may be forced to implement the stuff myself :-).

Any suggestions regarding how the above might be done would also be appreciated.

Please respond by mail and I will summarize to the net.  Thanks in advance.

-- 
Orville R. Weyrich, Jr.          | UUCP    : ...gatech!ugacs!csun1!weyrich
Department of Computer Science   |
University of Georgia            |
Athens, GA 30602 USA             | MA BELL : (404) 542-1082