Repository for Prolog Tutorial Sheets for the course CS F214: Logic in Computer Science at BITS Pilani, Pilani campus (Fall '21)
-
Updated
Dec 9, 2021 - Prolog
Repository for Prolog Tutorial Sheets for the course CS F214: Logic in Computer Science at BITS Pilani, Pilani campus (Fall '21)
This repository is used to store up the 2nd project for Paradigmas de Programación.
GitHub action for SWI-Prolog pack installation with test coverage
A wrapper built on top of the official SWI-Prolog Python interface to iteract with prolog through python using a functional programming paradigm. This wrapper is specifically designed to facilitate programmers with no prior knowledge of logic programming to interact with Prolog
Combination Algorithm Writer with Predicates
Some solutions to https://adventofcode.com/2020 implemented in SWI-Prolog and ghc-Haskell
RSS to email in SWI-Prolog (Git mirror of fossil repository)
Prolog binding for library uriparser (advanced URI parsing support).
FLP labs (FMI UB students)
👓 Laboratory works for 3 semester of MAI on logic programming
Prolog examples
Python 3 robot that gets sensor data from V-REP simulator and takes decisions by making queries to a SWI-Prolog program.
Prolog binding for ImageMagick (inquiring properties for image files).
Functional and Logic Programming - Logic Project - Turing Machine
Some swi prolog files
A TicTacToe game written in SWI-Prolog using Constraint Handling Rules.
Add a description, image, and links to the swi-prolog topic page so that developers can more easily learn about it.
To associate your repository with the swi-prolog topic, visit your repo's landing page and select "manage topics."