: A Prological Definition of HASL a Purely Functional Language with Unification Based Conditional Binding Expressions.
: Communication and Knowledge Engineering.
: Efficient Unification over Infinite Terms.
Ehud Y. Shapiro
, Colin Mierowsky
: Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog.
: A Multiport Page-Memory Architecture and A Multiport Disk-Cache System.
Papers from SLP 1984