A TYPED FUNCTIONAL EXTENSION OF LOGIC PROGRAMMING
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | SHIN, DW | ko |
| dc.contributor.author | NANG, JH | ko |
| dc.contributor.author | Maeng, SeungRyoul | ko |
| dc.contributor.author | Cho, Jung Wan | ko |
| dc.date.accessioned | 2013-02-27T06:36:00Z | - |
| dc.date.available | 2013-02-27T06:36:00Z | - |
| dc.date.created | 2012-02-06 | - |
| dc.date.created | 2012-02-06 | - |
| dc.date.issued | 1992 | - |
| dc.identifier.citation | NEW GENERATION COMPUTING, v.10, no.2, pp.197 - 221 | - |
| dc.identifier.issn | 0288-3635 | - |
| dc.identifier.uri | http://hdl.handle.net/10203/67027 | - |
| dc.description.abstract | A logic language is suitable for specification if it is equipped with features for data abstraction and modularization. In this paper, an effective mechanism to incorporate function and type into logic programming is presented as the means to embed data abstraction mechanism into logic programming. This incorporation is essentially based on Horn clause logic with equality and a polymorphic type system that is an extension of Mycroft and O'Keefe's system. This paper also presents an implementation based on Warren Abstract Machine (WAM) and shows the performance, along with a comparison with WAM. | - |
| dc.language | English | - |
| dc.publisher | SPRINGER VERLAG | - |
| dc.subject | POLYMORPHISM | - |
| dc.title | A TYPED FUNCTIONAL EXTENSION OF LOGIC PROGRAMMING | - |
| dc.type | Article | - |
| dc.identifier.wosid | A1992KJ96500003 | - |
| dc.identifier.scopusid | 2-s2.0-77951501733 | - |
| dc.type.rims | ART | - |
| dc.citation.volume | 10 | - |
| dc.citation.issue | 2 | - |
| dc.citation.beginningpage | 197 | - |
| dc.citation.endingpage | 221 | - |
| dc.citation.publicationname | NEW GENERATION COMPUTING | - |
| dc.contributor.localauthor | Maeng, SeungRyoul | - |
| dc.contributor.nonIdAuthor | SHIN, DW | - |
| dc.contributor.nonIdAuthor | NANG, JH | - |
| dc.type.journalArticle | Article | - |
| dc.subject.keywordAuthor | LOGIC LANGUAGE | - |
| dc.subject.keywordAuthor | FUNCTIONAL LANGUAGE | - |
| dc.subject.keywordAuthor | TYPE | - |
| dc.subject.keywordAuthor | DATA ABSTRACTION | - |
| dc.subject.keywordAuthor | WARREN ABSTRACT MACHINE | - |
| dc.subject.keywordPlus | POLYMORPHISM | - |
- Appears in Collection
- CS-Journal Papers(저널논문)
- Files in This Item
- There are no files associated with this item.
This item is cited by other documents in WoS
| ⊙ Detail Information in WoSⓡ | Click to see |  |
| ⊙ Cited 2 items in WoS | Click to see citing articles in |  |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.