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