You are on page 1of 37

Tarikos2007@gmail.

com




""

.



:
..


.


" -
" 1 "
-1
8991.81

...
".1


.
:
Extension
.
:
{ = 2 } ...
Comprhension
.3
:
" : ".4
" : ".1
-1 .81
-2
.
-3
.
-4
8991.73





"
".

() 2
() :

= { | () }
= { | () }
-2

:
= ( )
-

0
0

-1 .73
-2
.

-8.2

.
-8.8.2 :

.

..



.
:
-8 .
= {

{ |

1 :

-2 .
= {

-7 .
={ }
:
={ }
:
=(
).
:
=( ).
:
=(
)
:

-1 ""

=(
)
-4 :
.
= ().
-5 : :
.
= ()
-8 :
.

-3 .
= ()
-1
.
= ()



.
( )

..

1
. 11
. . 111
. . . 1111
. . . 1111
. . . 1111
. . . . 11111
. . . . 11111
. . . . 11111
. . . 1111
. . . 1111
. . . 1111
. . . 1111
. . . 1111
. . . 1118


. . 111
. . . 1111

. . . 1111
. . . . 11111
. . . . 11111
. . . 1111
. . . . 11111
. . . . . 111111
. . . . . 111111
. . . . 11111
. . . . . 111111
. . . . . 111111
. . . 1111
. . . . 11111
. . . . 11111
. . . 1111
. . . 1111
. . . . 11111
. . . . 11111

. . . . .

111111

. . . . .

111111


. . . . .

111111


. . 111
. . . 1111
. . . 1111
. . 111
. . 111
. . 111
. . 111
. 11
. . 111
. . . 1111

. . . 1111

. . . . 11111
. . . . 11111
. . . . 11111

. . . 1111
. . . . 11111
. . . . 11111
. . . 1111
. . . . 11111

. . . . 11111

. . . . 11111

. . . 1111

. .111
. . 111
. . 111
. . 111

. . 111
. 11
. . 111
. . 111
. . . 1111

. . . 1111


. . 111
. . 111
. . 111
. . 111
. . 111

. . 111

. . 118

. . 119

1
. 11
. . 111

. . 111

. . 111


. . 111

. 11
1
. 11
. 11
. 11
. 11
. 11
. 11
. 11
1

1
. 11
. . 111
. . . 1111
. . . 1111
. . . 1111
. . . 1111
. . . 1111
. . . 1111

. . . 1111
. . . 1111
. . 111
. . 111
. . 111
. . 111
. . 111
. . 111
. . 118
. 11
. . 111
. . 111
8

-2.8.2 :

.
-2.2 :



..
:


..

..


.

.

:
-8 =
=


2
() :
-1 ( )=
-2 ": "
2188.852

) ( (') ) (()= ()='


=')


"
" "
".1



8

"+ " " :
" "".
:
-2 = 8_

- 1 .591

-2 ( = )8

4

"" "_".

5

8
.

6
:
-7 = 8_


8

. 8
8 __
:
-4 = 8__

7
__ .

.

:

8
-5 =


.

.



.
.

_ _

.

111

111

11

()=

111_

()=_

111_

111_

11{()=

_(_)=
_(_)=

1111_

_(_)=_
_(_)=_

11_

111
. 1111_

. 1111__

. 1111__

818_
818_
818_

11

111_

_(_)=
_(_)=_
__(_)=
__(_)=

. 1111_

818_

_(_)=
_(_)= _

. 1111_

818_

_(_)=
_(_)=_

. 1111_

818_

_(_)=
_(_)=_

. 1111_

818_

111
. 1111__

818_

11111_

__(_)= _

. 1111__

111_

1111_

__(_)= _

. 1111__

111_

1111_

__(_)=_

. 1111___

1111_

11111__

___(_)=__


. 1111__

111_

1111_

__(_)=_

111
. 1111_

111_

111_

11_
. 1111__

111_

_()=
_(_)=

11111_

11_

__(_)=_
__(_)=_

. 1111__

11_

1111_

__(_)=_

. 1111__

818_

1111_

__(_)=_
__(_)=_

11_
. 1111__

818_

1111_

__(_)=_

. 1111___

1111_

11111__

___(_)=

__
111
. 1111_

111_

111

(_)=

11
. 1111_

111_

1111_

_(_)=_

111
.1111
. . 11111__

11

11

__()=

. . 11111__

__()=

. . 11111__

11

11

__()=

. . 11111__
. 1111

11

11

__()=

. . 11111_
. . . 111111_

11

11

_()=

. . . 111111_

11

11

_()=

. . . 111111_

11

11

_()=

. . . 111111_ 1

. . 11111_
. 1111

11

11

()=

. 1111

11

11

()=

11

11

()=

811
. 8111_

. 8111_

111
111

11
11

_()=
_()=

811

8111

111
1

11

()=
()=

11

()=
()=

911

1111_

()=_

911

818_

1111

111

(_)=_


911
9881_

111_

9888_

111_

1111_

_(_)=_

982_

111_

11111_

_(_)=_

911

11

11_

()=_

911

11

()=_

()=_

11

11_

11
911

11

()=_
()=_

11

()=
()=

911

11

()=

719

11

()=

719

11

()=

717

11_

11

(_)=
(_)=_

111

-7.2


.
= { | ([] = [_])}
(= [_])

: = _

:
= { | ([]= [_]) ([] = [])}

13

:
: =
: = _
:

.
( = []) =
.14

-13 " "


-14 .

-4.2
"" ""
"" 15

-8.4.2 :

:

{ |

""


:
= {

: :
= {

} = {

} ={

10

-15 .

-2.4.2

{|

.16

:
= { }
:
( ) = ( ).

11

"" :

( )

""
""

((

:
) (

))

-16 " " .

17

"" "" .


:
[]=[_]
-5.2
.
-8.5.2
18 :
-8 ( ) :

=(

| ()=)

19
"" .
-2 .

( E

| ()=_)

E 20 :
( )
:21
-17 " " .
18

.
19

" " "" " 20

" : .

- "" " E

-21 :
)

E P

))

(( non

" :
.

_= (

| (() = (_)))

E
.
-7 .

( E

| () = ())
:

__=(

| (() = ()))

.
8 2 7 :
= { ( ) (

) (

__

)}

82

-2.5.2
:
-8

-2

=(

=(

| (() = ()))

| (() = (_)))

-22 .

22

23

-7

=(

| (() = ()))

8 2 7 :
= {( ) ( ) ( )}

87

-7.5.2
:
-8

( )

-2

-7

=(

=(
=(

| (() = ()))

| (() = (_)))
| (() = ()))

8 2 7 :
={( ) ( ) ( )}

-23 .

84

-8.2


"" plugin
Semantic reasoner 24

( .)85
.

51

.
.
-24 FacT++ hermiT

:
_ :_
_ = .
.
" : [] [_] ".
:_ = .
"" [_]
[] ( )85 .
.