But this program has also other models, for instance Thus one of the models of the given program is special in the sense that it correctly represents the behavior of SLDNF resolution.
Але ця програма має також й інші моделі, наприклад, Таким чином, одна з моделей даної програми є особливою в тому сенсі, що вона правильно представляє поведінку ВЛВЗВ-резолюції.