Last updated June 12, 2003 Quintus Prolog Home

Microsoft Windows

The following instructions apply to Windows 2000 but are likely to apply also to other versions of Windows. The information is believed to be accurate for Quintus 3.4.2 (released June 27 2000). The Emacs information and files have been updated April 25, 2003.


Installation and Licensing

A separate page describes How To Enter The License Information.

Environment Variables

On Windows 2000 and Windows NT there is no autoexec.bat from which to run qpvars.bat to set up environment variables. Instead you can use the System control panel to set up these environment variables. The following assumes Quintus is installed in the default location C:/quintus.

Setting up Emacs

Obtain and install the new (2003-04-25) version of the Quintus Prolog Emacs interface files zip archive, follow the intructions in the README.txt file for how to update to the new version. After installation follow the instructions in editor4.3/gnu/REAME for how to make the new files work with Emacs. Use a recent version of FSF Emacs or XEmacs. Ready to run versions of FSF Emacs are available in directory windows/emacs/latest/ on any FSF mirror, see section "Where can I get precompiled versions?" in for details. An installer for XEmacs can be obtained from

Windows Issues

Emacs issues

There are some problems on Windows when running Quintus (prolog.exe) from within Emacs.

The following assumes you start Quintus from withing Emacs using M-x run-prolog or equivalent.

Windows Examples

The text file win32_foreign.txt shows several examples of linking Quintus run-time systems with code written in C.

When building a self contained executable with qld -S you may need to pass some Windows libraries to the linker to avoid "unresolved external symbol" errors. Something like:

qld -S -d -o foo.exe foo.qof -LD user32.lib gdi32.lib comdlg32.lib

Some tips for including prolog code in a Microsoft Visual Studio project. You can browse the files QPExampleProject or download the zip archive

Quintus Prolog Home