MALI
A hardware memory device for
logic programming
computers with
real time
garbage collection
.