Declarative Debugging in Non-standard Logic Programming

Article View: comp.lang.prolog

Article #2909

#2909

From: Song Yan
Date: Wed, 23 Dec 1987 01:34

19 lines
1312 bytes

I am doing some research in declarative debugging in logic programming,
and going to extend the result into the non-standard logic (temporal
logic, modal logic and fuzzy logic) programming. Does anybody show
interest or has anyone done some work in this area? Any ideas, comments,
meta-interpreters are most welcome and appreciated. Any programs in
non-standard logic are also appreciated. If you have done some work in
debugging in standard logic programming, I would be very interested 
in conducting correspondence with you.

				Fondest regards,
					Song Y. Yan

EMAIL:						AIRMAIL
------------------------------------------------------------------------------
UUCP:	...!munnari!mulga.oz!ysy 		Song Y. YAN
ARPA:	ysy%mulga.oz@uunet.uu.net 		Department of Computer Science,
CSNET:	ysy%mulga.oz@australia 			University of Melbourne,
ACSnet: ysy@mulga.oz				Parkville, 3052,                
JANET:  ysy%munnari.oz@ukc.ac.uk		AUSTRALIA

Technical Details

Message-ID: <2488@mulga.oz>

Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!munnari!mulga!ysy

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!munnari!mulga!ysy
From: ysy@mulga.oz (Song Yan)
Newsgroups: comp.lang.prolog
Subject: Declarative Debugging in Non-standard Logic Programming
Message-ID: <2488@mulga.oz>
Date: 23 Dec 87 01:34:44 GMT
Organization: Comp Sci, Melbourne Uni, Australia
Lines: 19
Keywords: Debugging, Non-standard Logic