In Section 6 we consider the framew

In Section 6 we consider the framework of meta-logic programming and discuss several of its features. In particular we discuss an application of results related to logic program¬ming semantics to proving correctness of simple meta-interpreters for logic programs. We also consider several meta-logic programs that formalize database updates and hypothetical reasoning.

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

Trong phần 6, chúng tôi xem xét các khuôn khổ của chương trình meta-logic và thảo luận về một số tính năng của nó. Đặc biệt, chúng tôi thảo luận về một ứng dụng kết quả liên quan đến logic program¬ming ngữ nghĩa để chứng minh tính đúng đắn của meta đơn giản-thông dịch viên cho các chương trình logic. Chúng tôi cũng xem xét một số các chương trình meta-logic chính thức hóa Cập Nhật cơ sở dữ liệu và giả thiết lập luận.

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

Trong phần 6, chúng tôi xem xét các khuôn khổ của chương trình meta-logic và thảo luận một số tính năng của nó. Đặc biệt chúng tôi thảo luận về một ứng dụng kết quả liên quan đến ngữ nghĩa luận lý program¬ming để chứng minh tính đúng đắn của đơn giản meta-thông dịch viên cho các chương trình logic. Chúng tôi cũng xem xét một số các chương trình meta-logic chính thức cập nhật cơ sở dữ liệu và lý thuyết.