🇺🇸 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
fxs130430/SHAP_FOLD
(Explainable AI) - Learning Non-Monotonic Logic Programs From Statistical Models Using High-Utility Itemset Mining
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.
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.
npe9/aop
Art of Prolog Code
The-Public-Radio/Embedded_Hardware
Eagle files, gerbers, BOMs, etc
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
jinwookjungs/lefdef_util
A LEF/DEF Utility.
cmungall/blipkit
biological logic programming toolkit
NikolajSchlej/RushSPI
Open Hardware SPI programmer based on FTDI FT232H
mndrix/edcg
Extended DCG syntax for Prolog by Peter Van Roy
terminusdb/terminus_store_prolog
Prolog binding for terminusdb-store
tboronczyk/LearnPrologNow
My answers to the exercises in Learn Prolog Now!
eazar001/yesbot
IRC Bot Written in Prolog
mndrix/func
Apply and compose functions in Prolog
StetsonMathCS/alpaca
ALPACA: A tool for building dynamic cyber ranges from procedurally-generated vulnerability lattices
regack/40Pct
The SmallFry 40% Board
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.
ianhorswill/MKULTRA
An experimental game
mikeroyal/Expert-Systems-Guide
Expert Systems Guide
geeknik/cve-fuzzing-poc
PoCs discovered through fuzzing which resulted in a CVE assignment.
mndrix/regex
Regular expressions for Prolog
nickmain/cchr
Copy of the CCHR Constraint Handling Rules implementation in C
cmungall/cltools
tools for common-logic
tiantiangao7/kalm
Knowledge Acquisition Logic Machine
leaflabs/oak
Spartan 3E/Cortex M3 interface board
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.
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.
terminusdb/tus
TUS protocol for resumable file uploads via HTTP
fj/cheryls-birthday-prolog
Solving the Cheryl's Birthday problem -- with Prolog!
VivoMind/unicode_data
VivoMind Prolog Unicode Resources
mndrix/spawn
Easy concurrency for Prolog
Genivia/Husky
🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
nasa/MINX
MISR INteractive eXplorer
mndrix/jolog
Concurrent and distributed Prolog via join patterns (join calculus)
ciao-lang/ciaopp
The Ciao Preprocessor
mndrix/list_util
Prolog list utility predicates
mndrix/mavis
Optional types for Prolog
shonfeder/tokenize
A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.
paulfaget/PlasmaArcSpeaker
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...
mndrix/dcg_util
DCG utility predicates for Prolog
adkelley/prolog-starter
A Starter Template for SWI-Prolog Projects
finin/pfc
Pfc: adding forward chaining and truth maintenance to Prolog
tylergreen/PLisp
A basic lisp interpreter written in prolog
mndrix/miser
Prolog library for building self-optimizing predicates
anglus/fizzbuzz
A collection of fizzbuzz programs in different programming languages
tiantiangao7/kalm-qa
cmungall/sparqlprog_wikidata
Prolog module for querying wikidata using sparqlprog framework
mndrix/djson
Declarative JSON library for Prolog
kenegozi/kalah-prolog
PROLOG implementation for the kalah game. Created as a project for "PROLOG - aspects for AI" of the Israeli Open University
blatyo/wumpus
Hunt the Wumpus in Prolog for a school project
codyps/mm
PCB design for the micromouse project @ RU IEEE 2012
sparkfun/Qwiic_GPS-RTK
A breakout board for the ublox NEO-M8P high precision, RTK ready GNSS module.
whitestarballoon/Iridium-Shield
Arduino Shield for the 9602 Satellite Modem
R-White-0/Medical-Expert-System
A medical expert system for COVID-19 and other medical complications.
hargettp/prolog_lsp
Language Server for Prolog
57Bravo/uConsole_Ext_IO_Breakout
uConsole External I/O Breakout
mndrix/delay
Coroutine versions of built-in Prolog predicates
publiux/parseCifp
Parse Coded Instrument Flight Procedures (CIFP) file from the FAA/Aeronav in ARINC424 v18 format into sqlite database
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.
SWI-PrologTeamLudumDare32/prolog-ludumdare44
Ludum Dare 44 entry
dustinandrews/Red-Soul
Arduino Compatible board with built in LCD
Gariben/Prolog
Prolog Projects (Artificial Intelligence, Encryption)
benhuds/wangs-algorithm
Propositional theorem prover using Wang's algorithm
fusiongyro/conlang
Constructed language doodles
mndrix/sweet
Sugar to make Prolog a little sweeter
remexre/hm-prolog
A Hindley-Milner implementation in Prolog.
mndrix/condition
Condition system (a la Common Lisp) for Prolog
calphool/Apple_IIGS_MemExpansion
mndrix/term_diff
Calculate patches between two Prolog terms
dominicgs/PS2_tap
A PS/2 data tap over audio line in
noahp/swdiso
SWD (serial wire debug) isolation module
davidgrier/rayleighsommerfeld
IDL code for analyzing in-line holographic microscopy images with Rayleigh-Sommerfeld back-propagation
cmungall/sql_compiler
Translates logic program queries to SQL
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.
moustaki/henry
A SWI-Prolog N3 parser/reasoner
bendudson/eqdsk2helena
Convert EQDSK equilibrium files into input for HELENA
cmungall/sql_compiler-OLD
Draxler prolog to SQL compiler
ameyb/hadoop-mapreduce-financial-analytics
Hadoop Financial Analytics project
cmungall/rdfs2pl
RDF schema to prolog compiler