| An Inplementation of Pure Horn Clause Logic Programming in a Reduction System |
| |
| 引用本文： | 许满武. An Inplementation of Pure Horn Clause Logic Programming in a Reduction System[J]. 计算机科学技术学报, 1993, 8(3): 243-251. DOI: 10.1007/BF02939531 |
| |
| 作者姓名： | 许满武 |
| |
| 作者单位： | DepartmentofComputerScience,NanjingUniversity,Nanjing210008 |
| |
| 摘 要： | Many reduction systems have been presented for implementing functional programming languages.We propose here an extension of a reduction architecture to realize a kind of logic programming-pure Horn clause logic programming.This is an attempt to approach amalgamation of the two important programming paradigms.
|
| 关 键 词： | 逻辑程序 Horn子句 简化系统计算 |
An implementation of pure Horn clause logic programming in a reduction system |
| |
| Manwu Xu. An implementation of pure Horn clause logic programming in a reduction system[J]. Journal of Computer Science and Technology, 1993, 8(3): 243-251. DOI: 10.1007/BF02939531 |
| |
| Authors: | Manwu Xu |
| |
| Affiliation: | 1. Department of Computer Science, Nanjing University, 210008, Nanjing
|
| |
| Abstract: | Many reduction systems have been presented for implementing functional programming languages. We propose here an extension of a reduction architecture to realize a kind of logic programming — pure Horn clause logic programming. This is an attempt to approach amalgamation of the two important programming paradigms. |
| |
| Keywords: | |
| 本文献已被 维普 SpringerLink 等数据库收录！ |
