Logic Programming: the 1995 International Symposium
The theme for the 1995 conference is ""Declarative Systems, "" particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms.
The theme for the 1995 conference is ""Declarative Systems, "" particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms.
This book contains papers presented at the Symposium on Computational Logic held during the 7th ESPRIT Conference. Ten leading researchers in computational logic were invited to contribute papers. The papers range from some on specialized research topics to some which give an ov…