hildum%brandeis.csnet@csnet-relay.arpa@sri-unix.UUCP (03/24/84)
(This message has been sent to both the AIList and the Prolog Digest)
I am looking for some information concerning the following:
(1) The use of Prolog and Lisp for deductive and inferential processing.
(2) Standard methods of handling deductive and inferential processing
in Prolog and Lisp.
(3) Any languages similar or different to Prolog and Lisp that have been
used for deductive and inferential processing.
(4) What types of inferential and deductive processing cannot be done using
Prolog ? Using Lisp ?
Suggestions of applicable articles and research projects, as well as personal
observations would be greatly appreciated. I am attempting to get a feel for
what kinds of things can and cannot be done to handle deductive and inferen-
tial processing with existing Logic/AI programming languages.
Responses (ASAP) will be greatly appreciated. Please reply to:
hildum%brandeis.csnet@csnet-relay.csnet
I will gladly post a summary to the net if there is enough interest in
the subject.
Thank you,
David W. Hildum
US Mail: Box 1417
Brandeis University
Waltham, Massachusetts
02254