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

Harvey Abramson

Browse the full ICLP paper archive.