Lập Trình Logic Trong ProLog - PGS TS PHAN HUY KHÁNH phần 6 docx

... Lập trình lôgic trong Prolog ?- 1 =:= 2-1 ?- X =:= Y. 2. Cho biết kết quả của các câu hỏi sau đây : ?- op(X) is op(1). ?- op(X) = op(1). ?- op(op(Z), Y) = op(X, op(1)). ?- op(X, Y) = op(op(Y), ... N) -& gt; (1) gọi length([2, 3], N’) -& gt; (2) gọi length([3], N’’) -& gt; (3) gọi length([ ], N’’’) -& gt; N’’’ = 0 (4) gọi N’’ is 1 + 0 -&...

Ngày tải lên: 14/07/2014, 01:21

... CHƯƠNG TRÌNH PROLOG 187 PHỤ LỤC B HƯỚNG DẪN SỬ DỤNG SWI -PROLOG 200 I. GIỚI THIÊUU SWI -PROLOG 194 II. LAIM VIÊUC VỚI SWI -PROLOG 195 II.1. Đặt câu hỏi 195 II.2. Chạy trình demo 1 96 II.3. Chạy ... Biến 6 III. SỰ KIỆN VÀ LUẬT TRONG PROLOG 6 III.1. Xây dựng sự kiện 6 III.2. Xây dựng luật 10 III.2.1. Định nghĩa luật 10 III.2.2. Định nghĩa luật đệ quy 16 III.2.3. Sử...

Ngày tải lên: 14/07/2014, 01:21

... (2) X là nữ . sister(X, Y) :- Y X Y X Z parent grandparent parent Y X woman parent child parent mother 16 Lập trình lôgic trong Prolog ancestor(X, Z) :- % ngũ đại đồng đường parent(X, ... Hình III .6. Các cặp tổ tiên hậu duệ gián tiếp ở các mức khác nhau. ancestor(X, Z) :- parent(X, Z). ancestor(X, Z) :- parent(X, Y), ancestor(Y, Z). ?- ancestor...

Ngày tải lên: 14/07/2014, 01:21

... một trong các đích của danh sách là đúng. Ví dụ II.2 : P :- Q; R. được đọc là : P đúng nếu Q đúng hoặc R đúng. Người ta cũng có thể viết tách ra thành hai mệnh đề : P :- Q. P :- R. Trong ... xử lý trong thủ tục execute. Trong các cài đặt Prolog hiện nay, nhiều khả năng mới đã được thêm vào nhằm đạt hiệu quả tối ưu. Không phải mọi mệnh đề trong Ngữ nghĩa của chươ...

Ngày tải lên: 14/07/2014, 01:21

... thích như là : X is ( 5 -2 ) - 1 Do đó : ?- X is 5 -2 - 1. X = 2 Yes ?- X = 5 -2 - 1. X = 5-2 -1 Yes Các phép so sánh giá trị số học trong Prolog được thực hiện theo nghĩa Toán học thông ... đây viết đúng : not not p 64 Lập trình lôgic trong Prolog ?- X is exp(10). X = 220 26. 5 Yes ?- X is sqrt(9). X = 3 Yes 7 ?- X is abs(...

Ngày tải lên: 14/07/2014, 01:21

... sau đây : ?- X=Y. ?- X is Y ?- X=Y, Y=Z, Z=1. ?- X=1, Z=Y, X=Y. ?- X is 1+1, Y is X. ?- Y is X, X is 1+1. ?- 1+2 == 1+2. ?- X == Y. ?- X == X. 78 Lập trình lôgic trong Prolog Có thể ... lôgic trong Prolog Y = G 366 Z = G371 ?- a =@= A. No ?- a =@= B. No ?- x(A, A) =@= x(B, C). No ?- x(A, A) =@= x(B, B). A = _G 26...

Ngày tải lên: 14/07/2014, 01:21

... < 6, 2 6 ≤ 1, 2 < 4 2 < 0 + + + + + + + + + 3 6 X Y - - 4 - - 2 - - Lập trình lôgic trong Prolog 112 ?- [1 | [2,3]] = [1,2,X]. ?- [1 | [2,3,4]] = [1,2,X]. ?- [1 | ... < 6 thì Y = 2 3. Nếu X ≤ 6 thì Y = 4 Ta viết thành quan hệ nhị phân f( X, Y ) trong Prolog như sau : f( X, 0) :- X < 3. % luật 1 f( X, 2)...

Ngày tải lên: 14/07/2014, 01:21

... ljubljana-zurich:ju322:11:30, zurich- paris:sr8 06: 16: 10, paris-grenoble:ba4822:18:40 ] • Làm cách nào để xuất phát từ Paris, có thể du lịch Milan, Ljubljana và Zurich trong ngày thứ Ba, để trở về trong ngày thứ ... dephour( [ P1 - P2 : FlyNum : Dep | _ ] , Dep ). connecting( Hour1 : Mins1 , Hour2 : Mins2 ) :- 60 *( Hour2 - Hour1 ) + Mins2 - Mins1 >= 40. % Một...

Ngày tải lên: 14/07/2014, 01:21

... :- sol( ListY ), [ 1, 2, 3, 4, 5, 6, 7, 8 ], [ 1, 2, 3, 4, 5, 6, 7, 8 ], [ -7 , -6 , -5 , -4 , -3 , -2 , -1 , 0, 1, 2, 3, 4, 5, 6, 7 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16 ... Giao diện NSD Trình Prolog Kỹ thuật lập trình Prolog 155 Dy = [ 1, 2, 3, 4, 5, 6, 7, 8 ] Du = [ -7 , -6 , -5 , -4 , -3 , -2 , -1 , 0,...

Ngày tải lên: 14/07/2014, 01:21

... là 65 , 66 , 67 ?- put( 65 ), put( 66 ), put( 67 ). ABC yes % Đọc và ghi các ký tự ?- get0(X). |: a % Gõ vào một ký tự rồi Enter (↵), không gõ dấu chấm X = 97 Yes. ?- get0(X). ^D X = -1 . ... trình logic trong Prolog , Nhà Xuất bản Đại học Quốc gia Hà Nội, 2004 Kỹ thuật lập trình Prolog 173 các ký tự trong câu. Tiếp theo, mỗi câu được xem là một da...

Ngày tải lên: 14/07/2014, 01:21