Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Author	D. Cabeza, Manuel V. Hermenegildo, James Lipton
Published	Ninth Asian Computing Science Conference (ASIAN'04),December,2004,Nr. 332193,pp. 93-108,LNCS,Springer-Verlag
Abstract	A new formalism, called Hiord, for defining type-free higherorder logic programming languages with predicate abstraction is introduced. A model theory, based on partial combinatory algebras, is presented, with respect to which the formalism is shown sound. A programming language built on a subset of Hiord, and its implementation are discussed. A new proposal for defining modules in this framework is considered, along with several examples.
Download	PDF
	BibTeX