1
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... attribute grammars -- Profit: A system integrating logic programming and attribute grammars -- Towards a...

2
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... programming language -- Camel: An extension of the categorical abstract machine to compile functional/logic...

5
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... theory -- Resolution of goals with the functional and logic programming language LPG: Impact...