Mar 2005 17037 2 0 2944 2526 WebStatistics 981 576 LoadProgram 399 346 EmbedDLL 321 287 AllOutput 275 262 WebSearch 259 BindEditor 1 StefanBruda ...

SWI Prolog prompts using "more?" SWI Prolog has two modes for prompting after proving a toplevel goal that is controlled by the Prolog flag prompt alternatives on ...

The SWI Prolog interactive FAQ This topic describes SWI Prolog Frequently Asked Questions . This is the place to exchange problems you encounter using SWI Prolog ...

Translate Prolog to C ...For instance if I wanted to target a PalmPilot. AdrianMay 02 Oct 2004 Not with SWI Prolog. SWI Prolog however is entirely written in ...

Encoding cannot represent character SWI Prolog is a Unicode application. This means all characters are internally encoded as large integers in a uniform space. This ...

Where is the reconsult/1 predicate Some old Prologs used to have consult/1 that simply added the clauses to the database and reconsult/1 to reload during development ...

Web Web Home Changes Index Search Webs

How do I load a program? Start writing a Prolog program in a file with extension .pl. If your program consists of multiple files, it is common practice to add ...

Creating executables on Unix/Linux I have only find how to make this from in the swi prolog, if any know how to do all this on commandline eg. like windows/dos version ...

How do I load a file from the library? In addition to accepting a plain atom representing a filename, the loading predicates such as consult/1, use module/1, etc. ...

Using SWI Prolog with GNU Emacs The Prolog mode that comes with Emacs is not that good in fact it sucks if you ask me. A much better one is available though, at ...

ERROR: Undefined procedure: There are three common things people use that produce this error while they do not realise they made a mistake. No facts have yet been ...

is a subscription service to be automatically notified by email when topics change in the TWiki.FAQ web. This is a convenient service, so you do not have to come ...

Reading about Prolog This topic is on reading material: books, articles on the web, etc. providing useful training and background material on Prolog. I started ...

How do I change the fonts in PceEmacs and the debugger? All graphical development tools are built using the XPCE graphics library for SWI Prolog. This system defines ...

Where do I find examples mixing C and Prolog? You can download the source and check the sources of one or more of the packages. There is a complicated example in ...

Put this in your pl.ini (Windows) or .plrc (Unix): : dynamic user:message hook/3. : multifile user:message hook/3. user:message hook( error(syntax error(Kind), file ...

Representation and printing of floating point numbers SWI Prolog internally represents floats using the C language type double . On most today systems this implies ...

How to embed SWI Prolog in a DLL The attached ZIP archive contains a complete example creating a DLL containing SWI Prolog as well as Prolog code and using this DLL ...

Making an executable for XPCE/SWI Prolog applications in MS Windows Such an executable consists of: xpce stub.exe followed by a saved state. See also PceStubExe ...

How do I make an executable? For local use you generally do not want to make an executable. Simply create a script as described in MakeScript is easier and starts ...

Creating a Windows coneole application from SWI Prolog If you want to use a SWI Prolog program as a stand alone .exe for example to use it as a CGI script, you can ...

About the xpce stub.exe program The program xpce stub.exe is distributed with SWI Prolog starting from version 5.2.1. It is a very simple windows program that starts ...

Can I make an executable? This is discussed in the reference manual (see the predicate qsave program/2). For local usage, there is often no reason to make a real executable ...

File not found: ws2 32.dll If you are using Windows 95 and you are having trouble connecting or you are seeing this message, you will need to update your winsock2 ...

ERROR: No permission to modify static procedure Name/Arity This message happens is there are some clauses for / in your program and you try to modify this predicate ...

The SWI Prolog C Binding Actually, there are two. One is the original, written by me (Jan Wielemaker), which is part of the standard SWI Prolog 4.x package. It ...

Site and personal initialisation Upon initialisation, SWI Prolog reads both site initialisation and personal initialisation files. Both can be controlled explicitely ...

Where are SWI Prolog.h and the library files? SWI Prolog.h is in the include directory of the distribution. The distribution is normally installed in C:\Program ...

How to setup Prolog for embedding in MS Windows During development If you want to embed SWI Prolog in arbitrary .dll, .exe or other executable code you must create ...

Windows keyboard accelerators XPCE and SWI Prolog started in the Unix/X11 and Free Software environment, where `Emacs' is the dominant standard for keyboard accelerators ...

Using XPCE The XPCE GUI tool for Prolog comes with a build in emacs clone written in Prolog. It's emacs mode does proper indentation, full syntax checking by calling ...

Binding to an editor The simplest way to tell edit/1 to use a specific editor is using the prolog flag editor , which can be set in the system or personal initialisation ...

I want the whole answer Both the toplevel query/answer loop as the debugger abbreviate long complex terms. They do this to avoid endless pages of output. In fact ...

How do I enlarge the stacks? SWI Prolog's runtime stacks are by default a bit small for demanding programs. The default limit is choosen such that many small programs ...

ERROR: (file:line): Undefined procedure: pce begin class/2 If you load a Prolog file containing XPCE classes using plain Prolog, you sometimes get and sometimes don ...

Warning: (File:Line): Singleton variables: ... This is a warning to help you with two common mistakes: Spelling mistakes in variables Forget to use/bind ...

The console of EXE (the main executable for Windows) is modelled after the Unix/X11 application xterm and follows the conventions thereof. This means that: ...

Using the minus sign in identifiers Novices, especially with a Lisp background assume that this is an indentifier is a valid Prolog identifier. It is not . Using ...

FAQ Web Preferences The following settings are web preferences of the FAQ web. These preferences overwrite the site level preferences in ., and can be overwritten ...

See also the faster WebTopicList

See also the verbose WebIndex.

Often you wish to make a transcript of the interaction. On Unix you can fallback to the script utility. You can also copy/paste from the window (see also WinCopy ...

Reading dynamic data from a file It looks attractive to use consult/1 for loading a file holding `case data' as Prolog facts. However, this is not a very good plan ...

See JavaInterface. This page should be deleted. FredDushin 24 Oct 2000

Customize Syntax Highlighting in GNU Emacs for Prolog (Example) Add the following lines to emacs: ;; Font lock (require 'font lock) (global font lock mode t) ...

FATAL ERROR: Could not find system resources On calling PL initialise(), SWI Prolog searches for a saved state holding the Prolog predicates that make up the system ...