## DIALOG: A Theorem-Proving Environment designed to unify
Functional and Logic Programming

**Mark Tarver**
*Abstract:* DIALOG is a prototype logic programming
language designed to facilitate the construction of interactive
theorem-proving systems in the medium of LISP.

DIALOG has two principal parts:-

- A functional programming component that allows the user to
enter functional definitions in a high-level pattern-matching
notation reminiscent of HOPE and ML.
- A logic programming component that runs on many-sorted logic
and which will be capable of coping with queries up to many-sorted
first-order logic.

*ECS-LFCS-89-80*

Previous |

Index |

Next