Prolog By Example - VideoAndMovie

Tutorial videos to accompany the book Prolog By Example.

20 - Meta-Interpeter 5: Fixed Depth Search

1:01:07

20 - Meta-Interpeter 5: Fixed Depth Search

19 - Meta-Interpreter 4: The Cut

39:26

19 - Meta-Interpreter 4: The Cut

18 - Meta-Interpeter 3: Recursion

33:23

18 - Meta-Interpeter 3: Recursion

17 - Meta-Interpreter 2: Deduction

22:12

17 - Meta-Interpreter 2: Deduction

16 - Meta-Interpreter 1: Facts

21:54

16 - Meta-Interpreter 1: Facts

15 - Negation

31:22

15 - Negation

14 - The Cut for Efficiency

22:15

14 - The Cut for Efficiency

13 - Backtracking after the Cut

14:47

13 - Backtracking after the Cut

12 - Introducing the Cut

15:28

12 - Introducing the Cut

11 - Queries that don't Terminate

40:17

11 - Queries that don't Terminate

10 - Recursion with Arithmetic

30:29

10 - Recursion with Arithmetic

09 - Recursion with an Accumulator

35:58

09 - Recursion with an Accumulator

08 - Recursion with Lists

30:21

08 - Recursion with Lists

07 - Introducing Recursion

35:44

07 - Introducing Recursion

06 - Query Order & Efficiency

18:47

06 - Query Order & Efficiency

05 - Generating Simple Sentences

43:37

05 - Generating Simple Sentences

04 - Proving New Facts with Deduction

26:43

04 - Proving New Facts with Deduction

03 - Satisfying Multiple Properties

17:31

03 - Satisfying Multiple Properties

02 - Querying with Variables

18:46

02 - Querying with Variables

01 - Facts & Queries

18:14

01 - Facts & Queries