(A) technique for parallel evaluation of logic programs based on the AND/OR process model with AND-control process = AND-control 프로세스를 가진 AND/OR 프로세스 모델에서의 논리 프로그램의 병렬 처리 기법

In this thesis, a study on the parallel evaluation of logic programs based on the AND/OR/AND-Control Process Model is presented, and a parallel evaluator of logic programs for the model is developed. The AND/OR/AND-Control Process Model is a metamorphosis of the well-known AND/OR Process Model. Besides the AND Process and OR Process in the AND/OR Process Model, there is another type of process, the AND-Control Process, in the AND/OR/AND-Control Process Model. The AND-Control processes control the splitting of AND clauses, and the reconciliation of sub-solution tuples from the split sub-AND clauses. The parallel evaluator of logic programs consists of two parts; the front end a compiler and the back end is a simulator. The compiler converts input logic programs to internal representations and the simulator interprets them according to the proposed execution model. Moreover, the simulator produces sample execution results.
Advisors
Chon, Kil-NamresearcherChoe, Kwang-Mooresearcher전길남researcher최광무researcher
Publisher
한국과학기술원
Issue Date
1987
Identifier
65662/325007 / 000851042
Language
eng
Description

학위논문(석사) - 한국과학기술원 : 전산학과, 1987.2, [ [iv], 71 p. ]

Keywords

AND/OR 프로세스.

URI
http://hdl.handle.net/10203/33719
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=65662&flag=t
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.
  • Hit : 109
  • Download : 0
  • Cited 0 times in thomson ci

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0