This file demonstrates how to use Prolog's `trace` feature to debug queries step-by-step.

[VIDEO](https://youtu.be/360AHAy8U-E) (2:54) - An example of debugging a query using `trace`

Introduction to Prolog facts (base knowledge) and rules (logical deductions). This example uses a Star Wars family tree to demonstrate:

- Defining facts (father, mother relationships)

- Creating rules (parent, child relationships)

- Using rules to derive new knowledge from existing facts

Example of working with variables in Prolog, including:

- Variable assignment and unification

- Singleton variables and their use cases

- Querying with variables to find multiple solutions

Master working with numbers in Prolog:

- Arithmetic operations

- Converting between temperature scales (Fahrenheit to Celsius)

- Using the `is` operator for arithmetic calculations

- Comparing numeric values with relational operators

- Writing rules that perform calculations and logical comparisons

This file contains more complex examples building on the fundamentals, including advanced rule definitions and multi-step logical reasoning.

[VIDEO](https://youtu.be/fjw5nif64X8) (17:14) - More complex Prolog examples

(Note: The `same_temp/2` rule shown at the start of the video is not included in this file)

A collection of smaller examples created for brief demonstrations.

[VIDEO](https://youtu.be/CFuBfQwtscE) (2:12) - Explanation of why some queries return both true and false