/Learn-Prolog-Now

Code snippets from the book "Learn Prolog Now!" written by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.

Primary LanguagePrologMIT LicenseMIT

"Learn Prolog Now!"

by Patrick Blackburn, Johan Bos, and Kristina Striegnitz

Welcome to the "Learn Prolog Now!" Exercises Repository. This repository is dedicated to storing the code solutions and exercises completed while working through the "Learn Prolog Now!" book. Prolog is a powerful logic programming language, and this resource aims to help learners master its concepts and applications.

About "Learn Prolog Now!"

"Learn Prolog Now!" is a comprehensive online course and textbook designed to teach Prolog programming from the basics to advanced topics. The book covers fundamental Prolog concepts, logical reasoning, and practical applications through a series of engaging exercises.

Table of Contents

  1. Facts, Rules and Queries
  2. Matching and Proof Search
  3. Recursion
  4. Lists
  5. Arithmetic
  6. More lists

Important note!

I use the SWI-Prolog interpreter for this project.

How to Use This Repository

  1. Clone the Repository: Use the following command to clone this repository to your local machine. 

    git clone https://github.com/xairaven/Learn-Prolog-Now.git

  2. Navigate to the Chapter: Explore the folder of needed chapter and navigate to the task you are working on.

  3. Review Code and Solutions: Open the Prolog code files to review the exercises. Compare your solutions with the provided.

  4. Contribute: Feel free to contribute your solutions, improvements, or additional exercises by creating pull requests.

How to Contribute

If you would like to contribute to this repository, follow these steps:

  1. Fork the repository to your GitHub account.

  2. Clone the forked repository to your local machine: 

    git clone https://github.com/xairaven/Learn-Prolog-Now.git

  3. Create a new branch for your contributions: 

    git checkout -b feature/new-feature

  4. Make your changes, add new exercises, or improve existing ones.

  5. Commit your changes: 

    git commit -m "Add a brief description of your changes"

  6. Push your changes to your forked repository: 

     git push origin feature/new-feature

  7. Create a pull request on the main repository to merge your changes.

Support and Discussions

If you have questions, encounter issues, or want to discuss Prolog concepts, feel free to open an issue in the repository. Collaboration and learning together is encouraged!

Happy Prolog coding!

This repository is license free and redistributable.
Not used commercially