Applying Logical Knowledge

Internals

passenger(duck, daffy, A)

Atom Table

8 - passenger
12 - duck
52- daffy

Heap

H01: H05 | structure
...
H05: 8 | 3 | atom (passenger/3)
H06: 12 | atom (duck)
H07: 52 | atom (daffy)
H08: H08 | reference (unbound)

Unify A(H08) = address(toonsville, ca)

H11: H15 | structure
...
H15: address/2
H16: toonsville
H17: ca
H08: H11 | reference (plugging in the hole)

so now

H01 = passenger(duck,daffy, address(toonsville,ca))

A, B unbound variables

H1: H1 | reference (unbound)
H2: H2 | reference (unbound)

A = B

H2: H1 | reference

A = duck

H3: duck
H1: H3 reference

so now

B = duck