Knowledge representation in the concept of object-oriented logic programming

Kuznetsov A.V.

The model of knowledge representation is offered on the basis of the classic object-oriented formalism overcame a semantic network that is adopted a ST-network. Some of model realization features are considered in Logtalk object-oriented logical programming language.

Full text (pdf)