Copyright (C) 1999-2021 Daniel Diaz

Permission is granted to make and distribute verbatim copies of this manual provided the copyright notice and this permission notice are preserved on all copies.

Permission is granted to copy and distribute modified versions of this manual under the conditions for verbatim copying, provided that the entire resulting derived work is distributed under the terms of a permission notice identical to this one.

Permission is granted to copy and distribute translations of this manual into another language, under the above conditions for modified versions, except that this permission notice may be stated in a translation approved by the Free Software Foundation, 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.

• Contents
• Acknowledgements
• GNU Prolog License Conditions
• Introduction
• Using GNU Prolog
• Debugging
• Format of definitions
• Prolog directives and control constructs
• Prolog built-in predicates
• Finite domain solver and built-in predicates
• Interfacing Prolog and C
• References
• Index

This document was translated from L^AT_EX by H^EV^EA.