The Logic-Programming Paradigm

A logic program is a collection of logical propositions and questions.

If x is a bird or an airplane, then x has wings.

Tweety is a bird.

Does Tweety have wings?