Login / Signup
A Prological Definition or HASL: a Purely Functional Language with Unification Based Conditional Binding Expressions.
Harvey Abramson
Published in:
Logic Programming Workshop (1983)
Keyphrases
</>
functional language
functional programming
object identity
proof planning
programming language
theorem proving
object oriented databases
natural language
machine learning
theorem prover
object oriented
data types
general purpose
concept formation
multi agent
high level
database