Prolog

A logic programming language designed for AI and symbolic computation.

Upcoming events

The 41st International Conference on Logic Programming

Rende, Calabria, Italy - September 12, 2025

DETAILS

PADL 2026

Rennes, France - January 11, 2026

DETAILS

Links

🏛 Associations & Organizations

🛠 Open Source Projects

📖 Documentation & Wikis

📚 Learning & Educational Resources

💬 Community, Chat & Forums

🌍 Official & Core Resources

🏛 Backers & Core Developers

Who uses Prolog?

Companies

Research institutes

Educational institutions