An Implementation of Pure Horn Clause Logic Programming in a Reduction System

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.