Combining Prolog Programs in a Techniques Editing System

by Maria Vargas-Vera, Dave Robertson, Robert Inder, Zrobert Inder