prolog

There are 45 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 2937
mthom / scryer-prolog
A modern Prolog implementation written mostly in Rust.
prolog prolog-implementation prolog-interpreter rust
Language:Rust 1434
logica
EvgSkv / logica
Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.
bigquery datalog language logic-programming logica postgresql presto prolog prolog-implementation sql sqlite trino
Language:Jupyter Notebook 1425
triska / the-power-of-prolog
Introduction to modern Prolog
prolog book logic-programming teaching-materials constraints
Language:HTML 995
SWI-Prolog / swipl-devel
Main development repository
swi-prolog prolog
Language:C 651
Anniepoo / prolog-examples
Some simple examples for new Prolog programmers
prolog family-tree
Language:Prolog 478
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 442
klaussinani / awesome-prolog
Curated list of Prolog packages and resources
awesome prolog list logic programming
411
ichiban / prolog
The only reasonable scripting engine for Go.
go golang interpreter logic-programming prolog
Language:Go 365
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 352
KongFuOfArchitect
xiaomiwujiecao / KongFuOfArchitect
(🆕更新中！)《架构师的功夫》教程合集、文章合集包含范式编程、微服务、必备算法、安全攻防、汇编、爬虫、逆向、渗透测试...
architect architecture-guidelines java javascript nodejs perl golang go python ruby erlang rust c csharp object-c scala swift c-sharp prolog lisp
Language:Java 334
logtalk3
LogtalkDotOrg / logtalk3
Logtalk - declarative object-oriented logic programming language
logtalk logic-programming prolog oop declarative-language declarative-programming
Language:Prolog 296
hakank / hakank
My public programs and models - mostly combinatorial problems and puzzles
constraint-programming constraint-satisfaction minizinc picat z3py gecode essence jacop ampl comet jgap frink prolog answer-set-programming choco eclipse-clp numberjack poplog sicstus-prolog setl
Language:JavaScript 290
Shen-Language / shen-sources
The Official Shen Sources
programming-language shen lisp prolog functional-programming logic-programming static-typing
Language:Shen 285
tomgrek / zincbase
A batteries-included kit for knowledge graphs
graph-neural-networks prolog knowledge-graph knowledge-base neural-network
Language:Python 264
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 247
c-cube / datalog
An in-memory datalog implementation for OCaml.
datalog prolog ocaml logic-programming memoization
Language:Prolog 230
ML-KULeuven / problog
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
problog prolog aproblog dtproblog probabilistic probabilistic-inference probabilistic-programming probabilistic-logic-programming lfi-problog
Language:Python 195
mcsoto / cosmos
A new logic programming language.
interpreter prolog cosmos language functors logic-programming composite-types cosmos-language
Language:C++ 172
complexdb / zincbase
A state of the art knowledge base
knowledge-base knowledge-graph graph-embedding prolog
Language:Python 156
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 145
triska / clpfd
Constraint Logic Programming over Finite Domains
constraint-programming integer-arithmetic clp prolog constraints teaching
Language:Prolog 135
ztangent / Julog.jl
A Julia package for Prolog-style logic programming.
julia prolog first-order-logic logic logic-programming fol
Language:Julia 135
fnogatz / xsd2json
Translate XML Schema into equivalent JSON Schema
swi-prolog prolog xml-schema json-schema
Language:Prolog 134
triska / clpz
Constraint Logic Programming over Integers
clp constraints integer-arithmetic prolog sicstus-prolog constraint-programming
Language:Prolog 130
triska / lisprolog
Interpreter for a simple Lisp. Written in Prolog.
prolog lisp interpreter
Language:Prolog 126
ciao-lang / ciao
Ciao is a general purpose, multi-paradigm programming language in the Prolog family
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 125
JCumin / Brachylog
A terse declarative logic programming language
swi-prolog language code-golf declarative logic-programming golfing-language prolog
Language:Prolog 108
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 108
namin / logically
explorations in core.logic
clojure prolog abstract-interpretation metaprogramming logic-programming paper-implementations binders
Language:Clojure 108
ekzhang / ukanren-rs
Rust implementation of µKanren, a featherweight relational programming language.
microkanren minikanren rust logic-programming functional-programming language prolog
Language:Rust 97
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 91
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++ 87
evoldoers / biomake
GNU-Make-like utility for managing builds and complex workflows
workflows makefiles gnu-make swi-prolog prolog bioinformatics
Language:Prolog 87
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.
common-lisp prolog-programming-language object-oriented-programming oop swi-prolog-library swi-prolog yap-prolog greenspun lisp prolog lisp-compiler lisp-interpreter prolog-programmers swi
Language:Common Lisp 87
sebdumancic / pylo2
Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
prolog logic-programming artificial-intelligence
Language:Python 81

ezoic increase your site revenue

Related Topics

compiler programming-language language calendar interpreter