Lập Trình Logic Trong ProLog - PGS TS PHAN HUY KHÁNH phần 8 pot
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 8 pot
... thứ năm ? ?- path( ljubljana , grenoble , th, C ). C = [ ljubljana-paris:yu200:11:10, paris- grenoble:ba 482 2: 18: 40 ] ; C = [ ljubljana-paris:yu212:11:25, paris- Kỹ thuật lập trình Prolog 129 ... ljubljana-zurich:ju322:11:30, zurich- paris:sr806:16:10, paris-grenoble:ba 482 2: 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...
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 ... Năm 1 981 , Clocksin và Mellish đã đưa ra một chương trình Prolog chuyển các công thức tính vị từ bậc một thành dạng các mệnh đề. Cách Prolog diễn giải chương trình 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 - - 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
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 10 potx
... 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). 1 78 Lập trình lägich trong Prolog ... 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
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 194 II. LAIM VIÊUC VỚI SWI -PROLOG 195 II.1. Đặt câu hỏi 195 II.2. ... III.2. Tối ưu phép đệ quy 87 III.3. Một số ví dụ khác về đệ quy 88 III.3.1. Tìm đường đi trong một đồ thị có định hướng 88 III.3.2. Tính độ dài đường đi trong một đồ thị 89 III.3.3. Tính gầ...
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
... 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
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 ... 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 pi. 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 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ể ... 72 Lập trình lôgic trong Prolog Y = G366 Z = G371 ?- a =@= A. No ?- a =@= B. No ?- x(A, A) =@= x(B, C). No ?- x(A, A) =@= x(B,...
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
... sách. 88 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, ... trình lôgic trong Prolog 1 08 ?- permutation( L, [ a, b, c ] ). Prolog sẽ ràng buộc liên tiếp cho L để đưa ra 6 hoán vị khác nhau có thể. Tuy nhiên, nếu...
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
... solution( 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, ... 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