Sign in to confirm you’re not a bot
This helps protect our community. Learn more

Logic

The Power of Prolog
6.18K subscribers
10K views 6 years ago
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. ...more
...more

This reasoning does not depend on the content of A and B. It does not even depend on the truth of the premises We can deduce this from the structure of the statements. This concrete inference rule is called disjunctive syllogism, also known as modus tollendo ponens.

4:56

Example 2: "This dog is a pug, and the dog is yours."

6:49

Propositional logic can express NP-complete problens.

9:25

First-order predicate logic can describe a Turing machine. second and higher-order logics

13:34

Prolog's execution mechanism can be regarded as a specific form of theorem proving. It is incomplete in the sense that - in general- not all logical consequences of a program are derived.

21:31
Logic
215Likes
10,563Views
2019Mar 6
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.

Follow along using the transcript.

The Power of Prolog

6.18K subscribers