Title: Logic and declarative language
First published: 1998
Subjects: Logic programming, Declarative programming, Logic, symbolic and mathematical, Programmation logique, Programmation déclarative
LC classification: QA76.63 .D69 1998