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 ... Ngữ nghĩa của chương trình Prolog 35 Ví dụ II .3 : Minh hoạ cách Prolog trả lời câu hỏi cho ví dụ chương trình gia hệ trước đây như sau : Đích cần tìm là : ?- ancestor(t...

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

... PROLOG 31 I. QUAN HỆ GIỮA PROLOG VÀ LÔGICH TOÁN HỌC 31 II. CÁC MỨC NGHĨA CỦA CHƯƠNG TRÌNH PROLOG 32 II.1. Nghĩa khai báo của chương trình Prolog 33 II.2. Khái niệm về gói mệnh đề 34 II .3. ... 1515 0 -9 7 3. 14 -0 .0 035 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

... 2, 3 ], N ) như sau : (0) gọi length([1, 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 -& gt; ... 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)....

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 ... biết các hạng Prolog hợp thức sau đây (valid Prolog terms) : 23 +(fred, jim) foo(X, bar(+ (3, 4))) 1+2. Foo(x) Alison Cawsey 8. Cho quan hệ parent được định nghĩa...

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

... ?- anc1(tom, sue). -& gt; Yes ?- anc2(tom, sue). -& gt; Yes ?- anc3(tom, sue). -& gt; Yes ?- anc4(tom, sue). ERR 211 Not enough local stack 58 Lập trình lôgic trong Prolog bird(X) :- ... 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...

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

... II.2 : ?- free_variables(a(X, b(Y, X), Z), L). L = [G367, G366, G371] X = G367 84 Lập trình lôgic trong Prolog N > 1, N1 is N - 1, F3 is F1 + F2, fib1(N1, F3, F2, FN). ?- fibo(21, ... chương 3 1. Cho biết kết quả của các câu hỏi 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...

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]. ?- X(Y) ... ?- takeout (3, [1,2 ,3] ,[1,2]). Yes ?- takeout(X,[1,2 ,3] ,L). X = 1 L = [2, 3] ; X = 2 L = [1, 3] ; X = 3 L = [1, 2] ; No...

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

... V3, tu, FN3, Dep3, Arr3 ), fly( V3, paris, fr, FN4, Dep4, Arr4 ). Kết quả -& gt; V1 = ljubljana V2 = zurich V3 = milan FN1 = ju2 13 Dep1 = 13: 20 Arr1 = 16:20 FN2 = ju322 Dep2 = 11 :30 Arr2 ... II .3 được mô tả bởi các mệnh đề Prolog như sau : satisfaction( s3 ). Kỹ thuật lập trình Prolog 139 3. Một xâu khác rỗng được thừa nhận tại trạng thái S nếu ôtômat có thể thực hi...

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

... 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, ... Tệp 3 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

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