Dialog
Subtitle: A theorem-proving environment designed to unify Functional and Logic programming.
Publisher: University of Edinburgh Department of Computer Sciences
Published: 1989
Place of publication: Edingurgh
Language: eng