Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture)

John Alan Robinson. Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture). In Proceedings, Symposium on Logic in Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA. pages 2, IEEE Computer Society, 1986.

Abstract

Abstract is missing.