다분류 논리는 기존언어의 형(type)에 해당하는 sort와 이들 간의 계층적 관계를 지원할 수 있도록 확장된 논리이다. 본 논문에서는 다분류 논리에 바탕을 두고 있는 EPOS 언어에서 클래스, 객체, 상속, 그리고 메씨지 전달과 같은 객체지향 요소들을 지원시 어떤 잇점과 문제점을 갖고 있는지를 파악하였다. EPOS 언어는 기본적으로 sort와 sort의 계층적 구조를 고려한 단일화를 통하여 여러 객체지향 요소들을 지원할 수 있으나 EPOS 자체만으로는 객체지향 프로그램을 지원하기에는 상속시의 이상현상, 상속 배제의 어려움, 클래스 계층구조의 제한성, 그리고 기타 여러 문제점들을 갖고 있다. 이러한 문제점들을 해결하기 위하여 본 연구에서는 Prolog에 객체지향 요소들을 추가한 언어 OOProlog를 설계하고 이 언어의 의미와 구현 방법을 OOProlog 프로그램을 EPCS 프로그램으로 변환하는 방법을 통하여 제시하였다.
다분류 논리는 기존언어의 형(type)에 해당하는 sort와 이들 간의 계층적 관계를 지원할 수 있도록 확장된 논리이다. 본 논문에서는 다분류 논리에 바탕을 두고 있는 EPOS 언어에서 클래스, 객체, 상속, 그리고 메씨지 전달과 같은 객체지향 요소들을 지원시 어떤 잇점과 문제점을 갖고 있는지를 파악하였다. EPOS 언어는 기본적으로 sort와 sort의 계층적 구조를 고려한 단일화를 통하여 여러 객체지향 요소들을 지원할 수 있으나 EPOS 자체만으로는 객체지향 프로그램을 지원하기에는 상속시의 이상현상, 상속 배제의 어려움, 클래스 계층구조의 제한성, 그리고 기타 여러 문제점들을 갖고 있다. 이러한 문제점들을 해결하기 위하여 본 연구에서는 Prolog에 객체지향 요소들을 추가한 언어 OOProlog를 설계하고 이 언어의 의미와 구현 방법을 OOProlog 프로그램을 EPCS 프로그램으로 변환하는 방법을 통하여 제시하였다.
An extension of the Prolog language, EPOS, is based on many-sorted SLD-resolution, which allows the definition of sort and subsort relations. In this paper, we examine how the concepts such as class, instance, inheritance and message can be treated in many-sorted frameworks, especially in EPOS. EPO...
An extension of the Prolog language, EPOS, is based on many-sorted SLD-resolution, which allows the definition of sort and subsort relations. In this paper, we examine how the concepts such as class, instance, inheritance and message can be treated in many-sorted frameworks, especially in EPOS. EPOS can support the sailent features of object-oriented programming by sort and many-sorted unification, but it has some problems in supporting object-oriented programming, namely, the inconsistency in inheritance, difficulty in exclusion handling, restricted inheritance hierarchy, and so forth. To overcome these problems, we design a new language which is an extension of Prolog, called OOProlog, and present the semantics and an implementation method of OOProlog by providing translantion techniques. With these techniques, an OOProiog program is translated into an EPOS program.
An extension of the Prolog language, EPOS, is based on many-sorted SLD-resolution, which allows the definition of sort and subsort relations. In this paper, we examine how the concepts such as class, instance, inheritance and message can be treated in many-sorted frameworks, especially in EPOS. EPOS can support the sailent features of object-oriented programming by sort and many-sorted unification, but it has some problems in supporting object-oriented programming, namely, the inconsistency in inheritance, difficulty in exclusion handling, restricted inheritance hierarchy, and so forth. To overcome these problems, we design a new language which is an extension of Prolog, called OOProlog, and present the semantics and an implementation method of OOProlog by providing translantion techniques. With these techniques, an OOProiog program is translated into an EPOS program.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.