3  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
  • 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 hexadecimal predicate name encoding