Tuesday, Nov. 21. 1995
TIME: 3:30 P.M. - 4:30 P.M.
PLACE: Room 3258 AVW Bldg. University of Maryland at College Park
SPEAKER: Dr. Vladimir Lifschitz
TITLE: ``What is Prolog?''
ABSTRACT:
The work of Prolog can be viewed as the process of proof search for a calculus associated with the given logic program. This interpretation of Prolog makes it easier to prove that it is sound with respect to the declarative semantics of logic programming.
Everyone is welcome to attend.