̲Ͳ ²
Ͳ Dz
050103
㳿 / : .. , .. . : , 2007. 50.
:
. . , .
. . ,
:
. . , A. B.
³ : . . , .
1 2007
̲
.. 5
1 1. 6
Ͳ Dz. .. 6
1.1 .. 6
1.2 6
1.3 .. 12
1.4 .. 21
1.5 . 21
2 2. 22
ղί Ѳ. 22
2.1 .. 22
2.2 22
2.3 .. 24
2.4 .. 26
2.5 . 27
3 3. 28
Dz ղί Ѳ. 28
3.1 .. 28
3.2 28
3.3 .. 33
3.4 .. 36
3.5 . 37
4 4. 38
.. 38
4.1 .. 38
4.2 38
4.3 .. 41
4.4 .. 45
4.5 . 45
.. 46
ϲ ٲ VISUAL PROLOG 46
1. .. 46
2. .. 47
3. , . 48
4. 48
5. .. 48
6. .. 48
7. , . 48 8. 48
9. Visual Prolog.. 49
˲. 50
, , .
:
- ;
- Visual Prolog v 5.2.
, , ˳ , .
|
|
1 1
Ͳ Dz. Ͳ
1.1
. , , .
:
- ;
- ;
- .
1.2
1.2.1 Visual Prolog 32 : Visual Prolog 5.2; Visual Prolog 32.
1.2.2 . 1 Visual Prolog 5.2 ϳ Visual Prolog 5.2.
1.2.3 ³ Pro , .
nondeterm . 2 .
3 .
1.2.4 , Test Goal, 4 .
, 쳺, .
1.2.5 , 5 , ..
1.2.6 .
1
: , . , 4.0.
Predicates
nondeterm Stud(string, real)
Do
Goal
Do.
Clauses
Stud(,4.5).
Stud(,4.0).
Stud(,4.3).
Do:- stud(Pr, 4.0), write(Pr).
, .