DIALOG: A Theorem-Proving Environment designed to unify
Functional and Logic Programming
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