Lập Trình Logic Trong ProLog - PGS TS PHAN HUY KHÁNH phần 4 pptx
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 4 pptx
... 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 ... anc4 (X, Z) :- anc4 (X, Y), parent(Y, Z). anc4(X, Z) :- parent(X, Z). % Các câu hỏi được đặt ra lần lượt như sau : ?- anc1(tom, sue). -&...
Ngày tải lên: 14/07/2014, 01:21
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 1 doc
... PHỤ 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 1 94 II. LAIM VIÊUC VỚI SWI -PROLOG 195 II.1. Đặt câu hỏi 195 II.2. ... lôgich của các mệnh đề 35 II .4. Nghĩa thủ tục của Prolog 37 II.5. Tổ hợp các yếu tố khai báo và thủ tục 47 6 Lập trình lôgic trong Prolog III. Sự kiện và luật trong Prolog III.1. Xây...
Ngày tải lên: 14/07/2014, 01:21
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 2 pot
... 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 ... định nghĩa thứ tự xử lý các đích. 14 Lập trình lôgic trong Prolog Tất cả mọi người đều chết. Socrate là một người. Ta viết trong Prolog như sau : mortal(X) :-...
Ngày tải lên: 14/07/2014, 01:21
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 3 doc
... 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 trình Prolog 43 ... 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...
Ngày tải lên: 14/07/2014, 01:21
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ể ... _G271 Yes ?- 3 @< 4. Yes ?- 3 @< a. Yes ?- a @< abc6. Yes ?- abc6 @< t(c, d). Yes ?- t(c, d) @< t(c, d, X). X =...
Ngày tải lên: 14/07/2014, 01:21
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), ... = 10 -5 : π 4 1 1 3 1 5 1 7 = − + − + cho đến khi 1 2n -1 ε < 2 4 6 x 2 x 2 4 x 1 + + + + 2 3 4 3 5 6 × × × cho đến khi phần tử thứ n &l...
Ngày tải lên: 14/07/2014, 01:21
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 7 pot
... < 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 | [2,3 ,4] ] = [1,2|X]. ?- ... getEltFromList([a,b,c],0,X). No ?- getEltFromList([a,b,c],2,X). X = b ?- getEltFromList([a,b,c] ,4, X). No Lập trình lôgic trong Prolo...
Ngày tải lên: 14/07/2014, 01:21
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 8 pot
... [ 9 :40 / 10:50 / ba4733 / all , 13 :40 / 14: 50 / ba4773 / all , 19 :40 / 20:50 / ba4833 / [ mo , tu , we , th , fr , su ] ] ). timetable( paris , grenoble , [ 9 :40 / 10:50 / ba4732 / ... 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 145 11 :40 / 12:50 / ba4752 / all , 18 :40 / 19:50 / ba48...
Ngày tải lên: 14/07/2014, 01:21
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 9 pps
... 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, 4, 5, 6, 7 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, ... Tệp 2 Tệp 4 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 ,...
Ngày tải lên: 14/07/2014, 01:21
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 10 potx
... trình logic trong Prolog , Nhà Xuất bản Đại học Quốc gia Hà Nội, 20 04 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ách các từ, mỗi từ được chuyển ... prove(Goal) :- Goal. hoặc viết các mệnh đề : prove(true). prove((Goal1, Goal2)) :- prove(Goal1), prove(Goal2). prove(Goal) :- clause(Goal, Body), prove(Body). 17...
Ngày tải lên: 14/07/2014, 01:21