Pavel Bažant: Prolog and Logic Programming
Channel: PragueLambda
Date: 2016-11-01

The talk was recorded on Prague Lambda Meetup in Locus Workspace, June 8th 2016..

Meetup page: http://www.meetup.com/Lambda-Meetup-Group/

Designed in the early 70s, Prolog is one of the first logic programming languages. It is a great tool to build things such as compilers, expert systems, and natural language processing systems, but it is also useful as a practical general purpose language. To demonstrate this, I will describe my experience building a small but useful web service entirely in Prolog (you can try it out at http://converter.pavelbazant.com/ ). 

We will go through some Prolog macros, DCG grammars, and a custom minilanguage, mentioning things such as declarative integer arithmetic.

Bio: Pavel is a theoretical physicist by training, but currently he does some programming for a living. As a child, he could not decide whether to become a waste collector or an astronaut (they all use some cool vehicles), so he decided to do science and technology instead. Pavel is fascinated by connections between math, physics, biology and computing.