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

추천
검색
질문

논문 기본 정보

자료유형
학술저널
저자정보
저널정보
Korean Institute of Information Scientists and Engineers 정보과학회논문지(B) 정보과학회논문지(B) 제25권 제11호
발행연도
1998.11
수록면
1,693 - 1,704 (12page)

이용수

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

초록· 키워드

오류제보하기
지난 10 여년의 연구 노력에도 불구하고 논리 언어인 프롤로그(Prolog)의 구현은 아직도 프로그래밍 구현의 연구 영역에서 중요한 테마로 여겨지고 있다. TC-Prolog는 논리 프로그램을 C 프로그램으로의 변환을 통하여 논리 프로그램을 구현하는 새로운 기법이다. 이 TC-Prolog는 C 언어 변환 방식 자체가 제공하는 신속한 구현성과 고이식성의 장점을 갖으며, 변환을 통해 코드의 실행 속도와 코드 크기면에서 높은 성능을 갖는다. 실제 구현을 통한 성능 분석의 결과, TC-Prolog는 기존의 가장 우수한 기법인 WAMCC보다 실행 속도와 코드 크기 면에서 각각 24%,와 30%의 성능 향상을 보이고 있다. 본 논문은 프롤로그 프로그램의 C-언어 프로그램으로의 변환에 관련된 여러 중요 기법들의 성능을 정성적으로 분석하는 방법론을 먼저 제시한 후, TC-Prolog를 포함한 기존 기법들의 성능의 정성적 비교결과를 기술한다. 그리고 본 논문의 주된 연구내용인 TC-Prolog 기법, 그리고 실험을 통한 성능 평가내용을 기술한다.

목차

요약

Abstract

1. Introduction

2. A framework for Translation of Logic Programs

3. Previous Approaches

4. Threaded C-code Prolog (TC-Prolog)

5. Performance Evaluation

6. Conclusion

References

저자소개

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

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

이 논문의 저자 정보

최근 본 자료

전체보기

댓글(0)

0

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