HILOG - a higher order logic programming language

dc.contributor.author	Paterson-Jones, RA
dc.contributor.author	Wood, PT
dc.date.accessioned	2018-05-23T10:40:57Z
dc.date.available	2018-05-23T10:40:57Z
dc.date.issued	1992
dc.identifier.citation	Paterson-Jones RA & Wood PT (1992) HILOG - a higher order logic programming language. The South African Computer Journal, Number 7, 1992	en
dc.identifier.issn	2313-7835
dc.identifier.uri	http://hdl.handle.net/10500/24035
dc.description.abstract	HILOG is a new logic programming language with a higher-order syntax allowing the elegant expression of many tasks requiring meta-predicates in Prolog. We are in the process of developing a compiler and programming environment for HILOG which is based on extending the Warren Abstract Machine used in modern Prolog implementations.	en
dc.language.iso	en	en
dc.publisher	South African Computer Society (SAICSIT)	en
dc.subject	Logic programming	en
dc.subject	Compilers	en
dc.title	HILOG - a higher order logic programming language	en
dc.type	Article	en