论文部分内容阅读
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 logicprogramming——pure Horn clause logic programming.This is an attempt to approach amalgama-tion of the two important programming paradigms.
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 logicprogramming - pure Horn clause logic programming. This is an attempt to approach amalgamation of the two important programming paradigms .