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
A TicTacToe game written in SWI-Prolog using Constraint Handling Rules.
Trabalhos desenvolvidos durante a disciplina de Programação Lógica e Funcional da 7º fase - IFC Campus Videira 2022.
This repository contains a study about the Logic Programming Paradigm. Exploring more about the SWI - Prolog
Prolog Examples implemented in swi-prolog
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."