Lập Trình Logic Trong ProLog - PGS TS PHAN HUY KHÁNH phần 2 pot
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 2 pot
...
a) point( A , B ) = point( 1 , 2 )
b) point( A , B ) = point( X , Y, Z )
c) addition( 2 , 2 ) = 4
d) +( 2 , D ) = +( E , 2 )
e) triangle( point( -1 , 0 ) , P2, P3 ) = triangle(
P1, point( ...
?- vertical(seg(point(1, 1), point(1, 2) )).
Yes
?- vertical(seg(point(1, 1), point (2, Y))).
No
?- horizontal(seg(point(1, 1), point (2, Y))).
Y = 1
Yes
triangle...
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 1 12
?- [1 | [2, 3]] = [1 ,2, X].
?- [1 | [2, 3,4]] = [1 ,2, X].
?- [1 | [2, 3,4]] ... 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
?-...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 8 pot
... năm ?
?- path( ljubljana , grenoble , th, C ).
C = [ ljubljana-paris:yu200:11:10, paris-
grenoble:ba4 822 :18:40 ] ;
C = [ ljubljana-paris:yu2 12: 11 :25 , paris-
Kỹ thuật lập trình Prolog 129
hơn, ... FN4, Dep4, Arr4 ).
Kết quả -& gt; V1 = ljubljana
V2 = zurich
V3 = milan
FN1 = ju213
Dep1 = 13 :20
Arr1 = 16 :20
FN2 = ju 322
Dep2 = 11:30
Arr2 = 12: 40
FN3 = sr 620
Dep3...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 10 potx
...
?- abolish(personal, 2) .
Loại bỏ tất cả các hạng Term có cấp Arity =2.
Ví dụ III.15
Xây dựng bộ siêu diễn dịch Prolog trong Prolog, việc xoá một đích được viết
lại như sau :
prove(Goal) :- ...
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...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 1 doc
...
III .2. 1. Định nghĩa luật 10
III .2. 2. Định nghĩa luật đệ quy 16
III .2. 3. Sử dụng biến trong Prolog 18
IV. KIỂU DỮ LIỆU CẤU TRÚC CỦA PROLOG 20
IV.1. Định nghĩa kiểu cấu trúc của Prolog 20
IV .2. ... ngôn ngữ lập trình lôgich 1
I .2. Cú pháp Prolog 2
I .2. 1. Các thuật ngữ 2
I .2. 2. Các kiểu dữ liệu Prolog 3
I .2. 3. Chú thích 4
II. CÁC KIỂU DỮ LIỆU SƠ CẤP CỦA...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 3 doc
... 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 chuyển từ P1 đến P2
state(P2, onthefloor, G, ... H),
walking(P1, P2), % di chuyển từ P1 đến P2
state(P2, onthefloor, G, H).
Mệnh đề trên đây có rất nhiều nghĩa :
State1
State
2
38 Lập trình lôgic trong Prolog
Hình 2. 4. có dạng m...
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 ... lôgic trong Prolog
?- X is exp(10).
X = 22 026 .5
Yes
?- X is sqrt(9).
X = 3
Yes
7 ?- X is abs(1.99).
X = 1.99
Yes
?- X is pi.
X...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 5 pps
... 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 + 2 =:= 2 + 1.
Yes.
?- 1 + X =:= 1 + 2.
ERROR: Arguments are not ... fib
1
= 1
fib(N, F) :- % fib
n +2
= fib
n+1
+ fib
n
N > 1,
N1 is N - 1, fib(N1, F1),
N2 is N - 2, fib(N2, F2),
F is F1 + F2.
?- f...
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), ... tree(’/’, leaf (2) , leaf (2) ))
Kết quả duyệt cây như sau : theo thứ tự trước :
[*, +, 5, 6, -, 3, /, 2, 2]
thứ tự giữa :
[5, +, 6, *, 3, -, 2, /,...
Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 9 pps
...
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, 2, 3, 4, 5,
6, 7 ],
[ 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, ...
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...