ysy@mulga.oz (Song Yan) (12/23/87)
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