zbMath0793.68032MaRDI QIDQ4282517
Patricia M. Hill
Publication date: 17 March 1994
zbMATH Keywords
logic programming languages; SLDNF-resolution; completion semantics; generic polymorphism; parametric type system
Mathematics Subject Classification ID
68N17: Logic programming