intro-to-prolog:

• swi prolog: https://www.swi-prolog.org

atoms; predicates.

predicates is the operation doing on lhs / rhs.

unification:

2 = 3
false

two things of a different data type cannot be unified (returns a boolean false).