An environment for logic programming
Nissim Francez, Shalom Goldenberg, Ron Y. Pinter, Michael Tiomkin, Shalom Tsur⋆ · 1985
We describe a programming environment for Prolog, a common logic programming language. The services offered by our system assist a Prolog user in the tasks of composing, editing, and storing logic (rule-based) programs, as well as in the control of their execution for debugging purposes.