Login / Signup

A Prological Definition of HASL a Purely Functional Language with Unification Based Conditional Binding Expressions.

Harvey Abramson
Published in: New Gener. Comput. (1984)
Keyphrases
  • functional language
  • functional programming
  • object identity
  • programming language
  • proof planning
  • complex objects
  • object oriented databases
  • deductive databases
  • theorem prover
  • data model