Bilkent ACM SIGART (Special
Interest Group on Artificial Intelligence)
& Bilkent University Computer
Eng. & Info. Science Dept.,
Seminar,
by
Abstract: I explain the idea of logic programming languages (such as pure Prolog) by showing how they are simply certain ways of restricting a hyper-resolution theorem proving algorithm to the simple Horn clause case of the first-order predicate calculus.
Friday, 2nd May. 1997 at 14:40 Room: FB309 (Fine Arts. Building)
Everyone Welcome