메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

논문 기본 정보

자료유형
학술저널
저자정보
저널정보
Korean Institute of Information Scientists and Engineers (구)정보과학회논문지 정보과학회논문지 제22권 제1호
발행연도
1995.1
수록면
147 - 162 (16page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
다분류 논리는 기존언어의 형(type)에 해당하는 sort와 이들 간의 계층적 관계를 지원할 수 있도록 확장된 논리이다. 본 논문에서는 다분류 논리에 바탕을 두고 있는 EPOS 언어에서 클래스, 객체, 상속, 그리고 메씨지 전달과 같은 객체지향 요소들을 지원시 어떤 잇점과 문제점을 갖고 있는지를 파악하였다. EPOS 언어는 기본적으로 sort와 sort의 계층적 구조를 고려한 단일화를 통하여 여러 객체지향 요소들을 지원할 수 있으나 EPOS 자체만으로는 객체지향 프로그램을 지원하기에는 상속시의 이상현상, 상속 배제의 어려움, 클래스 계층구조의 제한성, 그리고 기타 여러 문제점들을 갖고 있다. 이러한 문제점들을 해결하기 위하여 본 연구에서는 Prolog에 객체지향 요소들을 추가한 언어 OOProlog를 설계하고 이 언어의 의미와 구현 방법을 OOProlog 프로그램을 EPCS 프로그램으로 변환하는 방법을 통하여 제시하였다.

목차

요약

ABSTRACT

1. 서론

2. Many - Sorted Prolog

3. EPOS에서의 객체지향 프로그래밍

4. 객체지향 Prolog의 설계

5. OOProlog의 EPOS로의 변환

6. 결론

참고문헌

저자소개

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

이 논문과 함께 이용한 논문

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2009-569-017783294