Xref: utzoo comp.software-eng:939 comp.lang.prolog:1442
Path: utzoo!attcan!uunet!husc6!mailrus!uflorida!gatech!ugacs!csun1!weyrich
From: weyrich@csun1.UUCP (Orville Weyrich)
Newsgroups: comp.software-eng,comp.lang.prolog
Subject: Software Engineering in Prolog
Message-ID: <309@csun1.UUCP>
Date: 21 Nov 88 20:18:21 GMT
Reply-To: weyrich@csun1.UUCP (Orville Weyrich)
Distribution: na
Organization: University of Georgia, Computer Science Department
Lines: 26

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