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).
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).
Some swi prolog files
Docker-based test environment for a set of SWI-Prolog packs.
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."