🇬🇧 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.
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
JoseCSantos/GILPS
General Inductive Logic Programming System
fatuhoku/prolog-sudoku
A simple sudoku solver written in SWI-Prolog
emacstheviking/gnuprolog-redisclient
A simple but effective pure GNU Prolog client connecting with Redis, no libraries required.
matchilling/brexit
🇬🇧 A !serious adventure for the Ununited Kingdom written in prolog
emacstheviking/gnuprolog-json
Pure prolog JSON encoding and decoding library plus some simple utility functions.
NebraLtd/nebra-lora-hardware
Hardware Files for a variety of Nebra LoRa Hardware
celinehocquette/numsynth-aaai23
C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.
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
tomsherborne/geoquery-src
A mirror of the original GeoQuery info site
benvial/pytheas
Python Electromagnetic Analysis and Simulation with the Finite Element Method
T3P3/IceBlueStepstick
Redesigned Stepstick - A4982 Driver carrier board
emiruz/adventofcode2023
Advent of Code 2023 solutions in SWI Prolog
nicos-angelopoulos/prosqlite
An SWI-Prolog interface to SQLite
samwalrus/twitter_pack
Pack to access twitter api from swi prolog
athieriot/irssi-ascii-image
Display an ASCII representation of an image using jp2a in IRSSI
cleggacus/prolog-pong
Pong in linux terminal with prolog
simply-logical/programs
Prolog programs from the Simply Logical book
formare/community
This repository is to build up a collection of pointers to economics formalizations (software, theorems, proofs).
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
nikosgalanis/Problems
💭💡All problems implementated as exercises in course: Principals Of Programming Languages
danyvarghese/PyILP
A novel user-friendly Python interface for Inductive Logic programming(ILP) system for teaching machine learning and data-mining
ljcoomber/prolog-dot-trace
Debugger hooks to generate a DOT representation of a SWI-Prolog program execution
samwalrus/machine_learning
basic machine learning algorithms in prolog
nicos-angelopoulos/real
Integrative statistics with R and logic programming
samwalrus/reactome-pengine
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
robintw/DunesGIS
ENVI/IDL and ArcGIS routines for processing DEMs of sand dunes from the DECAL model
PanPapag/Artificial-Intelligence-and-the-Search-for-Solutions
🔁 A plethora of puzzles solved by using the method of exhaustive search
BorisMitrovic/reformation
Automatic theory repair using reformation algorithm
dideler/logic-programming
A collection of short Prolog programs & predicates
samwalrus/scasp_tests
Playing with scasp
nicos-angelopoulos/bims
Bayesian inference of model structure
celinehocquette/aaai24-maxsynth
C. Hocquette, A. Niskanen, M Järvisalo, and Andrew Cropper, Learning MDL Logic Programs From Noisy Data, AAAI24.
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
stanojevic/Left-Corner-MG-parser
AndreaCrotti/navigator
Multi language little navigator program, implementation of Floyd Warshall algorithm
Richardjmorton/auto_nuwt_public
Public repository for autoNUWT code
Sinjo/7languages
Code I produced while following the 7 Languages In 7 Weeks book
timothyandrews/historical-radiative-forcing
Code supporting Andrews and Forster (2019, NCC) - Energy budget constraints on historical radiative forcing
tim-lawson/computational-logic
Prolog and Python for the coursework of the Computational Logic for Artificial Intelligence unit.
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
JackThorp/war_of_life
Repositry for intro to AI coursework
cedricfoucault/fun_in_prolog
ljcoomber/dot-dcg
A DCG for a subset of the DOT language
jahanzeb/vmodvga
VGA board for Atlys
samwalrus/reactome_project
This is a project to use Inductive Logic Programming to classify Lung Cancer samples.
samwalrus/mr_logic
A repo for exploring the relationship between mendelian randomization and logic programming
Dorvaryn/Puissance4
Un jeu de Puissance 4 en Prolog
palaska/splendor_game
Implementation of the game called Splendor in Prolog
danyvarghese/one-shot-hypothesis-derivation
robertgoss/cool_haskell
A haskell framework for building a COOL language compiler following the coursera compiler course.
panks/hexChess
Hexagonal Chess in Prolog
awto/fnotation
Function notation for Prolog
jonbca/GORT
Guesstimation with Ontologies and Reasoning Techniques
PanPapag/Constraint-Satisfaction-Problems
🔎 Constraint satisfaction problems implemented in ECLiPSe Prolog
ljcoomber/99-prolog-problems
Working through 99 Prolog Problems (http://sites.google.com/site/prologsite/prolog-problems)
Tohaker/TommyPROM-PCB
PCB design files for the TommyPROM project (https://github.com/TomNisbet/TommyPROM)
danyvarghese/ijcai23-pygol
gberger/INF1771
🎓 Artificial Intelligence course at PUC-Rio.
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.
celinehocquette/ijcai24-joiner
C. Hocquette, A. Niskanen, R. Morel, M. Järvisalo, and A. Cropper, Learning big logical rules by joining small rules, IJCAI, 2024.
danielchatfield/prolog-99-problems
Solutions to https://sites.google.com/site/prologsite/prolog-problems
aleSuglia/rbsp
A tiny, rule-based system in ISO-prolog
samwalrus/oauth
Attempt to get prolog to log into google and twitter
Joey9801/DorMouse
Dormouse Flight computer for low-medium height model rockets
andrrra/Parking-Lot
Car Parking using Situation Calculus and Planning
fatuhoku/prolog-daide-diplomacy-client
An SWI-Prolog client library for writing artificial intelligences (bots) for the board game Diplomacy
vext01/mux
Fork of Jael Kriener's Mux Tool
yzhe8769/jigsaw_solver_pl
Prolog program used to solve Jigsaw Sudoku Puzzle
nicos-angelopoulos/pub_graph
nicos-angelopoulos/bio_db
Access, use and manage big, biological datasets.
marcin-krysiak/spiewnik
greyltc/electronics
KiCAD electrical circuit design and PCB layout files for solar cell measurement equipment
leighfletcher/Voyager
Respository for retrievals and analysis of Voyager IRIS data.
PaulBrownMagic/mereology
A Prolog Mereology Reasoner
ahjones/7l7w
Seven Languages in Seven Weeks
simply-logical/ComputationalLogic
celinehocquette/ijcai24-stevie
Céline Hocquette , Sebastijan Dumančić, and Andrew Cropper, Learning logic programs by discovering higher-order abstractions, IJCAI 2024.
robintw/RTWOBIA
Robin's Object-based Image Analysis software
anthonyjsmith/ajs
Anthony Smith's IDL routines (galaxies etc)
martinh67/ReversingLists
My first assignment for week 3 for Artificial Intelligence completed 07/05/2021