Tvorba modelu v HO Prologu

[Logiker]

Zdravím, mám kód v higher-order Prologu modelující teorii (commonsense znalost) a potřebuju z ní vytvořit model (tj. kolekci induviduí a interpretační funkci pro predikáty). Algoritmus znám (převedení do teorie typů a vygenerování odpovídajích množin), ale mám teoretickou otázku: jde vytvořit model pro každou teorii, tzn. když ji rozšířím, je zaručeno, že ta větší teorie taky bude mít explicitní model?

[Reklama]

[neocon]

 Každá bezesporná teorie má model.

[Labrat]

Každá bezesporná teorie má model.

Ale jen obecný, ne nutně standardní.