DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Chon, Kil-Nam | - |
dc.contributor.advisor | Choe, Kwang-Moo | - |
dc.contributor.advisor | 전길남 | - |
dc.contributor.advisor | 최광무 | - |
dc.contributor.author | Kim, Do-Hyeong | - |
dc.contributor.author | 김도형 | - |
dc.date.accessioned | 2011-12-13T05:50:49Z | - |
dc.date.available | 2011-12-13T05:50:49Z | - |
dc.date.issued | 1987 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=65662&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/33719 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1987.2, [ [iv], 71 p. ] | - |
dc.description.abstract | 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. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | AND/OR 프로세스. | - |
dc.title | (A) technique for parallel evaluation of logic programs based on the AND/OR process model with AND-control process | - |
dc.title.alternative | AND-control 프로세스를 가진 AND/OR 프로세스 모델에서의 논리 프로그램의 병렬 처리 기법 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 65662/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000851042 | - |
dc.contributor.localauthor | Chon, Kil-Nam | - |
dc.contributor.localauthor | Choe, Kwang-Moo | - |
dc.contributor.localauthor | 전길남 | - |
dc.contributor.localauthor | 최광무 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.