🇺🇸 Made in United States
Discover United States's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of United States.
TOP Prolog Projects
nasa-jpl/open-source-rover
A build-it-yourself, 6-wheel rover based on the rovers on Mars!
terminusdb/terminusdb
TerminusDB is a distributed database with a collaboration model
ccurtsinger/stabilizer
Stabilizer: Rigorous Performance Evaluation
imchipwood/dumbpad
Simple 4x4 numpad with rotary encoder. Powered by QMK via ATmega32u4 Pro Micro
ciao-lang/ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
SuperDisk/tar.pl
tar creator+extractor in ~100 lines of prolog
c-cube/datalog
An in-memory datalog implementation for OCaml.
strangeloop/StrangeLoop2014
Strange Loop 2014 archives
motools/musicontology
The Music Ontology Specification provides main concepts and properties fo describing music (i.e. artists, albums, tracks, but also performances, arrangements, etc.) on the Semantic Web.
geohot/twitchcoq
It's a poorly named metamath verifier
sciguy14/Eagle-Tutorial-Series
These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.
evoldoers/biomake
GNU-Make-like utility for managing builds and complex workflows
ianthehenry/mixologician
optimize your home bar with ✨logic programming✨
LHNCBC/SemRep
mndrix/microkanren-prolog
Prolog implementation of microKanren
cmungall/sparqlprog
logic programming with SPARQL
jan-Lope/Toki_Pona-Parser
Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, grammar check and ambiguity check of Toki Pona sentences.
Mortimerp9/Prolog-Graphplan
The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial state to a final state. This project provides an open source (GPL v3) implementation of this planner in Prolog.
fxs130430/SHAP_FOLD
(Explainable AI) - Learning Non-Monotonic Logic Programs From Statistical Models Using High-Utility Itemset Mining
The-Public-Radio/Embedded_Hardware
Eagle files, gerbers, BOMs, etc
npe9/aop
Art of Prolog Code
Duke-PL-Course/Prolog
Example Problems and Assignments for Prolog
FICS/BigMAC
BigMAC: Analysis tool to introspect and query Android security policies.
jamesbvaughan/httppl
A simple http server written in Prolog
cmungall/blipkit
biological logic programming toolkit
jinwookjungs/lefdef_util
A LEF/DEF Utility.
NikolajSchlej/RushSPI
Open Hardware SPI programmer based on FTDI FT232H
tboronczyk/LearnPrologNow
My answers to the exercises in Learn Prolog Now!
terminusdb/terminus_store_prolog
Prolog binding for terminusdb-store
mndrix/edcg
Extended DCG syntax for Prolog by Peter Van Roy
StetsonMathCS/alpaca
ALPACA: A tool for building dynamic cyber ranges from procedurally-generated vulnerability lattices
regack/40Pct
The SmallFry 40% Board
mndrix/func
Apply and compose functions in Prolog
eazar001/yesbot
IRC Bot Written in Prolog
mikeroyal/Expert-Systems-Guide
Expert Systems Guide
ianhorswill/MKULTRA
An experimental game
hsfl/artemis-hardware
Hardware design resources for the Artemis Kit, an affordable 1U CubeSat that encompasses all the essential subsystems of a fully operational passive small satellite, commonly known as a smallsat.
geeknik/cve-fuzzing-poc
PoCs discovered through fuzzing which resulted in a CVE assignment.
nickmain/cchr
Copy of the CCHR Constraint Handling Rules implementation in C
cmungall/cltools
tools for common-logic
madworm/8x8_RGB_LED_Matrix_Controller
LAYOUT FILES: 8x8-RGB-LED-Matrix controller using 4x 74HC595 shift registers. CPU: ATmega168/328. Arduino 'compatible'. Runs with code from 'V3_x_boards_test' repo. KICAD and Gerber files.
tiantiangao7/kalm
Knowledge Acquisition Logic Machine
mndrix/regex
Regular expressions for Prolog
leaflabs/oak
Spartan 3E/Cortex M3 interface board
saraswat/NeuralProgrammerAsProbProg
An attempt to replicate the neural programmer work [Neelakantan et al 2016, 2017] using techniques for learning probability distributions in probabilistic programming languages.
mndrix/spawn
Easy concurrency for Prolog
VivoMind/unicode_data
VivoMind Prolog Unicode Resources
terminusdb/tus
TUS protocol for resumable file uploads via HTTP
fj/cheryls-birthday-prolog
Solving the Cheryl's Birthday problem -- with Prolog!
Genivia/Husky
🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
nasa/MINX
MISR INteractive eXplorer
shonfeder/tokenize
A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.
mndrix/mavis
Optional types for Prolog
mndrix/list_util
Prolog list utility predicates
mndrix/jolog
Concurrent and distributed Prolog via join patterns (join calculus)
mndrix/dcg_util
DCG utility predicates for Prolog
ciao-lang/ciaopp
The Ciao Preprocessor
paulfaget/PlasmaArcSpeaker
adkelley/prolog-starter
A Starter Template for SWI-Prolog Projects
sunilnandihalli/99-problems-in-prolog
my attempt to learn prolog by solving the 99 problems in prolog.. the files named P<int><int>.pl are the original solutions while others are mine...
tylergreen/PLisp
A basic lisp interpreter written in prolog
finin/pfc
Pfc: adding forward chaining and truth maintenance to Prolog
cmungall/sparqlprog_wikidata
Prolog module for querying wikidata using sparqlprog framework
mndrix/miser
Prolog library for building self-optimizing predicates
anglus/fizzbuzz
A collection of fizzbuzz programs in different programming languages
tiantiangao7/kalm-qa
mndrix/djson
Declarative JSON library for Prolog
mndrix/delay
Coroutine versions of built-in Prolog predicates
sparkfun/Qwiic_GPS-RTK
A breakout board for the ublox NEO-M8P high precision, RTK ready GNSS module.
57Bravo/uConsole_Ext_IO_Breakout
uConsole External I/O Breakout
codyps/mm
PCB design for the micromouse project @ RU IEEE 2012
R-White-0/Medical-Expert-System
A medical expert system for COVID-19 and other medical complications.
whitestarballoon/Iridium-Shield
Arduino Shield for the 9602 Satellite Modem
hargettp/prolog_lsp
Language Server for Prolog
blatyo/wumpus
Hunt the Wumpus in Prolog for a school project
kenegozi/kalah-prolog
PROLOG implementation for the kalah game. Created as a project for "PROLOG - aspects for AI" of the Israeli Open University
jiahuang/avr-isp-shield
Arduino AVR ISP shield
NorthernWidget/ALog-BottleLogger
Arduino-compatible low-power field environmental data logging platform: hardware schematics and circuit board layouts
johnboiles/tinytrackuino
Small Trackuino-compatible board for transmitting APRS packets over 2m amateur radio.
publiux/parseCifp
Parse Coded Instrument Flight Procedures (CIFP) file from the FAA/Aeronav in ARINC424 v18 format into sqlite database
SWI-PrologTeamLudumDare32/prolog-ludumdare44
Ludum Dare 44 entry
benhuds/wangs-algorithm
Propositional theorem prover using Wang's algorithm
Gariben/Prolog
Prolog Projects (Artificial Intelligence, Encryption)
dustinandrews/Red-Soul
Arduino Compatible board with built in LCD
calphool/Apple_IIGS_MemExpansion
motools/audiofeaturesonto
This ontology express the most common things you may extract automatically from a musical signal, by sub-classing some of the terms defined in the Music Ontology.
mndrix/term_diff
Calculate patches between two Prolog terms
remexre/hm-prolog
A Hindley-Milner implementation in Prolog.
mndrix/sweet
Sugar to make Prolog a little sweeter
fusiongyro/conlang
Constructed language doodles
davidgrier/rayleighsommerfeld
IDL code for analyzing in-line holographic microscopy images with Rayleigh-Sommerfeld back-propagation
mndrix/condition
Condition system (a la Common Lisp) for Prolog
noahp/swdiso
SWD (serial wire debug) isolation module
cmungall/sql_compiler
Translates logic program queries to SQL
dominicgs/PS2_tap
A PS/2 data tap over audio line in
cmungall/sql_compiler-OLD
Draxler prolog to SQL compiler
mndrix/interpolate
String interpolation for Prolog
irllabs/eagle
cmungall/rdfs2pl
RDF schema to prolog compiler
mayankkt9/Design-Compiler-for-Programming-Language
Rancho - Whole new prgramming language and compiler built using Prolog