Lập Trình Logic Trong ProLog - PGS TS PHAN HUY KHÁNH phần 1 doc
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...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 3 doc
... 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...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 6 docx
... 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â...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 2 pot
...
|
|
|
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...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 4 pptx
... 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...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 5 pps
... 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...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 7 pot
... 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...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 8 pot
... 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...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 9 pps
...
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 ],...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 10 potx
...
?- 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...
Từ khóa:
- lập trình logic trong prolog pgs ts phan huy khánh phần 2
- 3 pgs ts phan huy khánh bài giảng hệ chuyên gia
- các thư viện trong ngôn ngữ lập trình c
- lập trình hướng đối tượng trong javascript
- ii một số khái niệm trong lập trình hướng đối tượng
- bài giảng lập trình symbolic pgs ts đỗ văn nhơn
- lập trình
- kĩ thuật lập trình
- lập trình android