. , , ,

,,,

,

.

:

:

-203 . .

: ..., . .

2007 .

TOC o "1-3" h z u . PAGEREF _Toc183545355 h 3

. PAGEREF _Toc183545356 h 5

MatLab. PAGEREF _Toc183545357 h 10

PROLOG.. PAGEREF _Toc183545358 h 13

. PAGEREF _Toc183545359 h 16

. PAGEREF _Toc183545360 h 17


. .

. :

1.                      

2.                      

3.                      

4.                      

, :

1.                            

2.                            

3.                            

       

       

4.                            

5.                            

6.                            


() - ( ), , -. , . : , , , . .

() (), , , , . , .

: , , -. - () , . .

:

- , , , . , . PASCAL, C ., LISP, PROLOG.

- - , . , . . , +, VP-Expert.

- - , , . - KEE, ART ..

EXSYS GURU , GURU ( , ) , . , , . . , .

Exsys , . . , .

: INSIGT, LOGIAN, NEXPERT, RULE MASTER, KDS, PICON, KNOWLEDGE CRAFT, KESII, S1, TIMM .

, :

1. - , , , , , , .

2. - , , .

3. - . , , , . , .

4. - , .. "", " " .

5. - , , . .

6. -

7. , .

8. - . , .

:

a) - , , .

b) - , .

c) - - .

, , . , "" .

, , , , , .

VP-Expert "" , . IBM MS DOS, 256 CGA, EGA HERKULES. , , dBASE II, dBASE III dBASE III+.


MatLab

MATLAB 70- , , . LINPACK EISPACK FORTRAN, MATLAB , FORTRAN.

Matrix Laboratory. MATLAB - . , , , . MATLAB:

       

       

       

       

       

       

MATLAB - , , . , - , , C FORTRAN.

MATLAB 7 - ; , , - , .

The MathWorks, Inc. . Student Edition of MATLAB , , .

- . , , , - , , MATLAB. MATLAB . : ", MATLAB , , , ".

MATLAB - . , MATLAB . , -. . (), - .

- , . , - , , . . - MATLAB Application Toolboxes, MATLAB, .


PROLOG

(Prolog) , , .

Prolog 1970 . . , , , . Prolog , , .

, . 1980- , , , . .

, , , . , ( ) .

( Java .NET). OS , Unix, Windows, OS .

-. open source. , ISO ISO/IEC JTC1/SC22/WG17.

(), , , , . , ( ) . - .

, û . , .

, ( C++, Java) , . , , , , .

, 2.0 . OWL First-Order Logic(FOL) , , Prolog.


. . , , , . , MatLab Prolog. , , ˸, .


1.     http://ru.wikipedia.org/wiki/_.

2.    

3.    

4.    

. :

 

 

 

! , , , .
. , :