Lập Trình Logic Trong ProLog - PGS TS PHAN HUY KHÁNH phần 6 docx
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), ... 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 -&...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 1 doc
... 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 1 96
II.3. Chạy ... Biến 6
III. SỰ KIỆN VÀ LUẬT TRONG PROLOG 6
III.1. Xây dựng sự kiện 6
III.2. Xây dựng luật 10
III.2.1. Định nghĩa luật 10
III.2.2. Định nghĩa luật đệ quy 16
III.2.3. Sử...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 2 pot
...
(2) X là nữ .
sister(X, Y) :-
Y
X
Y
X
Z
parent
grandparent
parent
Y
X
woman
parent child parent mother
16 Lập trình lôgic trong Prolog
ancestor(X, Z) :- % ngũ đại đồng đường
parent(X, ...
Hình III .6. Các cặp tổ tiên hậu duệ gián tiếp ở các mức khác nhau.
ancestor(X, Z) :-
parent(X, Z).
ancestor(X, Z) :-
parent(X, Y),
ancestor(Y, Z).
?- ancestor...
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ươ...
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 ... đây viết đúng :
not not p
64 Lập trình lôgic trong Prolog
?- X is exp(10).
X = 220 26. 5
Yes
?- X is sqrt(9).
X = 3
Yes
7 ?- X is abs(...
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ể ... lôgic trong Prolog
Y = G 366
Z = G371
?- a =@= A.
No
?- a =@= B.
No
?- x(A, A) =@= x(B, C).
No
?- x(A, A) =@= x(B, B).
A = _G 26...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 7 pot
... < 6, 2
6 ≤ 1, 2 < 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 | ... < 6 thì Y = 2
3. Nếu X ≤ 6 thì Y = 4
Ta viết thành quan hệ nhị phân f( X, Y ) trong Prolog như sau :
f( X, 0) :- X < 3. % luật 1
f( X, 2)...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 8 pot
... ljubljana-zurich:ju322:11:30, zurich-
paris:sr8 06: 16: 10,
paris-grenoble:ba4822: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 thứ Ba, để trở về trong ngày thứ ...
dephour( [ P1 - P2 : FlyNum : Dep | _ ] , Dep ).
connecting( Hour1 : Mins1 , Hour2 : Mins2 ) :-
60 *( Hour2 - Hour1 ) + Mins2 - Mins1 >= 40.
% Một...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 9 pps
... :-
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, 16 ...
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 , -2 , -1 , 0,...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 10 potx
... là 65 , 66 , 67
?- put( 65 ), put( 66 ), put( 67 ).
ABC
yes
% Đọc và ghi các ký tự
?- get0(X).
|: a % Gõ vào một ký tự rồi Enter (↵), không gõ dấu chấm
X = 97
Yes.
?- get0(X).
^D
X = -1 . ... 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...