Publication:4844168
From MaRDI portal
zbMath0850.68138MaRDI QIDQ4844168
John W. Lloyd, Patricia M. Hill
Publication date: 21 August 1995
68T27: Logic in artificial intelligence
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68N17: Logic programming
Related Items
Unnamed Item, A semantics for modular general logic programs, Functional-logic integration via minimal reciprocal extensions, Bounded quantifications for iteration and concurrency in logic programming