π¬π§ Made in United Kingdom
Discover United Kingdom's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of United Kingdom.
TOP Prolog Projects
larsyencken/marelle
Test-driven system administration with a little extra logic.
simply-logical/simply-logical
Online, interactive edition of the "Simply Logical" Prolog textbook
rachelwiles/GoT-Check
βοΈ Game of Thrones character database and family trees in Prolog
hairykiwi/OTM-02
Open source Time Machine #2
jamespwilliams/prolog-isolation-checker
An encoding of the UK's self-isolation rules in Prolog
ryancdotorg/dnsstore
cbaziotis/prolog-cfg-parser
A toy SWI-Prolog context-free grammar (CFG) parser, that extracts knowledge (facts) from text.
JoseCSantos/GILPS
General Inductive Logic Programming System
celinehocquette/magicpopper
C. Hocquette and A. Cropper, Learning programs with magic values.
larsyencken/marelle-deps
Configuration targets for Marelle.
arcadio/data-logic
Expert system with deductive querying and verification of constraints expressed in natural language
fatuhoku/prolog-sudoku
A simple sudoku solver written in SWI-Prolog
matchilling/brexit
π¬π§ A !serious adventure for the Ununited Kingdom written in prolog
emacstheviking/gnuprolog-redisclient
A simple but effective pure GNU Prolog client connecting with Redis, no libraries required.
emacstheviking/gnuprolog-json
Pure prolog JSON encoding and decoding library plus some simple utility functions.
celinehocquette/numsynth-aaai23
C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.
NebraLtd/nebra-lora-hardware
Hardware Files for a variety of Nebra LoRa Hardware
matchilling/kata-prolog
A loose collection of coding katas written in Prolog
lorenzo-stoakes/learn-prolog-now
Notes from my study of Learn Prolog Now!
wenkokke/swillprover
a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog
fairydancecreations/3PDT-optical-true-buffer-bypass
3PDT optical true bypass PCB , eagle file and gerbers
matyjas/share-bear
Exploring MeeGo's ShareUI, with a special focus on Nokia's Harmattan
benvial/pytheas
Python Electromagnetic Analysis and Simulation with the Finite Element Method
tomsherborne/geoquery-src
A mirror of the original GeoQuery info site
samwalrus/twitter_pack
Pack to access twitter api from swi prolog
T3P3/IceBlueStepstick
Redesigned Stepstick - A4982 Driver carrier board
emiruz/adventofcode2023
Advent of Code 2023 solutions in SWI Prolog
athieriot/irssi-ascii-image
Display an ASCII representation of an image using jp2a in IRSSI
nicos-angelopoulos/prosqlite
An SWI-Prolog interface to SQLite
simply-logical/programs
Prolog programs from the Simply Logical book
cleggacus/prolog-pong
Pong in linux terminal with prolog
formare/community
This repository is to build up a collection of pointers to economics formalizations (software, theorems, proofs).
danyvarghese/PyILP
A novel user-friendly Python interface for Inductive Logic programming(ILP) system for teaching machine learning and data-mining
nikosgalanis/Problems
ππ‘All problems implementated as exercises in course: Principals Of Programming Languages
Richardjmorton/NUWT
Northumbria wave tracking code
dideler/course-advisor
An expert system for advising Computer Science students (at Brock) which courses to enroll in.
johnwhitington/exn-source
Exception backtrace for OCaml with source code printing
ljcoomber/prolog-dot-trace
Debugger hooks to generate a DOT representation of a SWI-Prolog program execution
robintw/DunesGIS
ENVI/IDL and ArcGIS routines for processing DEMs of sand dunes from the DECAL model
thanosqr/Alan-Prolog-Compiler
a compiler for Alan written in Prolog
GPPassos/computational-semantics
Repository for Bachelor's Thesis (final project) in Applied Mathematics at Fundação Getulio Vargas
nicos-angelopoulos/real
Integrative statistics with R and logic programming
samwalrus/machine_learning
basic machine learning algorithms in prolog
samwalrus/reactome-pengine
BorisMitrovic/reformation
Automatic theory repair using reformation algorithm
Richardjmorton/auto_nuwt_public
Public repository for autoNUWT code
PanPapag/Artificial-Intelligence-and-the-Search-for-Solutions
π A plethora of puzzles solved by using the method of exhaustive search
stanojevic/Left-Corner-MG-parser
samwalrus/scasp_tests
Playing with scasp
AndreaCrotti/navigator
Multi language little navigator program, implementation of Floyd Warshall algorithm
amalon/chron
Chron is a tool for resolving chronological constraints in genealogies and chronologies of historical documents such as the Bible.
adamgreig/AMPly
An Open Source Modular Audio Amplifier
nicos-angelopoulos/bims
Bayesian inference of model structure
dideler/logic-programming
A collection of short Prolog programs & predicates
pleaseRedo/McCarthy-Riddle-solution
Uploaded work: McCarthy Riddle solution
awto/fnotation
Function notation for Prolog
JackThorp/war_of_life
Repositry for intro to AI coursework
palaska/splendor_game
Implementation of the game called Splendor in Prolog
larsyencken/docker-vm
A Vagrant recipe for a VM with Docker installed and nothing else.
29antonioac/Constraint-satisfaction-problems
Solving constraint satisfaction problems with prolog and ECLiPSe
celinehocquette/aaai24-maxsynth
C. Hocquette, A. Niskanen, M JΓ€rvisalo, and Andrew Cropper, Learning MDL Logic Programs From Noisy Data, AAAI24.
samwalrus/reactome_project
This is a project to use Inductive Logic Programming to classify Lung Cancer samples.
tim-lawson/computational-logic
Prolog and Python for the coursework of the Computational Logic for Artificial Intelligence unit.
jahanzeb/vmodvga
VGA board for Atlys
robertgoss/cool_haskell
A haskell framework for building a COOL language compiler following the coursera compiler course.
panks/hexChess
Hexagonal Chess in Prolog
ljcoomber/99-prolog-problems
Working through 99 Prolog Problems (http://sites.google.com/site/prologsite/prolog-problems)
cedricfoucault/fun_in_prolog
ljcoomber/dot-dcg
A DCG for a subset of the DOT language
PanPapag/Constraint-Satisfaction-Problems
π Constraint satisfaction problems implemented in ECLiPSe Prolog
timothyandrews/historical-radiative-forcing
Code supporting Andrews and Forster (2019, NCC) - Energy budget constraints on historical radiative forcing
samwalrus/mr_logic
A repo for exploring the relationship between mendelian randomization and logic programming
Dorvaryn/Puissance4
Un jeu de Puissance 4 en Prolog
Sinjo/7languages
Code I produced while following the 7 Languages In 7 Weeks book
Tohaker/TommyPROM-PCB
PCB design files for the TommyPROM project (https://github.com/TomNisbet/TommyPROM)
danyvarghese/one-shot-hypothesis-derivation
jonbca/GORT
Guesstimation with Ontologies and Reasoning Techniques
clbarnes/problog_tutorial
greyltc/electronics
KiCAD electrical circuit design and PCB layout files for solar cell measurement equipment
shabble/irssi-script-infoparser
Module which attempts to decode the metadata of an irssi script ($VERSION and %IRSSI) using PPI
ThisIsGJ/Prolog-Impossible-Puzzle
kittykg/ADVOCadO
Solving ADVent Of COde https://adventofcode.com with mainly Prolog (RIOT WHEN 2D ARRAY COMES)
BlueFinBima/DCS-General-Switch-and-Light-Board
dv-rastogi/Career-Advising-System
A basic career advising system built using concepts of backtracking and forward chaining.
nicos-angelopoulos/gbn
robintw/CrestExtract
New version of Crest Extraction code in DunesGIS
lloydtao/prolog-web-application
A web application implemented with SWI-Prolog HTTP libraries.
lai1997/BMLP_active_public
The official repository of "Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models".
danielchatfield/prolog-99-problems
Solutions to https://sites.google.com/site/prologsite/prolog-problems
nunofonseca/logchem
LogCHEM is a tool for discriminative interactive mining of chemical fragments.
jimthree/RGBtlc
a tlc5940 based LED blinker with 5 rgb leds.
larsyencken/ckan-vm
A Vagrant virtual machine for the CKAN open source data portal.
banool/comp30020-assn2
Assignment 2 for COMP30020 - Declarative Programming, a fill-in puzzle solver written in Prolog
paptol/Agent-eng-to-unix-command
Prolog app to translate English to Unix command.
lmcarboneau/fgcu-stellar-research
Source repository and general code base for research under Dr. Derek Buzasi at Florida Gulf Coast University. Primary languages are Matlab and Python, but also contains code in Fortran and IDL.
samwalrus/oauth
Attempt to get prolog to log into google and twitter
dumpstate/prolog-map
BorisMitrovic/sorted-reformation
Automatic ontology repair for sorted logic using Reformation algorithm, originally written for FOL logic by Alan Bundy
andrrra/Parking-Lot
Car Parking using Situation Calculus and Planning
ahjones/7l7w
Seven Languages in Seven Weeks