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