4.5.1. Definition

Try these first

1. 1.

   Define what a fact is in logic programming.

   Hint

   Think of it as a statement of truth.

2. 2.

   What is Prolog?

   Hint

   It closely relates to the concepts discussed.

3. 3.

   What is the purpose of logic programming?

   • To provide instructions explicitly
   • To express facts and rules for automated reasoning
   • To write imperative code

   Hint

   Recall how it differs from other paradigms.

4. 4.

   In logic programming, what are rules used for?

   • True
   • False

   Hint

   Consider the role of relations in rules.

5. 5.

   Design a logic program using Prolog that defines relationships between family members including at least two facts and one rule.

   Hint

   Think about how to express familial relationships logically.

6. 6.

   Assess the performance implications of using complex nested rules in a Prolog program.

   Hint

   Consider how the resolution strategy in Prolog might be affected.