-
Updated
Sep 10, 2020 - HTML
#
logic-programming
Here are 441 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 9, 2020 - Clojure
Tools for transparent data transformation
-
Updated
Aug 31, 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
Sep 17, 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
Sep 6, 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
oso is an open source policy engine for authorization that’s embedded in your application
-
Updated
Sep 17, 2020 - Rust
Logtalk - declarative object-oriented logic programming language
-
Updated
Sep 15, 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
Sep 15, 2020 - 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
Datalog compiler in Rust as a procedural macro
-
Updated
Sep 14, 2020 - Rust
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
Sep 14, 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
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
encodeUtf8Unsafeand use the following routines on the input stream before usingencodeUtf8Unsafe:replaceInvalidto replace invalid chars in the input streamdropInvalidto drop in