A model and an implementation of a logic programming environment. - Henryk Jan Komorowski; Shigeo Omori (SLIPE, 1985)