HILOG - a higher order logic programming language
Loading...
Authors
Paterson-Jones, RA
Wood, PT
Issue Date
1992
Type
Article
Language
en
Keywords
Logic programming , Compilers
Alternative Title
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.
Description
Citation
Paterson-Jones RA & Wood PT (1992) HILOG - a higher order logic programming language. The South African Computer Journal, Number 7, 1992
Publisher
South African Computer Society (SAICSIT)
License
Journal
Volume
Issue
PubMed ID
DOI
ISSN
2313-7835