The SWI-Prolog FAQ

• Getting started
  • Getting started quickly (from the manual)
  • Initialising and Managing a Prolog project (from the manual)
  • How do I load a program?
  • How do I load a file from the library?
• Help ...
  • Prolog writes [x, y, z|...], I want the whole answer
  • Where is the reconsult/1 predicate?
  • Graphical tracer does not show the correct location of calls
• Common error messages and what to do
  • ERROR: No permission to modify static_procedure
  • ERROR: Undefined procedure: name/arity
  • ERROR: Undefined procedure: (:-)/1|(:-)/2|(?-)/1
  • Warning: Clauses of (-)/2 are not together in the source-file
  • Warning: (file:line) Redefined static procedure: name/arity
  • Warning: (file:line) Singleton variables: List
  • ERROR: (file:line): Undefined procedure: pce_begin_class/2
  • ERROR: I/O error in write on stream XXX (Encoding cannot represent character)
  • FATAL ERROR: Could not find system resources
  • Library not loaded: /usr/X11/lib/libX11.6.dylib
• Customising SWI-Prolog
  • Site and personal initialisation
  • How do I enlarge the default stacks?
  • Syntax error messages with character index?
  • Get colored output on the commandline
  • How do I change the fonts in PceEmacs and the debugger?
  • I want normal ^X, ^C, ^V, ^S, ^P, etc.
  • What else can be customised?
• Editing
  • Select an editor
  • Using SWI-Prolog with GNU-Emacs
  • Using PceEmacs
• How to ...
  • Make a log of the session?
  • Read Prolog case data from a file?
  • Can I make an executable?
• Using SWI-Prolog on MS-Windows
  • Cut/copy/paste from the plwin.exe console
  • Visual C runtime issues
• Using SWI-Prolog with C/C++
  • Where are SWI-Prolog.h, libswipl.{lib,dll,a,so}?
  • Is there a true C++ binding?
  • Where do I find examples mixing C and Prolog?
  • Can I compile my whole project inc. kernel to C?
• Using SWI-Prolog with Java
  • Is there a Java interface to Prolog?
• About datatypes
  • Representation and printing of floating point numbers
• Learn more about Prolog
  • Books and Web Material on Prolog