Servicio Web para el sistema de fotocopiado de la UNEG, usando el protocolo SOAP, Prolog y PHP.
-
Updated
Oct 11, 2018 - PHP
Servicio Web para el sistema de fotocopiado de la UNEG, usando el protocolo SOAP, Prolog y PHP.
A Prolog agent that plays a custom version of Flappy Bird
Repository for Prolog Tutorial Sheets for the course CS F214: Logic in Computer Science at BITS Pilani, Pilani campus (Fall '21)
A work-in-progress sudoku solver being written in prolog using swi-prolog.
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
Some solutions to https://adventofcode.com/2020 implemented in SWI-Prolog and ghc-Haskell
A solution finder for the puzzle game known as Light-Up/Akari written in Prolog using SWI-Prolog
Dict validation/conversion for SWI-Prolog.
RSS to email in SWI-Prolog (Git mirror of fossil repository)
Prolog binding for library uriparser (advanced URI parsing support).
Docker-based test environment for a set of SWI-Prolog packs.
FLP labs (FMI UB students)
👓 Laboratory works for 3 semester of MAI on logic programming
We aim to use a multiplicity of methodologies and learning algorithms to be able to solve the problems in these experiments. We will use different techniques for each respective experiment as they would require specific algorithms based on their nature.
Prolog examples
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."