DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Maeng, Seung-Ryoul | - |
dc.contributor.advisor | 맹승렬 | - |
dc.contributor.author | Han, Yoon-Seop | - |
dc.contributor.author | 한윤섭 | - |
dc.date.accessioned | 2011-12-13T05:50:30Z | - |
dc.date.available | 2011-12-13T05:50:30Z | - |
dc.date.issued | 1986 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=65168&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/33698 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1986.2, [ iv, 30 p. ; ] | - |
dc.description.abstract | A method of combining equality relation into existing logic programming languages is suggested. In this, equality relation is restricted in occurrences and forms so that only pure equations are allowed. Under these restrictions, however, many useful language features are still supported, which include user-definable abstract data types, concept of classes and generic operations, and some degree of equational style programming. Also the reduction algorithm adopted here has the same effect as the lazy evaluation, which broadens the extent of equational programming an greatly enhances the efficiency of the interpreters. But the most advantageous feature of this approach is that the underlying logic with its refutation procedure is logically complete. It guarantees that you can get a correct answer whenever there exists. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.title | Pure equations in logic programming languages | - |
dc.title.alternative | 논리언어 상에서 pure equation 에 의한 equality relation 의 구현 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 65168/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000841358 | - |
dc.contributor.localauthor | Maeng, Seung-Ryoul | - |
dc.contributor.localauthor | 맹승렬 | - |
dc.title.subtitle | an approach to implementation of equality relation | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.