An Implementation for a Higher Level Logic Programming Language.

Anthony S. K. Cheng Ross A. Paterson

Published in: FGCS (1992)

Keyphrases

higher level
logic programming language
logic programming
low level
constraint logic programming
inference rules
databases
lower level