Erik Ruf, Daniel Weise "Nondeterminism and unification in LogScheme: integrating logic and functional programming"

[Proceedings] (1989) Proceedings of the fourth international conference on Functional programming languages and computer architecture, Imperial College, London, United Kingdom, 1989  

Languages mentioned LogScheme {1990}