JetBrains Research unites scientists working in challenging new disciplines

Seminar on Operational and Axiomatic Semantics of Prolog

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

Time: 17:10

Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr-t, 28