The slideshow uses DZSlides by compiling a markdown file with Pandoc. See here for more details.
Useful to showcase different Prolog mechanisms.
Toy sudoku solver to showcase that Prolog can be extremely efficient if it's working on the right type of problem.