prolog

There are 56 repositories under prolog topic.

viebel / klipse
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
clojure clojurescript interactive-snippets javascript code-evaluation ruby scheme prolog react reactjs klipse-plugin codemirror-editor evaluation python brainfuck lua ocaml reasonml common-lisp
Language:HTML 3099
mthom / scryer-prolog
A modern Prolog implementation written mostly in Rust.
iso-prolog-standard prolog prolog-implementation prolog-interpreter prolog-programming-language rust
Language:Rust 1904
logica
EvgSkv / logica
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
bigquery datalog language logic-programming logica postgresql presto prolog prolog-implementation sql sqlite trino
Language:Jupyter Notebook 1685
triska / the-power-of-prolog
Introduction to modern Prolog
prolog book logic-programming teaching-materials constraints
Language:HTML 1167
SWI-Prolog / swipl-devel
SWI-Prolog Main development repository
swi-prolog prolog logic-programming
Language:C 904
Anniepoo / prolog-examples
Some simple examples for new Prolog programmers
prolog family-tree
Language:Prolog 557
tau-prolog
tau-prolog / tau-prolog
An open source Prolog interpreter in JavaScript
tau-prolog prolog-interpreter iso-prolog-standard javascript prolog prolog-programming-language prolog-implementation logic-programming
Language:JavaScript 557
ichiban / prolog
The only reasonable scripting engine for Go.
interpreter prolog golang go logic-programming
Language:Go 542
klaudiosinani / awesome-prolog
Curated list of Prolog packages and resources
awesome prolog list logic programming
486
yuce / pyswip
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
python prolog swi-prolog artificial-intelligence expert-systems natural-language-processing robotics logic-programming
Language:Python 444
logtalk3
LogtalkDotOrg / logtalk3
Logtalk - declarative object-oriented logic programming language
logtalk logic-programming prolog oop declarative-language declarative-programming
Language:Prolog 398
KongFuOfArchitect
yiyandaoren / KongFuOfArchitect
(Updating!) Architect's Kung Fu tutorial collection Article collection contains paradigm programming microservices essential algorithms Security attack Assembly Crawler Reverse penetration test...etc.
architect architecture-guidelines java javascript nodejs perl golang go python erlang rust c csharp object-c scala swift c-sharp prolog lisp
Language:HTML 366
hakank / hakank
My public programs and models - mostly combinatorial problems and puzzles
ampl answer-set-programming choco comet constraint-programming constraint-satisfaction eclipse-clp essence frink gecode jacop jgap minizinc numberjack picat poplog prolog setl sicstus-prolog z3py
Language:JavaScript 354
Shen-Language / shen-sources
Shen language kernel sources for porters
programming-language shen lisp prolog functional-programming logic-programming static-typing
Language:Shen 344
ML-KULeuven / problog
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
aproblog dtproblog lfi-problog probabilistic probabilistic-inference probabilistic-logic-programming probabilistic-programming problog prolog
Language:Python 297
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.
prolog
Language:Prolog 284
tomgrek / zincbase
A batteries-included kit for knowledge graphs
graph-neural-networks prolog knowledge-graph knowledge-base neural-network
Language:Python 282
SuperDisk / tar.pl
tar creator+extractor in ~100 lines of prolog
logic-programming prolog tar unix
Language:Prolog 256
c-cube / datalog
An in-memory datalog implementation for OCaml.
datalog prolog ocaml logic-programming memoization
Language:Prolog 254
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.
prolog compiler programming-language logic interpreter bytecode virtual-machine clp constraints prolog-implementation prolog-interpreter prolog-compiler iso-prolog-standard ciao-prolog prolog-programming-language logic-programming
Language:Prolog 245
trealla-prolog / trealla
A compact, efficient Prolog interpreter written in plain-old C.
prolog prolog-interpreter c iso-prolog-standard prolog-implementation prolog-programming-language
Language:C 233
toblotron / praxis-ide
An online IDE for visual programming in Prolog
low-code online-idecode-editor prolog prolog-programming-language visual-programming-editor
Language:JavaScript 229
mcsoto / cosmos
A new logic programming language.
interpreter prolog cosmos language functors logic-programming composite-types cosmos-language
Language:C++ 176
triska / clpz
Constraint Logic Programming over Integers
clp constraints integer-arithmetic prolog sicstus-prolog constraint-programming
Language:Prolog 174
complexdb / zincbase
A state of the art knowledge base
knowledge-base knowledge-graph graph-embedding prolog
Language:Python 170
ztangent / Julog.jl
A Julia package for Prolog-style logic programming.
julia prolog first-order-logic logic logic-programming fol
Language:Julia 168
triska / clpfd
Constraint Logic Programming over Finite Domains
constraint-programming integer-arithmetic clp prolog constraints teaching
Language:Prolog 161
gooofy / zamia-ai
Free and open source A.I. system based on Python, TensorFlow and Prolog.
python tensorflow artificial-intelligence natural-language-processing prolog knowledgebase semantic-web
Language:Prolog 153
fnogatz / xsd2json
Translate XML Schema into equivalent JSON Schema
swi-prolog prolog xml-schema json-schema
Language:Prolog 146
triska / lisprolog
Interpreter for a simple Lisp. Written in Prolog.
prolog lisp interpreter
Language:Prolog 141
knowrob / knowrob
A Knowledge Base System for Cognition-enabled Robots
knowledge-base knowledge-graph prolog query-answering reasoning robotics
Language:C++ 126
mumuki / mulang
:bamboo: Universal, Multi Language, Multi Paradigm code analyzer
mumuki code-analysis ast haskell static-analysis inspection languages educational mulang-ast functional object-oriented logic-paradigm prolog java ruby javascript python nodejs browser
Language:Haskell 122
JCumin / Brachylog
A terse declarative logic programming language
swi-prolog language code-golf declarative logic-programming golfing-language prolog
Language:Prolog 117
AmziLS / AmziProlog
Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
prolog ide eclipse-plugin virtual-machine logic-programming
Language:C++ 113
namin / logically
explorations in core.logic
clojure prolog abstract-interpretation metaprogramming logic-programming paper-implementations binders
Language:Clojure 113
kovvalsky / LangPro
Tableau-based Theorem Prover for Natural Logic and Language
nli natural-language-inference semantic-tableau theorem-prover theorem-proving natural-logic natural-tableau lambda-logical-form natural-language-processing formal-semantics prolog
Language:Prolog 109