This is called the Closed World Assumption (CWA) - https://en.wikipedia.org/wiki/Closed-world_assumption https://en.wikipedia.org/wiki/Closed-world_assumption

This is called the Closed World Assumption (CWA) - https://en.wikipedia.org/wiki/Closed-world_assumption https://en.wikipedia.org/wiki/Closed-world_assumption Prolog’s Closed-World Assumption: A Journey Through Time - https://medium.com/@kenichisasagawa/prologs-closed-world-assumption-a-journey-through-time-a2392b654750 https://medium.com/@kenichisasagawa/prologs-closed-world-ass... Is Prolog really based on the closed-world assumption? - https://stackoverflow.com/questions/65014705/is-prolog-really-based-on-the-closed-world-assumption https://stackoverflow.com/questions/65014705/is-prolog-reall...