Icon
Subsumed
Prolog
Subsumed
Logicon (2781)