A collection of Prolog programs and assignments demonstrating key concepts in Logic Programming, Artificial Intelligence, and Knowledge Representation.
This repository serves as a reference for students learning Prolog syntax, problem-solving, and rule-based reasoning.
This repository contains various Prolog programs ranging from beginner to advanced level.
Each program focuses on a specific Prolog concept such as:
- Facts and Rules
- Queries and Inference
- Recursion and Backtracking
- List Manipulation
- Arithmetic and Comparisons
- Family Relationship Problems
- AI Search Problems (e.g., Missionaries and Cannibals, 8-Puzzle)
- Knowledge Base Design
- Decision-Making and Logical Reasoning
If you don’t have it installed, download it from:
🔗 https://www.swi-prolog.org/Download.html
Navigate to the directory where your .pl file is located.
This project is open-source under the MIT License — feel free to use, modify, and distribute it.
Contributions are welcome!
If you’d like to add new Prolog problems or improve the existing ones:
- Fork the repository
- Create a new branch (
feature/new-problem) - Commit your changes
- Open a Pull Request
Prolog • AI • Logic Programming • Facts and Rules • Knowledge Base • Artificial Intelligence • Backtracking • SWI-Prolog
"Logic will get you from A to B. Imagination will take you everywhere." — Albert Einstein
Thank you for visiting this repository! Your contributions, suggestions, and feedback are highly appreciated.