Topic: "prolog"
viebel/klipse
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
Language: HTML - Size: 91.5 MB - Last synced at: 7 days ago - Pushed at: 9 months ago - Stars: 3,132 - Forks: 149
mthom/scryer-prolog
A modern Prolog implementation written mostly in Rust.
Language: Rust - Size: 9.37 MB - Last synced at: about 13 hours ago - Pushed at: about 13 hours ago - Stars: 2,245 - Forks: 151
EvgSkv/logica
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Language: Jupyter Notebook - Size: 6.58 MB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 1,981 - Forks: 103
triska/the-power-of-prolog
The Power of Prolog: Introduction to modern Prolog
Language: HTML - Size: 3.12 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 1,296 - Forks: 82
SWI-Prolog/swipl-devel
SWI-Prolog Main development repository
Language: C - Size: 98.8 MB - Last synced at: about 4 hours ago - Pushed at: about 5 hours ago - Stars: 1,080 - Forks: 194
tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
Language: JavaScript - Size: 1.86 MB - Last synced at: 17 days ago - Pushed at: over 2 years ago - Stars: 608 - Forks: 56
Anniepoo/prolog-examples
Some simple examples for new Prolog programmers
Language: Prolog - Size: 85 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 600 - Forks: 177
ichiban/prolog
The only reasonable scripting engine for Go.
Language: Go - Size: 2.65 MB - Last synced at: 11 months ago - Pushed at: 12 months ago - Stars: 561 - Forks: 27
klaudiosinani/awesome-prolog
Curated list of Prolog packages and resources
Size: 50.8 KB - Last synced at: 9 days ago - Pushed at: almost 3 years ago - Stars: 537 - Forks: 37
yuce/pyswip
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
Language: Python - Size: 417 KB - Last synced at: 3 days ago - Pushed at: 6 months ago - Stars: 516 - Forks: 99
LogtalkDotOrg/logtalk3
Logtalk - declarative object-oriented logic programming language
Language: Prolog - Size: 1.02 GB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 451 - Forks: 33
hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
Language: JavaScript - Size: 58.8 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 376 - Forks: 77
program-spiritual/KongFuOfArchitect 📦
(Updating!) Architect's Kung Fu tutorial collection Article collection contains paradigm programming microservices essential algorithms Security attack Assembly Crawler Reverse penetration test...etc.
Language: HTML - Size: 129 MB - Last synced at: 4 months ago - Pushed at: 6 months ago - Stars: 362 - Forks: 120
Shen-Language/shen-sources
Shen language kernel sources for porters
Language: Shen - Size: 1.42 MB - Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 357 - Forks: 41
ML-KULeuven/problog
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Language: Python - Size: 18.4 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 334 - Forks: 39
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.
Language: Prolog - Size: 15.1 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 304 - Forks: 23
trealla-prolog/trealla
A compact, efficient Prolog interpreter written in plain-old C.
Language: C - Size: 4.77 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 297 - Forks: 21
dragonwasrobot/learn-prolog-now-exercises
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
Language: Prolog - Size: 84 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 291 - Forks: 85
tomgrek/zincbase
A batteries-included kit for knowledge graphs
Language: Python - Size: 12 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 278 - Forks: 61
c-cube/datalog
An in-memory datalog implementation for OCaml.
Language: Prolog - Size: 2.14 MB - Last synced at: 8 days ago - Pushed at: 8 months ago - Stars: 270 - Forks: 24
SuperDisk/tar.pl
tar creator+extractor in ~100 lines of prolog
Language: Prolog - Size: 15.6 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 260 - Forks: 6
Seeker04/plwm
An X11 window manager written in Prolog
Language: Prolog - Size: 1.32 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 259 - Forks: 4
toblotron/praxis-ide
An online IDE for visual programming in Prolog
Language: JavaScript - Size: 1.87 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 240 - Forks: 10
ztangent/Julog.jl
A Julia package for Prolog-style logic programming.
Language: Julia - Size: 202 KB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 178 - Forks: 11
mcsoto/cosmos
A new logic programming language.
Language: C++ - Size: 1.5 MB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 175 - Forks: 9
triska/clpfd
Constraint Logic Programming over Finite Domains
Language: Prolog - Size: 823 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 175 - Forks: 11
triska/clpz
Constraint Logic Programming over Integers
Language: Prolog - Size: 1.01 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 172 - Forks: 14
complexdb/zincbase
A state of the art knowledge base
Language: Python - Size: 11.7 MB - Last synced at: 4 days ago - Pushed at: about 5 years ago - Stars: 170 - Forks: 15
gooofy/zamia-ai
Free and open source A.I. system based on Python, TensorFlow and Prolog.
Language: Prolog - Size: 118 MB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 163 - Forks: 27
fnogatz/xsd2json
Translate XML Schema into equivalent JSON Schema
Language: Prolog - Size: 2.99 MB - Last synced at: 9 days ago - Pushed at: over 2 years ago - Stars: 154 - Forks: 28
triska/lisprolog
Interpreter for a simple Lisp. Written in Prolog.
Language: Prolog - Size: 8.79 KB - Last synced at: 27 days ago - Pushed at: over 2 years ago - Stars: 148 - Forks: 13
knowrob/knowrob
A Knowledge Base System for Cognition-enabled Robots
Language: C++ - Size: 127 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 145 - Forks: 107
simply-logical/simply-logical
Online, interactive edition of the "Simply Logical" Prolog textbook
Language: Prolog - Size: 13.3 MB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 141 - Forks: 24
mumuki/mulang
:bamboo: Universal, Multi Language, Multi Paradigm code analyzer
Language: Haskell - Size: 15.5 MB - Last synced at: 6 days ago - Pushed at: almost 2 years ago - Stars: 128 - Forks: 10
MNoorFawi/pytholog
Python library that enables using prolog syntax and logic programming in python
Language: Python - Size: 5.42 MB - Last synced at: 12 days ago - Pushed at: over 2 years ago - Stars: 125 - Forks: 19
AmziLS/AmziProlog
Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
Language: C++ - Size: 16.8 MB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 122 - Forks: 26
namin/logically
explorations in core.logic
Language: Clojure - Size: 116 KB - Last synced at: 1 day ago - Pushed at: about 1 year ago - Stars: 118 - Forks: 9
JCumin/Brachylog
A terse declarative logic programming language
Language: Prolog - Size: 5.9 MB - Last synced at: 7 months ago - Pushed at: almost 5 years ago - Stars: 117 - Forks: 5
kovvalsky/LangPro
Tableau-based Theorem Prover for Natural Logic and Language
Language: Prolog - Size: 26.4 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 116 - Forks: 12
ekzhang/ukanren-rs
Rust implementation of µKanren, a featherweight relational programming language.
Language: Rust - Size: 38.1 KB - Last synced at: 13 days ago - Pushed at: over 2 years ago - Stars: 113 - Forks: 4
evoldoers/biomake
GNU-Make-like utility for managing builds and complex workflows
Language: Prolog - Size: 938 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 106 - Forks: 9
tuProlog/2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
Language: Kotlin - Size: 12 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 104 - Forks: 14
logicmoo/wam_common_lisp
Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.
Language: Common Lisp - Size: 50.5 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 96 - Forks: 8
aartikis/RTEC
RTEC is an Event Calculus implementation optimised for stream reasoning
Language: Prolog - Size: 11.7 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 89 - Forks: 16
uclnlp/ntp
End-to-End Differentiable Proving
Language: NewLisp - Size: 6.4 MB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 89 - Forks: 19
uuverifiers/eldarica
The Eldarica model checker
Language: Scala - Size: 53.6 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 85 - Forks: 25
glennstreet/awesome-philosophy-compsci
A list of resources that cross the disciplines of Computer Science and Philosophy
Size: 132 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 85 - Forks: 4
sebdumancic/pylo2
Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
Language: Python - Size: 187 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 83 - Forks: 6
wouterbeek/prolog_library_collection
A collection of Prolog libraries.
Language: Prolog - Size: 8.24 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 83 - Forks: 13
microsoft/Guan
Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close approximation of Prolog, with extended capabilities and some differences.
Language: C# - Size: 2.3 MB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 80 - Forks: 7
trealla-prolog/go
Trealla Prolog embedded in Go using WASM
Language: Go - Size: 119 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 79 - Forks: 4
maebert/prolog_puzzles
Prolog puzzles for fun and profit (mostly fun)
Language: Perl - Size: 349 KB - Last synced at: 5 days ago - Pushed at: over 4 years ago - Stars: 79 - Forks: 4
jaalonso/Lecturas_GLC
Readings on computational logic, interactive theorem proving and functional programming.
Size: 6.66 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 78 - Forks: 8
SWI-Prolog/swipl-wasm 📦
Run SWI-Prolog in your browser using WebAssemply
Language: HTML - Size: 1.06 MB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 77 - Forks: 6
friguzzi/cplint
cplint is a suite of programs for reasoning with probabilistic logic programs
Language: Prolog - Size: 36.4 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 74 - Forks: 13
xmonader/prolog-rands
random stuff in prolog
Language: Prolog - Size: 9.77 KB - Last synced at: 4 days ago - Pushed at: over 6 years ago - Stars: 74 - Forks: 34
guregu/php
Prolog Home Page
Language: HTML - Size: 1.77 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 73 - Forks: 1
alhassy/PrologCheatSheet
Basics of relational programming with Prolog —PROgramming in LOGic ^_^
Language: Prolog - Size: 1.15 MB - Last synced at: 9 months ago - Pushed at: almost 5 years ago - Stars: 70 - Forks: 3
philzook58/egglog0
Datalog + Egg = Good
Language: Rust - Size: 481 KB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 66 - Forks: 3
rachelwiles/GoT-Check
:crossed_swords: Game of Thrones character database and family trees in Prolog
Language: Prolog - Size: 37.1 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 65 - Forks: 13
namin/metaprogramming
Course on Metaprogramming
Language: Scala - Size: 2.42 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 60 - Forks: 11
Pufcorina/UBB-Computer-Science
:slot_machine: University projects and homework.
Size: 836 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 60 - Forks: 9
agustingianni/Utilities
Uncategorized utilities
Language: Python - Size: 39.1 KB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 57 - Forks: 20
rubycocos/cocos
cocos (code commons) - auto-include quick-starter prelude & prolog
Language: Ruby - Size: 108 KB - Last synced at: 11 days ago - Pushed at: 10 months ago - Stars: 53 - Forks: 2
lps-js/lps.js
Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.
Language: JavaScript - Size: 1.18 MB - Last synced at: 7 days ago - Pushed at: about 6 years ago - Stars: 51 - Forks: 5
guregu/trealla-js
Trealla Prolog for the web
Language: TypeScript - Size: 589 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 50 - Forks: 3
cmungall/sparqlprog
logic programming with SPARQL
Language: Prolog - Size: 470 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 47 - Forks: 7
ice1000/learn
:books: codes written while learning them.
Language: Haskell - Size: 9.38 MB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 47 - Forks: 13
acharal/hopes
Higher Order Prolog with Extensional Semantics
Language: Haskell - Size: 3.48 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 46 - Forks: 6
twolodzko/prolog-rs
Minimal Prolog implemented in Rust
Language: Rust - Size: 109 KB - Last synced at: 3 months ago - Pushed at: 9 months ago - Stars: 43 - Forks: 1
triska/ediprolog
Emacs Does Interactive Prolog
Language: Emacs Lisp - Size: 122 KB - Last synced at: 2 months ago - Pushed at: 9 months ago - Stars: 41 - Forks: 8
ysyesilyurt/Metu-CENG
All the homeworks, studies and projects I've done at Metu-CENG
Language: Jupyter Notebook - Size: 73.1 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 41 - Forks: 9
AAAI-DISIM-UnivAQ/DALI
DALI Multi Agent System Framework
Language: Prolog - Size: 10.9 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 39 - Forks: 11
triska/clpb
Boolean Constraint Solving in Prolog
Language: Prolog - Size: 305 KB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 39 - Forks: 6
JanWielemaker/swi-prolog-wasm
SWI-Prolog ported to WebAssembly
Language: HTML - Size: 1.05 MB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 39 - Forks: 5
dirkschumacher/logician
🖖 Prolog-style Logic Programming in pure R
Language: R - Size: 34.2 KB - Last synced at: 7 days ago - Pushed at: about 5 years ago - Stars: 37 - Forks: 0
matsud224/wamcompiler
Prolog implementation based on Warren's abstract machine
Language: Common Lisp - Size: 95.7 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 37 - Forks: 5
triska/letswicrypt
Prolog HTTPS Servers
Language: Prolog - Size: 26.4 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 35 - Forks: 2
norswap/prolog-dry
A terse Prolog course
Language: Prolog - Size: 567 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 34 - Forks: 2
sasagawa888/Elxlog
Prolog interpreter/compiler
Language: Elixir - Size: 179 KB - Last synced at: 20 days ago - Pushed at: about 5 years ago - Stars: 33 - Forks: 6
namin/metamk
Prolog-Style Meta-Interpreters in miniKanren
Language: Scheme - Size: 1.37 MB - Last synced at: 1 day ago - Pushed at: 4 months ago - Stars: 32 - Forks: 4
raydac/jprol
Yet another Java based Prolog engine
Language: Java - Size: 7.08 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 30 - Forks: 4
ekaf/wordnet-prolog
Prolog versions of the WordNet databases
Language: Prolog - Size: 91.4 MB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 30 - Forks: 6
rla/node-swipl Fork of jansegre/node-swipl
A node.js interface to the SWI-Prolog library.
Language: C++ - Size: 65.4 KB - Last synced at: 13 days ago - Pushed at: over 3 years ago - Stars: 30 - Forks: 4
ptarau/TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Language: Prolog - Size: 3.91 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 29 - Forks: 3
logicmoo/prologmud
MUD Server written in Prolog using Forward chaining
Language: Prolog - Size: 418 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 29 - Forks: 5
Logoi-Linguistics/Logoi-Linguistics
Current [2025·01] source repository for the Logoi 1) natural programming language, 2) minimalist tutorial & 3) hyperextensible/mouseless text editor.
Language: HTML - Size: 2.09 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 28 - Forks: 0
kuba--/ut
Yet Another Efficient Unification Algorithm
Language: Go - Size: 38.1 KB - Last synced at: 2 months ago - Pushed at: 11 months ago - Stars: 27 - Forks: 2
haldai/Jurassic.pl
Call Julia code from Prolog
Language: C - Size: 198 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 27 - Forks: 0
oldcompcz/micro-PROLOG
Disassembled code of SPECTRUM micro-PROLOG T1.0
Language: Assembly - Size: 734 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 27 - Forks: 2
triska/simsttab
Simple timetabling engine for schools
Language: Prolog - Size: 35.2 KB - Last synced at: 3 months ago - Pushed at: 12 months ago - Stars: 26 - Forks: 12
mingodad/picat
My unofficial picat http://picat-lang.org/ repository
Language: C - Size: 32.5 MB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 26 - Forks: 1
s-webber/projog
Prolog programming for the Java platform.
Language: Java - Size: 3.26 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 26 - Forks: 8
Ana06/AI
Several projects for the Artificial Intelligence course, with topics such as Recommender and Rule-based Systems, Ontologies and Natural Language Processing.
Language: CLIPS - Size: 440 KB - Last synced at: 5 days ago - Pushed at: about 9 years ago - Stars: 25 - Forks: 5
alehander92/hatlog
custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
Language: Python - Size: 16.6 KB - Last synced at: over 2 years ago - Pushed at: about 9 years ago - Stars: 24 - Forks: 1
jariazavalverde/fasill
Fuzzy Aggregators and Similarity Into a Logic Language
Language: Prolog - Size: 1.07 MB - Last synced at: 17 days ago - Pushed at: 10 months ago - Stars: 23 - Forks: 2
namin/clpset-miniKanren
CLP(Set) in miniKanren
Language: Scheme - Size: 54.7 KB - Last synced at: 1 day ago - Pushed at: about 1 year ago - Stars: 23 - Forks: 4
sudiptog81/ducscode
Code for BSc (Hons) Computer Science, University of Delhi
Language: Jupyter Notebook - Size: 102 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 23 - Forks: 14
arkark/d-prolog
A Prolog implementation in D language
Language: D - Size: 2.54 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 23 - Forks: 0
nicoabie/quickcheck
Randomized testing for Prolog à la QuickCheck
Language: Prolog - Size: 72.3 KB - Last synced at: 11 days ago - Pushed at: almost 6 years ago - Stars: 23 - Forks: 1
