[comp.lang.prolog] Validation and Testing of Prolog Programs

francia@nmt.edu (Guillermo A. Francia) (10/27/90)

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