Paterson-Jones, RA; Wood, PT
(South African Computer Society (SAICSIT), 1992)
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 ...