HILOG: A High-Order Logic Programming Language for Non-1NF Deductive Databases

Qiming Chen, Wesley W. Chu. HILOG: A High-Order Logic Programming Language for Non-1NF Deductive Databases. In DOOD. pages 431-452, 1989.

Abstract

Abstract is missing.