## 4 Using GNU Prolog

- Introduction
- The GNU Prolog interactive interpreter
  - Starting/exiting the interactive interpreter
  - The interactive interpreter read-execute-write loop
  - Consulting a Prolog program
  - Scripting Prolog
  - Interrupting a query
  - The line editor
- Adjusting the size of Prolog stacks
- The GNU Prolog compiler
  - Different kinds of codes
  - Compilation scheme
  - Using the compiler
  - Running an executable
  - Generating a new interactive interpreter
  - The name mangling scheme

Copyright (C) 1999-2012 Daniel Diaz Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved. More about the copyright