Prolog

Links

• Wikipedia
• Prolog Resources bietet einführende Bemerkungen

Einordnung

• Grundmodell ist Prädikatenlogik

Interpreter/Compiler

• GNU Prolog