-
Updated
Aug 15, 2020 - HTML
#
logic-programming
Here are 435 public repositories matching this topic...
Introduction to modern Prolog
A declarative programming framework
rules
clojure
clojurescript
functional-reactive-programming
logic-programming
functional-relational-programming
declarative-programming
-
Updated
Sep 12, 2019 - Clojure
Tools for transparent data transformation
-
Updated
Aug 26, 2020 - Clojure
linas
commented
Aug 8, 2020
Per discussion in #2743 this class is mis-named.
Also, rename LinkStreamValue
to just plain LinkStream
.
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
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
Aug 31, 2020 - C++
An open source Prolog interpreter in JavaScript
javascript
prolog
prolog-implementation
prolog-interpreter
logic-programming
prolog-programming-language
tau-prolog
iso-prolog-standard
-
Updated
Aug 31, 2020 - JavaScript
A reference library for constraint-solving with propagators and CDCL.
-
Updated
Apr 11, 2020 - Haskell
The Official Shen Sources
-
Updated
Feb 23, 2020 - Shen
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
An in-memory datalog implementation for OCaml.
-
Updated
Mar 13, 2019 - Prolog
Logtalk - declarative object-oriented logic programming language
-
Updated
Aug 30, 2020 - Prolog
Logic programming in Swift
-
Updated
May 17, 2020 - Swift
Implementation for the Neural Logic Machines (NLM).
-
Updated
May 13, 2019 - Python
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
Aug 30, 2020 - C
oso is an open source policy engine for authorization that’s embedded in your application
-
Updated
Aug 29, 2020 - Rust
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
simplified query engine based on logic programming paradigm
-
Updated
Feb 21, 2019 - Erlang
Rust bindings for the Z3 solver.
-
Updated
Aug 30, 2020 - Rust
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
Deep Learning and Logical Reasoning from Data and Knowledge
-
Updated
Feb 13, 2020 - Python
huangyz0918
commented
Oct 19, 2018
Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
-
Updated
Sep 6, 2018 - Java
Higher Order Prolog with Extensional Semantics
-
Updated
Jul 24, 2020 - Haskell
cplint is a suite of programs for reasoning with probabilistic logic programs
machine-learning
prolog
probabilistic-programming
logic-programming
inductive-logic-programming
probabilistic-logic-programming
-
Updated
Aug 18, 2020 - Prolog
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."
Both of these routines do the same thing, the only difference is how they handle invalid characters in the stream. I propose factoring out the encoding without any invalid char handling in an API called
encodeUtf8Unsafe
and use the following routines on the input stream before usingencodeUtf8Unsafe
:replaceInvalid
to replace invalid chars in the input streamdropInvalid
to drop in