An Implementation of Pure Horn Clause Logic Programming in a Reduction System
许满武 · 1993
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.