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

... 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ể ... vô hạn : ?- egal(X, Y). X = _G2 35+ 0 Y = _G2 35 ; X = 0+_G2 35 Y = _G2 35 ; X = _G299+s(0) Y = s(_G299) ; X = 0+s(_G302) Y = s(_G302) ; 74 L...

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

... 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, 1, 2, 3, 4, 5, 6, 7 ] Dy = [ 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, ... ListY) :- 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,...

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

... LỤC A MỘT SỐ 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 1 95 II.1. Đặt câu hỏi 1 95 II.2. Chạy trình demo ... 151 5 0 -9 7 3.14 -0 .00 35 100.2 Tuỳ theo phiên bản cài đặt, Prolog có thể xử lý các miền số nguyên và miền số thực khác nhau. Ví dụ trong phiên bản Turbo Prolog, miền số...

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

... mức khác nhau. ancestor(X, Z) :- parent(X, Z). ancestor(X, Z) :- parent(X, Y), ancestor(Y, Z). ?- ancestor(mary, X). X = jim -& gt;; X = ann -& gt;; X = sue -& gt;; X = bill Yes parent ... Y) :- ancestor(X , Y). kindred(X , Y) :- ancestor(X , Y). kindred(X , Y) :- % X và Y có cùng tổ tiên ancestor( Z, X), ancestor(Z , Y). Mở đầu về ngôn ngữ Pro...

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 ... lôgic trong Prolog ?- X is exp(10). X = 22026 .5 Yes ?- X is sqrt(9). X = 3 Yes 7 ?- X is abs(1.99). X = 1.99 Yes ?- X is...

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

... 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), ... ]) :- X @=< H. ins(X, [ H|T ], [ H|L ]) :- X @> H, ins( X, T, L ). ?- ins(8, [ 1, 2, 3, 4, 5 ], L). L = [1, 2, 3, 4, 5, 8] Yes ?-...

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

... - - 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 | [2,3,4]] = [1,2|X]. ?- b(o,n,j,o,u,r) = L. ?- bon(Y) = [X,jour]. ?- ... hệ nhị phân f( X, Y ) trong Prolog như sau : f( X, 0) :- X < 3. % luật 1 f( X, 2) :- 3 =< X, X < 6. % luật 2 f( X, 4) :- 6 =&l...

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

... ngày nào trong tuần có chuyến bay trực tiếp từ Paris đi Ljubljana ? 0 b a 2 1 A a, b b Kỹ thuật lập trình Prolog 1 45 11:40 / 12 :50 / ba4 752 / all , 18:40 / 19 :50 / ba4822 ... thứ năm ? ?- path( ljubljana , grenoble , th, C ). C = [ ljubljana-paris:yu200:11:10, paris- grenoble:ba4822:18:40 ] ; C = [ ljubljana-paris:yu212:11: 25, paris- Kỹ thuật lập trình...

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

... ?- name(mic29, [109, 1 05, 99, 50 , 57 ]). Yes ?- name( aikieutuido, L). L = [ 97, 1 05, 107, 1 05, 101, 117, 116, 117, 1 05 | ] Yes ?- name(X, [ 97, 1 05, 107, 1 05, 101, 117, 116, 117, 1 05, ... 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 danh sác...

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