서지주요정보
가드를 가지는 논리언어를 위한 병렬 수행기의 구현 = An implementation of the parallel evaluator for a guarded logic language
서명 / 저자 가드를 가지는 논리언어를 위한 병렬 수행기의 구현 = An implementation of the parallel evaluator for a guarded logic language / 이수현.
저자명 이수현 ; Lee, Su-Hyun
발행사항 [서울 : 한국과학기술원, 1989].
Online Access 제한공개(로그인 후 원문보기 가능)원문

소장정보

등록번호

4105848

소장위치/청구기호

학술문화관(문화관) 보존서고

MCS 8933

휴대폰 전송

도서상태

이용가능

대출가능

반납예정일

초록정보

The logic programming languages have clear semantics and embedded parallelism. And its evaluation is considered as a theorem proving or a inference process. Logic programs are constituted of the set of Horn clauses. A Guard Logic Language (GLL), evolutionary form of Horn clause, has many good features. In this paper, a parallel evaluator of GLL is implemented based on Conery's AND/OR Process Model. The parallel evaluator consists of two parts; the front end is a compiler and the back end is a simulator. The compiler reads input logic programs, check syntactic errors and semantic errors, and generates internal representations of the logic programs to be read by the back end. The simulator reads the internal representations and simulates the parallel evaluation of the logic programs according to the AND/OR Process Model. The simulator uses Woo and Choe's Redo Cause Set as a backtracking algorithm and employs Choe, Lee, and Woo's Affecting Set for the selective resetting.

서지기타정보

서지기타정보
청구기호 {MCS 8933
형태사항 [ii], 39 p. : 삽도 ; 26 cm
언어 한국어
일반주기 저자명의 영문표기 : Su-Hyun Lee
지도교수의 한글표기 : 최광무
지도교수의 영문표기 : Kwang-Moo Choe
학위논문 학위논문(석사) - 한국과학기술원 : 전산학과,
서지주기 참고문헌 : p. 37-39
주제 Parallel processing (Electronic computers)
GHC (Computer program language)
논리 프로그래밍. --과학기술용어시소러스
병렬 처리. --과학기술용어시소러스
Logic programming languages.
QR CODE qr code