Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!news.mathworks.com!newsfeed.internetmci.com!howland.reston.ans.net!nntp.coast.net!harbinger.cc.monash.edu.au!news.mel.connect.com.au!munnari.OZ.AU!cs.mu.OZ.AU!lee
From: lee@cs.mu.OZ.AU (Lee Naish)
Subject: Re: Testing prolog programs
Message-ID: <9535216.8581@mulga.cs.mu.OZ.AU>
Originator: lee@munta.cs.mu.OZ.AU
Sender: news@cs.mu.OZ.AU (CS-Usenet)
Reply-To: lee@cs.mu.OZ.AU (Lee Naish)
Organization: Computer Science, University Of Melbourne, Australia
References:  <4a9rs3$ssi@serra.unipi.it>
Date: Mon, 18 Dec 1995 05:41:06 GMT
Lines: 36


In article <4a9rs3$ssi@serra.unipi.it>, Salvatore Ruggieri <ruggieri> writes:
> I am currently working on testing of prolog programs.
> I know several references on (declarative) debugging
> and diagnosis (by Lloyd, Naish, Pereira etc.) 
> but absolutely none on testing.

The following papers have some discussion of testing.

	lee

@inproceedings{naish:89,
        author =        {Naish, Lee and P. W. Dart and J. Zobel},
        title  =        {The {NU-Prolog} debugging environment},
        booktitle =     {Proceedings of the Sixth International Conference
                                on Logic Programming},
        pages  =        {521--536},
        address =       {Lisboa, Portugal},
        year   =        {June 1989},
        editor =        {Antonio Porto},
        comment = {Technical report 88/31, Department of Computer Science,
                University of Melbourne}
}
@article{marriott:naish:90,
        author =        {K. Marriott and Naish, Lee and J.L. Lassez},
        title  =        {Most specific logic programs},
        journal =       {Annals of mathematics and artificial intelligence},
        volume =        {1},
        number =        {2},
        year   =        {1990},
        comment   =     {Also in Proceedings of the Fifth International
                        Conference/Symposium on Logic Programming},
        comment = {Technical report 87/16, Department of Computer Science,
                University of Melbourne}
}

