Validation and Testing of Prolog Programs

Article View: comp.lang.prolog

Article #1336

#1336

From: Guillermo A. Francia
Date: Fri, 26 Oct 1990 22:36

15 lines
871 bytes

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

Technical Details

Message-ID: <1990Oct26.223639.11088@nmt.edu>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!samsung!uakari.primate.wisc.edu!unmvax!nmt.edu!francia

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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