so that any progrom can be viewed a

so that any progrom can be viewed aas a set oof first-order formulas. Accordingly, we can talk about models of a logic program. Every program has many different models. for instance, a model of the program

Kết quả (Việt) 1:

do đó bất kỳ progrom có thể là xem aas một thiết lập oof đầu tiên thứ tự công thức. Theo đó, chúng tôi có thể nói về các mô hình của một chương trình logic. Mỗi chương trình có nhiều mô hình khác nhau. Ví dụ, một mô hình của chương trình

Kết quả (Việt) 2:

do đó bất cứ progrom có ​​thể được xem một bộ AAS oof thức bậc nhất. Theo đó, chúng ta có thể nói về mô hình của một chương trình logic. Mỗi chương trình có nhiều mô hình khác nhau. Ví dụ, một mô hình của chương trình