finin@BIGBURD.PRC.UNISYS.COM (Tim Finin) (10/14/87)
AI Seminar UNISYS Knowledge Systems Paoli Research Center Paoli PA PROLOG AND AI APPLICATIONS - A EUROPEAN PERSPECTIVE Raf Venken BIM Prolog Raf Venken, manager for BIM Prolog Research and Development, will be visiting Logic Based Systems on Monday, October 19th. BIM is a high performance Prolog which runs on UNIX-based SUN workstations as well as VAXES under VMS, UNIX 4.2, and ULTRIX. BIM is involved in joint research efforts with various universities throughout Europe and is a member of ESPRIT (the "European MCC"). BIM has also contributed to LOQUI, a large natural language project. BIM claims to be the fastest general purpose Prolog system currently available on the market. BIM includes "the first successful attempt to include more intelligent debugging aids into the [Prolog] system" and a "PARTIAL EVALUATION system which optimizes Prolog programs by source-to-source transformations." BIM has also "extended the Prolog language with the concept of MODULES to allow the easy development of very large systems." The talk will cover the philosophy and strategy behind BIM Prolog, discuss current ESPRIT projects including a large NLP system, and speculate about the future. 11:00am, Monday, October 19th Cafeteria Conference Room - if you are interested in attending, please send - - mail to finin@prc.unisys.com or call 215-648-7446it caenkhom