intTypePromotion=1

Báo cáo khoa học: "The Formal and Processing Models of CLG"

Chia sẻ: Nhung Nhung | Ngày: | Loại File: PDF | Số trang:6

0
42
lượt xem
2
download

Báo cáo khoa học: "The Formal and Processing Models of CLG"

Mô tả tài liệu
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

In this paper we present the tormal processing model of CLG, which has been influenced by the Constraint Logic Programming paradigm 18] 191. We show in what way it extends pure unilication based formalisms and how it achieves a sound implementation of classically interpreted first order logic while m a i n t a i n i n g practical computational behaviour by resorting to a simple set of constraint rewrite rules and a lazy evaluation model for constraints satisfaction thus avoiding the problem mentioned in I10] concerning the non-monotonic properties of negation and implication intcrpretcd in the...

Chủ đề:
Lưu

Nội dung Text: Báo cáo khoa học: "The Formal and Processing Models of CLG"

ADSENSE
ADSENSE

CÓ THỂ BẠN MUỐN DOWNLOAD

 

Đồng bộ tài khoản
2=>2