MALI

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