-
Updated
Feb 13, 2021 - HTML
#
logic-programming
Here are 497 public repositories matching this topic...
Introduction to modern Prolog
Oso is an open source policy engine for authorization that’s embedded in your application
-
Updated
Feb 13, 2021 - Rust
A declarative programming framework
rules
clojure
clojurescript
functional-reactive-programming
logic-programming
functional-relational-programming
declarative-programming
-
Updated
Dec 11, 2020 - Clojure
Tools for transparent data transformation
-
Updated
Feb 15, 2021 - Clojure
linas
commented
Aug 8, 2020
Per discussion in #2743 this class is mis-named.
Also, rename LinkStreamValue to just plain LinkStream.
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
-
Updated
Feb 14, 2021 - C++
An interpreter for learning and exploring pure λ-calculus
language
programming-language
lambda
interpreter
functional-programming
lambda-calculus
church
church-encoding
logic-programming
numeral-systems
computability-theory
computability
-
Updated
Jun 30, 2020 - Haskell
An open source Prolog interpreter in JavaScript
javascript
prolog
prolog-implementation
prolog-interpreter
logic-programming
prolog-programming-language
tau-prolog
iso-prolog-standard
-
Updated
Feb 10, 2021 - JavaScript
fpopineau
commented
Jul 29, 2020
Hi there,
Thanks for this amazing module.
I think there is a problem with the way terms are printed.
I run some Prolog code from Python, querying Prolog with:
H = pyswip.Variable()
induce = pyswip.Functor('induce', 1)
q = Query(induce(H))
q.nextSolution()
print(H.value)
I get a result like this for H:
[Functor(319757,2,
[Functor(9048461,3,_10560234,_10560236,_1056023
A reference library for constraint-solving with propagators and CDCL.
-
Updated
Dec 22, 2020 - Haskell
The Official Shen Sources
-
Updated
Feb 23, 2020 - Shen
An in-memory datalog implementation for OCaml.
-
Updated
Mar 13, 2019 - Prolog
Logtalk - declarative object-oriented logic programming language
-
Updated
Feb 15, 2021 - Prolog
Implementation for the Neural Logic Machines (NLM).
-
Updated
May 13, 2019 - Python
Logic programming in Swift
-
Updated
May 17, 2020 - Swift
A Compiler for the Popr Language
language
dependent-types
functional
compiler
concatenative
verilog
logic-programming
non-deterministic
partial-evaluators
supercompiler
linear-logic
popr
popr-compiler
high-level-synthesis
-
Updated
Jan 7, 2021 - C
Datalog compiler in Rust as a procedural macro
-
Updated
Jan 19, 2021 - Rust
A new logic programming language.
-
Updated
Feb 15, 2021 - C++
A fast SAT solver
testing
resolution
verification
artificial-intelligence
fuzzing
concurrent
logic-programming
dependencies
boolean-formulas
sat-solver
logic-circuit
circuit-sat
-
Updated
Jan 31, 2019 - Go
Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
natural-language
logical-knowledge-representation
logical-knowledge-inference
logic-programming
logic-design
-
Updated
Jun 6, 2018 - Python
A terse declarative logic programming language
-
Updated
Jul 28, 2020 - Prolog
explorations in core.logic
clojure
metaprogramming
prolog
logic-programming
abstract-interpretation
paper-implementations
binders
-
Updated
Aug 31, 2019 - Clojure
Rust bindings for the Z3 solver.
-
Updated
Feb 12, 2021 - Rust
simplified query engine based on logic programming paradigm
-
Updated
Feb 21, 2019 - Erlang
Deep Learning and Logical Reasoning from Data and Knowledge
-
Updated
Jan 25, 2021 - Jupyter Notebook
Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
-
Updated
Feb 11, 2021 - Python
The Hy Transformer
-
Updated
May 7, 2019 - Hy
A Clojure implementation of the logic programming language from chapter 4 of SICP
-
Updated
Sep 12, 2019 - Clojure
Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
-
Updated
Sep 6, 2018 - Java
Improve this page
Add a description, image, and links to the logic-programming topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the logic-programming topic, visit your repo's landing page and select "manage topics."
and
or,
@harendra-kumar Thoughts?