Login / Signup

On Implementing Prolog in Functional Programming.

Mats Carlsson
Published in: New Gener. Comput. (1984)
Keyphrases
  • functional programming
  • programming language
  • execution model
  • quantifier elimination
  • functional language
  • object oriented programming
  • logic programming