Institutional Repository

HILOG - a higher order logic programming language

Show simple item record Paterson-Jones, RA Wood, PT 2018-05-23T10:40:57Z 2018-05-23T10:40:57Z 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.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

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search UnisaIR


My Account