Skip to content

This is a prolog repository contains logic-based code for symbolic reasoning, AI algorithms, and other rule-based applications.

License

Notifications You must be signed in to change notification settings

harshjuly12/SWI-Prolog

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

15 Commits
 
 
 
 
 
 

Repository files navigation

SWI-Prolog Learning Repository

Table of Contents

  1. Introduction
  2. Getting Started
  3. Folder Structure
  4. Installation
  5. Basic Commands
  6. Screenshots
  7. Contributing
  8. Resources
  9. License
  10. Author

Introduction

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.

Getting Started

To get started with SWI-Prolog, clone this repository and follow the installation instructions below.

Folder Structure

  • examples/: Basic Prolog examples to get you started.
  • exercises/: Practice problems to test your knowledge.
  • projects/: Mini-projects to apply what you’ve learned.

Installation

  1. Install SWI-Prolog: Download and install SWI-Prolog from SWI-Prolog.org.
  2. Clone the repository:
    git clone https://github.com/yourusername/swi-prolog-learning.git
    cd swi-prolog-learning

Basic Commands

  • Run a Prolog file: swipl -f filename.pl
  • Load a Prolog file within the SWI-Prolog shell: ?- [filename].
  • Consult a file: ?- consult('filename.pl').

Screenshots

Here are a couple of screenshots demonstrating the usage of Prolog and SWI-Prolog:

Screenshot 1: Prolog family relationships code Screenshot 2024-09-27 224812

Screenshot 2: SWI-Prolog execution Screenshot 2024-09-27 224824

Contributing

Feel free to contribute by adding new examples, exercises, or projects. Just fork the repo, create a new branch, and submit a pull request!

Resources

License

This project is licensed under the MIT License. See the LICENSE file for details.

Author

For any questions or suggestions, please contact:

About

This is a prolog repository contains logic-based code for symbolic reasoning, AI algorithms, and other rule-based applications.

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages