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

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

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ể ... s(s(_G 299 )) ; X = 0+s(s(_G3 09) ) Y = s(s(_G3 09) ) ; X = _G 299 +s(s(s(0))) Y = s(s(s(_G 299 ))) ; X = 0+s(s(s(_G316))) Y = s(s(s(_G316))) ; X = _G...

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 196 II.3. Chạy ... Bảo vệ tiến sĩ năm 199 1 tại Pháp. Giữ chức chủ nhiệm khoa Công nghệ Thông tin 199 5-2 000. Hướng nghiên cứu chính : xử lý ngôn ngữ, xử lý đa ngữ, lý thuyết tính toán. E-mail: khanh...

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

... 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 = 3.141 59 Yes I.3. Định nghĩa các phép toán trong Prolog ... 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á t...

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), ... 2, 3], 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

... - - 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

... Kỹ thuật lập trình Prolog 133 ?- exist( individual( Firstname, Lastname, _ , _ ) ). 2. Tìm những người con sinh năm 199 1 : ?- chidren( X ), dateofbirth( X, date( _ , _ , 199 1 ) ). 3. Tìm những ... 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ì...

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

... ký tự của A. Ví dụ : ?- name(mic 29, [1 09, 105, 99 , 50, 57 ]). Yes ?- name( aikieutuido, L). L = [ 97 , 105, 107, 105, 101, 117, 116, 117, 105 | ] Yes ?- name(X, [ 97 , 105, 107, 105, 101, ... may 7, 196 0, work microsoft, salary 30000 ann smith, birth day avril 9, 196 2, out of work children roza smith, birth day june 16, 199 1, out of work eric smith, birth day...

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