Introduction to Prolog

Solving logical puzzles in Prolog. The texts of the tasks are written in Hungarian.

In this file I will show you how to easily evaluate expressions in Mathematical logic (First-order logic) in Prolog. That is, I show how the Prolog programming language can be used in checking Mathematical logic problems.

Command for SWI-Prolog (ArchLinux):

sudo pacman -S swi-prolog

swipl -s Filename.pl
?- ...