A Brief Introduction to Prolog

Erik gives us through a brief introduction to Prolog, solving the Queen Attack exercise on Exercism, and exploring why it's an interesting language to explore.

Links:
- Great logic-based programming exercises:

Timestamps:
00:00 Welcome
00:36 Introduction
03:25 What makes Prolog great?
07:02 Standout features
12:22 Solving Queen Attack
32:00 Learning Resources
37:16 Closing Remarks

[bocckoka]

In the morning, when I want to make breakfast, I do a bread first search.

[Samuel-pgtg]

You do such a great job with these introductions, excellent thank you.

[Dreamshadow]

Thank you for this refresher. As a teen I messed with borland turbo prolog after I learned pascal. Got it to run simple text adventure games as a parser. But I wasn’t particularly adept at it.

[MarkVolkmann]

Great timing on this video! I just started learning prologue two days ago.

[charlie]

Perfect explanation! Thank you so much I will definitely share this among my colleagues!

[alessiotucci]

Thanks for this quick introduction, I have discovered Prolog in my thesis work on NLP

[encapsulatio]

Hope you can make a video on languages that contain the most amount of programming paradigms supported by default and natively.

[jacobblack]

I wonder how do you know so much, dear Master.

[dolorsitametblue]

30:02 - That 'ins' just made my day. Is it a plural for 'in'? LOL

[fredguth]

He mentioned a database based on Prolog. I couldn’t hear the name. Can anyone point me to it?

[LouisDuran]

Since you're doing a brief introduction to Prolog (which nobody uses), can you do a brief introduction to DML (which nobody + 1 uses)?

[RohitYelmar]

water jug (X, Y) :-X>4, Y<3, write ('41 water jug overflowed.), ni. water jug (X, Y) :-X<4, Y>3, write('31 water jug is overflowed.), nl.

water jug (X, Y) :-X>4, Y>3, write ('Both water jugs overflowed.), nl. water jug (X, Y) -

(X=:=0, Y=:=0, nl, write ('41:0 & 31:3 (Action: Fill 31 jug.)'), YY is 3, water jug (X, Y));

(X=:=0, Y==0, nl, write ('41:4 & 3L:0 (Action: Fill 41 jug.)), xx is 4, water jug (XX, Y)); (X=:=2, Y=:=0, nl, write ('41:231:0 (Action: Goal State Reached....)'));

(X=:=4, Y=:=0, nl, write('41:1 31:3 (Action: Pour water from 41 to 31 jug.)), XX is X-3, YY is 3, water jug (XX, Y));

(x-:-0, Y-:-3, nl, write('41:3 & 31:0 (Action: Pour water from 31 jug to 41 jug.)), XX is 3, YY is 0, water jug (XX, YY)); (X-:-1, Y:-3, nl, write('41:1 & 31:0 (Action: Empty 31 jug.)'), YY is 0, water jug (X, YY));

(x-:-3, y=:=0, nl, write ('41:331:3 (Action: Fill 31 jug.)), YY is 3, water jug (X, YY)); (X=:=3, Y=:=3, nl, write('41:431:2 (Action: Pour water from 31 jug to 4L jug until 4L jug is full.)'), XX is x+1, YY is Y-1,

water jug (XX, YY)); (X=:=1, Y=:=0, nl, write ('4L:0 & 31:1 (Action: Pour water from 4L to 3L jug.)'), XX is Y, YY is X, water jug (XX, YY)); (X=:=0, Y=:=1, nl, write('41:4 & 31:1 (Action: Fill 41 jug.)'), XX is 4, water jug (XX, Y)); (X=:=4, Y=:=1, nl, write ('41:2 & 31:3 (Action: Pour water from 4L jug to 31 jug until 31 jug is full.)'), XX is X-2, YV is Y42,

water jug (XX, YY)); (X=:=2, Y=:=3, nl, write ('4L:2 & 3L:0 (Action: Empty 31 jug.)), YY is 0, water jug (X, Y));

(X=:=4, Y:-2, nl, write ('41:06 3L:2 (Action: Empty 4L jug.)'), xXx is 0, water jug (XX, Y)); (X=:=0, Y=:=2, nl, write('41:231:0 (Action: Pour water from 3L jug to 4L jug.)), XX is Y, YY is X, water jug (XX, YY)).