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:-

  1. A functional programming component that allows the user to enter functional definitions in a high-level pattern-matching notation reminiscent of HOPE and ML.
  2. 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.


Previous | Index | Next