%0 Journal Article
%T An Implementation of Pure Horn Clause Logic Programming in a Reduction System
%A Xu Manwu
%A <br>Xu
%A Manwu
%J 计算机科学技术学报
%D 1993
%I 
%X 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.
%K Logic
%K programming
%K functional
%K programming
%K reduction
%K machine
%K Horn
%K clause
%K λ-calculus
%K unification
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=E55B222B82DE2874281B0801D4622611&yid=D418FDC97F7C2EBA&vid=5D311CA918CA9A03&iid=38B194292C032A66&sid=8E6AB9C3EBAAE921&eid=1D0FA33DA02ABACD&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=0