Git Product home page Git Product logo

learn-prolog-now's Introduction

"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

learn-prolog-now's People

Contributors

xairaven avatar

Watchers

 avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.