The Fixed Point
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
The fixed point is where derivation stops because nothing new can be added — and the atoms established there are the consequence set: everything the knowledge base supports.
Show
Run the same facts and rules in any order and the fixed point lands in the same place.
Watch for
The consequence set contains conclusions nobody asked for — thoroughness is a cost as well as a virtue.