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

... CHƯƠNG TRÌNH PROLOG 18 7 PHỤ LỤC B HƯỚNG DẪN SỬ DỤNG SWI -PROLOG 200 I. GIỚI THIÊUU SWI -PROLOG 19 4 II. LAIM VIÊUC VỚI SWI -PROLOG 19 5 II .1. Đặt câu hỏi 19 5 II.2. Chạy trình demo 19 6 II.3. Chạy ... sách 10 9 III.3 .1. Sắp xếp các phần tử của danh sách 10 9 III.3.2. Tính độ dài của một danh sách 10 9 III.3.3. Tạo sinh các số tự nhiên 11 1 CHƯƠNG 5 KỸ THUẬT LẬP TRÌN...

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

... trình Prolog hay cơ sở dữ liệu C . . . H :- D 1 , , D n G 1 , G 2 , , G m D" 1 , , D" n , G" 2 , , G" C' : H’ :- D’ 1 , , D’ n S = (G 1 | H’) D 1 ’, ... state(P1, onthefloor, P1, H), pushing(P1, P2), % đẩy cái hộp từ P1 đến P2 state(P2, onthefloor, P2, H)). displacement( state(P1, onthefloor, G, H), walking(P1, P2), % di ch...

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

... thủ tục trong chương trình. Điều gì sẽ xảy ra nếu ta không sử dụng is trong chương trình. Chẳng hạn : length1( [ ], 0 ). length1( [ _ | Queue ], N ) :- length1( Queue, N1 ), N = 1 + N1. Lúc ... sau 1. Nếu phần tử X là đầu của danh sách, thì kết quả là đuôi của danh 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â...

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

... | | | 1 2 3 4 5 6 7 8 5  4  3  2  1  (6, 4) (4, 2) (7, 1) P2 = (2, 3) P1 = (1, 1) * + - a b c 5 P1 = seg point point 1 1 2 3 P1 = point 1 1 T = triangle ... point(X, Y1))). horizontal(seg(point(X, Y), point(X1, Y))). Ta có : ?- vertical(seg(point (1, 1) , point (1, 2))). Yes ?- vertical(seg(point (1, 1) , point(2, Y))). No...

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

... thức : X is 5 -2 – 1 được giải 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 ... tham đối của nó. Không có gì trong đích trước nó để Prolog tiến hành phép cộng. Sau đây là một số ví dụ : ?- X = 1 + 1 + 1. X = 1...

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

... n) = Ack(m -1 , 1) M > 0, M is M - 1, ack(M, 1, A). ack(M1, N1, A) :- % Ack(m, n) = Ack(m -1 , Ack(m, n -1 ) ) M1 > 0, N1 > 0, M is M - 1, N is N - 1, ack(M1, N, A1), ack(M, A1, A). Ví ... =:= 2 + 1. Yes. ?- 1 + 2 = 2 + 1. No. ?- 1 + 2 = 1 + 2. Yes. ?- 1 + X = 1 + 2. X = 2 ?- 1 + A = B + 2. A = 2 B = 1 ?- 1...

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

... 1, 1 < 6, 2 6 ≤ 1, 2 < 4 2 < 0 + + + + + + + + + 3 6 X Y - - 4 - - 2 - - Lập trình lôgic trong Prolog 11 2 ?- [1 | [2,3]] = [1, 2,X]. ?- [1 | [2,3,4]] = [1, 2,X]. ?- ... 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 ?- takeout(4...

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

... 9 :10 Arr4 = 10 :0 ; -& gt; V1 = milan V2 = zurich V3 = ljubljana FN1 = ba 510 Dep1 = 8:30 Arr1 = 11 :20 FN2 = sr6 21 Dep2 = 9:25 Arr2 = 10 :15 FN3 = yu323 Dep3 = 13 :30 Arr3 = 14 :40 FN4 ... , 11 :25 / 12 :20 / yu 212 / [ su ] ] ). timetable( milan , paris , [ 9 :10 / 10 :00 / az458 / all , 12 :20 / 13 :10 / ba 511 / all ] ). timetable( milan , zurich , [ 9...

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

... S = [1/ 1, 2 /1, 3 /1, 4 /1, 5 /1, 6 /1, 7 /1, 8 /1] ; S = [1/ 1, 2/8, 3 /1, 4 /1, 5 /1, 6 /1, 7 /1, 8 /1] ; S = [1/ 2, 2/8, 3 /1, 4 /1, 5 /1, 6 /1, 7 /1, 8 /1] ; S = [1/ 1, 2 /1, 3/7, 4 /1, 5 /1, 6 /1, 7 /1, 8 /1] ; ... :- 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 ],...

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

... ?- name(mic29, [10 9, 10 5, 99, 50, 57 ]). Yes ?- name( aikieutuido, L). L = [ 97, 10 5, 10 7, 10 5, 10 1, 11 7, 11 6, 11 7, 10 5 | ] Yes ?- name(X, [ 97, 10 5, 10 7, 10 5, 10 1, 11 7, 11 6, 11 7, 10 5, 10 0, ... prove(Goal) :- Goal. hoặc viết các mệnh đề : prove(true). prove((Goal1, Goal2)) :- prove(Goal1), prove(Goal2). prove(Goal) :- cla...

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