https://gefyqyvehuwi.travel-australia-planning-guide.com/tractable-reasoning-in-incomplete-first-order-knowledge-bases-book-1929ip.php