[YeGoblynQueenne]

Prolog uses the closed world assumption: if something cannot be proven, it is considered false.

https://en.wikipedia.org/wiki/Closed-world_assumption