- Introduction
- Getting Started
- Folder Structure
- Installation
- Basic Commands
- Screenshots
- Contributing
- Resources
- License
- Author
Welcome to the SWI-Prolog Learning Repository! This repository aims to provide a comprehensive learning resource for anyone interested in mastering SWI-Prolog, a popular logic programming language used for solving complex problems involving knowledge representation and reasoning. Through this collection of examples, exercises, and projects, you will gain hands-on experience and improve your understanding of Prolog's fundamental concepts and advanced features.
To get started with SWI-Prolog, clone this repository and follow the installation instructions below.
- examples/: Basic Prolog examples to get you started.
- exercises/: Practice problems to test your knowledge.
- projects/: Mini-projects to apply what you’ve learned.
- Install SWI-Prolog: Download and install SWI-Prolog from SWI-Prolog.org.
- Clone the repository:
git clone https://github.com/yourusername/swi-prolog-learning.git cd swi-prolog-learning
- Run a Prolog file:
swipl -f filename.pl
- Load a Prolog file within the SWI-Prolog shell:
?- [filename].
- Consult a file:
?- consult('filename.pl').
Here are a couple of screenshots demonstrating the usage of Prolog and SWI-Prolog:
Screenshot 1: Prolog family relationships code
Screenshot 2: SWI-Prolog execution
Feel free to contribute by adding new examples, exercises, or projects. Just fork the repo, create a new branch, and submit a pull request!
This project is licensed under the MIT License. See the LICENSE file for details.
For any questions or suggestions, please contact:
- Harsh Singh: harshjuly12@gmail.com
- GitHub: harshjuly12