A typed functional extension of logic programming |
| |
Authors: | D. W. Shin J. H. Nang S. R. Maeng J. W. Cho |
| |
Affiliation: | 1. Department of Computer Science, KAIST, Cheongryang, P. O. Box. 150, 130-650, Seoul, Korea
|
| |
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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|