Quintus Prolog Homepage WELCOME TO
Quintus Prolog
The Industry Standard
  Quintus Home > Feature Summary
The hard facts about <br>Quintus Prolog 3

The hard facts about
Quintus Prolog 3

Quintus Prolog Feature Summary

Quintus Prolog provides the means to integrate a very powerful Prolog engine in advanced computing applications. It is suitable for commercial applications built by software engineers with experience of Prolog. It is good for applications which require reasoning, search or pattern matching capabilities (e.g. intelligent web applications, natural language and expert system style applications).

Quintus Prolog provides tools for delivering either stand-alone applications or modules that can be linked with code written in other languages to create reliable solutions with Prolog embedded.

Quintus Prolog offers an Emacs-based development environment, interface with support for testing, debugging and optimizing programs and customizable I/O and memory management. Under UNIX, Quintus Prolog offers a graphical development environment, equivalent to the Emacs-based one, and tools for building graphical user interfaces.

Quintus Prolog adheres to the Edinburgh Prolog tradition, while providing modules, stream I/O, and interfaces to X Windows and standard UNIX libraries. Quintus Prolog comes with extensive Prolog libraries.

 

Summary of Features

  • De facto industry standard Prolog
  • No royalties for distributed applications
  • Consulting and training by Prolog experts
Embeddability
  • Main program need not be in Prolog
  • C/C++ calling Prolog, Prolog calling other languages
  • Data structure inter access
  • Customizable I/O and memory management
  • Discontiguous memory management
  • Sparse memory management (Windows)
Portability
  • Machine independent QOF object files
  • qpc compiler produces QOF files
  • qld link editor produces standard object files or executables
Development Environment
  • Standard, text oriented environment
  • Interface to GNU Emacs
  • QUI graphical environment (under UNIX)
  • Windowed environment
  • Hypertext help with access to on-line manuals
Debugger
  • Extension of traditional 4-port model
  • Emacs-based source-linked debugger
  • Graphical source-linked debugger (under UNIX)
  • No need to recompile for debugger
Library
  • Over 1200 exported predicates
  • Over 200 interfaces to C functions and standard UNIX library routines
  • Over 2MB of Prolog and C source code
Client/Server
  • TCP library provides Prolog predicates for network communication
  • Sample client/server programs in Prolog and C
X Windows Interface (UNIX only)
  • ProXT interface to OSF/Motif and Xt
  • ProXL interface to Xlib