LogScheme(ID:4018/log021)

Metacircular evaluator for a logical extension of Scheme

Pierre Bonzon, University of Lausanne, 1990

References:
  • Erik Ruf, Daniel Weise "Nondeterminism and unification in LogScheme: integrating logic and functional programming" view details
          in Proceedings of the fourth international conference on Functional programming languages and computer architecture, Imperial College, London, United Kingdom, 1989 view details