Path: utzoo!attcan!uunet!samsung!uakari.primate.wisc.edu!unmvax!nmt.edu!francia
From: francia@nmt.edu (Guillermo A. Francia)
Newsgroups: comp.lang.prolog
Subject: Validation and Testing of Prolog Programs
Message-ID: <1990Oct26.223639.11088@nmt.edu>
Date: 26 Oct 90 22:36:39 GMT
Organization: New Mexico Institute of Mining and Technology
Lines: 15

I am trying to do a compilation of references on the subject of
"Validation and Testing of Logic Programs".

Any help would be highly appreciated. I promise to post a summary
of all responses on this newsgroup. Please mail responses to

		francia@jupiter.nmt.edu

Thanks in advance!

-- 
--------------------------------------------------------------------
francia@jupiter.nmt.edu                     Guillermo A. Francia III
					    P.O. Box 2335 CS
francia@minos.nmt.edu			    New Mexico Tech