Qu-Prolog is an extension of Prolog designed primarily as an implementation and tactic language for interactive theorem provers, particularly those that carry out schematic proofs. Qu-Prolog has built-in support for the kinds of data structures typically encountered in theorem proving activities such as object variables, substitutions and quantified terms. Qu-Prolog also supports interprocess communication (IPC) that allows messages to be passed between Qu-Prolog threads, whether they are executing on the same Qu-Prolog process or on different processes or even on different machines.
This document is the reference manual for Qu-Prolog version 9.6
|Table of Contents||Getting Started||Syntax||Built-in Predicates||Standard Operators||Notation||Index|