mgv@usceast.UUCP (Marco Valtorta) (10/13/89)
We are looking for references to ideas, programs, or systems that deal with the translation of OPS-5 (or other production system) programs into Prolog (or other logic) programs. So far, we have found the following reference: Yamamoto, A. and H. Tanaka. "Translating Production Rules into a Forward Reasoning Prolog Program." _New Generation Computing_, 4 (1986), 97-105. Please mail directly, and we will summarize to the net. Marco Valtorta usenet: ...!ncrcae!usceast!mgv Department of Computer Science csnet: mgv@cs.scarolina.edu University of South Carolina tel.: (1)(803)777-4641 Columbia, SC 29208 tlx: 805038 USC U.S.A. fax: (1)(803)777-3065 usenet from Europe: ...!mcvax!uunet!ncrlnk!ncrcae!usceast!mgv