Logic

As a logic programmer, you may at one point wonder: "What is logic?" Logic is a very broad and interesting topic. This is a brief introduction.

[hayatotenryuu]

I'm starting your online book, and I'm starting with just your videos (one after another). I've read some Prolog books before, but I want to learn to read and write Prolog like a Prolog programmer would read and write Prolog, so stuff like mother_child(Mother, Child) instead of isMother(X, Y).

[alamagordoingordo]

So good work, i am learning Prolog because of you.

[ilyabogdanov]

Great video, thank you for your hard work on this course!

[evanswinner]

I'm sorry to ask such a boring question, but what is the program that you are using for the presentation? It appears to let you add a bit of text one step at a time, and has nice things like italics and underlines and so forth.

[josephgarvin]

Around 13:15 you say "it follows that validity and therefore unsatisfiability are ??? decidable". I can't make out it out, what is the word before decidable?

[kneejerkreactor]

"This dog is a father". How come this premise holds?

[kahnfatman]

##Ice breaker##
This dog is a C, and the dog is yours" V "C is an SOB" |-- you are a dog.