🇩🇪 Made in Germany
Discover Germany's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Germany.
TOP Prolog Projects
sebschub/FontPro
LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more
gooofy/zamia-ai
Free and open source A.I. system based on Python, TensorFlow and Prolog.
fnogatz/xsd2json
Translate XML Schema into equivalent JSON Schema
GermanRepRap/Ramps-1.4.2
forked from ultimachine/Ramps 1.4
DoganM95/Jds-040-Usb-C
Custom pcb to replace Dualshock 4's micro b port with usb c (PD compatible)
SmartDataAnalytics/SML-Bench
A Benchmark for Machine Learning from Structured Data
hhu-stups/prolog-jupyter-kernel
A Jupyter kernel for Prolog
jaseg/openmind
An open source Brain-Computer-Interface hardware design
skaman82/PowerPuck
18650 based power system for FPV goggles. - Powerbutton - voltage monitoring and adjustable alarms
xpix/XStepper
Mainboard for GRBL with Polulu Alegro Driver and 328p
fnogatz/plammar
A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
fnogatz/tap
Write TAP tests with SWI-Prolog
MagnificentPako/Marami
cophi-wue/LLpro
Pipeline for Processing German Literary Texts. Work in Progress.
zauguin/luapstricks
joyheron/brainf_prolog_interpreter
A Brainf*** Interpreter written in SWI Prolog
spetitjean/XMG-2
leandrosansilva/prolog_toy_gameoflife
Conway's Game of Life in Prolog (I'm a prolog newbie!)
fnogatz/race
Prolog client for the SOAP interface of the Attempto Reasoner RACE
fnogatz/dcg4pt
Extend Definite Clause Grammars for Prolog by the corresponding parse tree
fnogatz/date_time
Logical arithmetic on dates and times in Prolog
maweki/ev3dev-prolog
ev3dev-based API for Prolog using the readily available swi-Prolog
adimit/advertent-curt
An extension to the Curt system found in Blackburn and Bos 2005
moritz/perl6-vocabular-coach
Perl 6 vocabular learning tool
code-iai/robot_scenarios_sim
Simulated Robot Scenarios for Testing various Robot Activities
fnogatz/CHR-Minesweeper
Simple Minesweeper application with Prolog and Constraint Handling Rules (CHR)
fnogatz/CHR-Constraint-Server
A Persistent CHR Webserver
temf/parareal
A Parareal Implementation in Matlab/Octave for Problems with Discontinuous Sources
cfbolz/minitrace
experiments in building tiny tracing JITs in various languages (Prolog to start)
cau-placc/pakcs
PAKCS: The Portland Aachen Kiel Curry system
honkmaster/UniOLLatexTemplate
LaTeX Beamer Template for University Oldenburg
meandor/newton-microservice
Microservice in Prolog
Arsaev/DashbuttonReplica
Amazon Dashbutton like IoT button
fnogatz/cli_table
Pretty unicode tables for the CLI with Prolog
International-Data-Spaces-Association/IDSA-Plugfest
This is the public IDSA Plugfest repository. The IDSA Plugfest is a sub-group of the Working Group Architecture.
rlaemmel/pltcourse
zeko868/schedule-generator
Constraint-based timetable generator for students of the Faculty of Organization and Informatics (University of Zagreb)
VladimirWrites/PrologSamples
Collection of solutions of some simple problems written in Prolog
voter101/progL_ii_2013
jaseg/openmind-first-protoype
This is the first prototype of an open source EEG front-end based on the Texas Instruments ADS1194/ADS1294 and an ATMega8L-8-bit microcontroller. It can be battery powered and (hopefully) is small enough to be worn like a mp3-player.
elbaulp/grado_informatica_tsi_Eclipse_CLP_Problems
A collection of CSP (Constraint Satisfaction Problem) solved with Eclipse CLP
BenPapple/ai-GOALdigger
GOALdigger multi-agent system for MAPC
sukrutrao/Tic-Tac-Toe-Prolog
A one player Tic-Tac-Toe Game in Prolog
sysbio-bioinf/ProbRules
A language for rule-based modeling built on top of ProbLog, a probabilistic Prolog.
ndrsllwngr/hll-prolog
Testing Interaction Scenarios - Classified Information System (CIS). High-level languages: Prolog - Group project (2019/2020)
soylentdeen/FG_Widget
Forcast Grism Reduction software. WARNING! The source code available here is NOT an official SOFIA/DCS version of the FORCAST Grism data reduction pipeline (fg_widget). This repository is for fg_widget development. Contact Luke Keller ([email protected]) for details.
ComNetsHH/thesis-template
A LaTeX template for theses.
MASKOR/readylog
A GOLOG dialect for high-level agent programming in dynamic and real-time domains
jhud/skinorchestra
Simple circuit to turn an Android phone into a MIDI/OSC skin touch sensor
elkowar/headlights
A simple redirection service for elks on popular routes.
fnogatz/CHR-Linear-Equation-Solver
Linear Equation Solving using Constraint Handling Rules
crgz/abbreviated_dates
Clarify abbreviated, ambiguous and incomplete dates meanings according to cultural contexts.
obstschale/prolog-exercises
This repo contains prolog exercises from my "Knowledge Base Systems" lecture
rlaemmel/softlangbook
rstammer/seven_languages
We're reading https://pragprog.com/book/btlang/seven-languages-in-seven-weeks. This repository holds our roadtrip memories!
MagnificentPako/Prolapse
XFabian/Spectector-Combined
cryptica/pnerf
Petrinizer: A Constraint-Based Model Checker for Petri Nets
Drachenkaetzchen/eagle
hhu-stups/alloy2b
(READ ONLY MIRROR) Parser for our Translation from Alloy to B
dice-group/EvoLearner
EvoLearner: Learning Description Logics with Evolutionary Algorithms
birkhoff/Prolog_15
Prolog Grundkurs 15/16
jaseg/polyIO
A board containing an embeedded linux module with wifi and ethernet and two FPGAs I want to use to control a lot of switches and LEDs
Joshua27/SICStusPrologFuzzer
SICStus Prolog Fuzzer - including an extension to generate predicates and expressions in (Event-)B represented as abstract syntax trees
fnogatz/alexa.pl
Alexa skill development with SWI-Prolog
mtenorth/knowrob_human
Tools for the knowledge-based analysis of human activities
kassi/prolog-riddles
Collection of logic riddles solved with Prolog
mmalmsten/advent-of-code-2021
🎄 Advent of Code 2021 solutions in SWI Prolog 🎄
Mmaz1988/xle-glueworkbench-interface
Illustrates how the Glue semantics workbench can be called from XLE.
cknd/mandelprot
prolog ascii art maker (2010)
fsteeg/apes
A Prolog Expert System
pkoerner/maplist-expander
Improve the performance of Prolog programs using maplist with one simple trick!
nfbraun/acrobot
Hardware for the Acrobot project
Asifnewaz/Missionaries-and-Cannibals
fnogatz/xsd
xiaoyuin/GuessWordGame-prolog
Logic Programming Engineering Exercise 6.1 - TU Dresden Computational Logic
hhu-stups/sicstus_to_swi_transpiler
A Transpiler from Sicstus to Swi Prolog
oeken/nufuz
Implementation of the board game Splendor in Prolog with UI and a few AI bots
sasjonge/Prython
A fast, easy-to-use prolog module to run python functions in prolog with CPython.
IvanPetukhov/Maze_Prolog
The program written in Prolog creating and solving mazes using breadth-first search
S1ngularity96/PrologTechniques
Different Prolog Programms
eseyffarth/jedesilbe
Generates all German syllables.
jaseg/Relays
At c-base, we equipped 100 huge east-german relays with RGB leds. This is the software and hardware to control all this.
gorczyca/aba-dd-rule-based
Mulham-Alesali/Prolog
Logic programming
gruhn/prolog-cluedo
🔍 A toy project to learn Prolog and my secret plan to NOT get wrecked by my sister in Cluedo/Clue anymore.
bendisposto/infolog
tegoo/eulerpath
Euler path computation in Prolog
uos/infer_hidden_params
daFish/prolog-xpce
SUTURO/suturo_knowledge
The SUTURO Knowledge stack
marbirk/prolog-example
A prolog example for a family tree of lord of the rings.
simonbaese/WangsAlgorithm
Automated Theorem Proving with Wang's Algorithm
Boman/OpenDCC
vibhav13/AI_Prologue_scripts
CaptainUnbrauchbar/asp-assignments
patkan/lightning-detector
Lightning Detector ethernet sensor node and server based on AS3935 - this project is discontinued
florianboergel/WPMP
omelhoro/prolog-nlp-gal
My solutions towards completing the book 'Prolog for Natural Language Processing' by Annie Gal, Guy Lapalme, Patrick Saint-Dizier, and Harold Somers
doersino/corridor
Simple text adventure game.