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 .