Prolog stands out as the reference language for logic programming. In the talk the basic principles of Prolog programming will be reminded; then a version of operational semantics and it's connection with the satisfability problem for first-order formulas will be considered.
Presenter: Dmitry Boulytchev.
Date: April 25, 2016
Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr-t, 28