logic-programming

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.

translator static-code-analysis datalog logic-programming souffle

Updated Dec 9, 2020
C++

slovnicki / pLam

Star

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

tau-prolog / tau-prolog

Star

An open source Prolog interpreter in JavaScript

javascript prolog prolog-implementation prolog-interpreter logic-programming prolog-programming-language tau-prolog iso-prolog-standard

Updated Oct 14, 2020
JavaScript

yuce / pyswip

Star

Open

Problem while printing result of query

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

good first issue need help

i-am-tom / holmes

Star

A reference library for constraint-solving with propagators and CDCL.

backtracking logic-programming constraint-solver propagation

Updated Apr 11, 2020
Haskell

Shen-Language / shen-sources

Star

The Official Shen Sources

programming-language lisp functional-programming prolog shen logic-programming static-typing

Updated Feb 23, 2020
Shen

c-cube / datalog

Star

An in-memory datalog implementation for OCaml.

memoization ocaml prolog datalog logic-programming

Updated Mar 13, 2019
Prolog

LogtalkDotOrg / logtalk3

Star

Logtalk - declarative object-oriented logic programming language

oop prolog logic-programming declarative-language logtalk declarative-programming

Updated Dec 9, 2020
Prolog

google / neural-logic-machines

Star

Implementation for the Neural Logic Machines (NLM).

reinforcement-learning logic-programming neuro-symbolic-learning

Updated May 13, 2019
Python

mdiep / Logician

Star

Logic programming in Swift

swift solver constraints logic-programming kanren

Updated May 17, 2020
Swift

HackerFoo / poprc

Sponsor Star

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 Oct 11, 2020
C

ekzhang / crepe

Star

Datalog compiler in Rust as a procedural macro

rust translator static-analysis datalog logic-programming souffle

Updated Nov 21, 2020
Rust

irifrance / gini

Star

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

ParhamP / Natural_Logic_Interpreter

Star

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

namin / logically

Star

explorations in core.logic

clojure metaprogramming prolog logic-programming abstract-interpretation paper-implementations binders

Updated Aug 31, 2019
Clojure

JCumin / Brachylog

Star

A terse declarative logic programming language

language declarative prolog code-golf logic-programming swi-prolog golfing-language

Updated Jul 28, 2020
Prolog

fogfish / datalog

Star

simplified query engine based on logic programming paradigm

erlang knowledge semantic-web datalog logic-programming

Updated Feb 21, 2019
Erlang

prove-rs / z3.rs

Star

Rust bindings for the Z3 solver.

rust rust-bindings logic-programming ffi-bindings smt smt-solver

Updated Dec 7, 2020
Rust

hylang / hydiomatic

Star

The Hy Transformer

python static-code-analysis minikanren logic-programming hy symbolic-computation

Updated May 7, 2019
Hy

sebdumancic / pylo2

Star

Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.

prolog artificial-intelligence logic-programming

Updated Dec 2, 2020
Python

jdormit / sicp-logic

Star

A Clojure implementation of the logic programming language from chapter 4 of SICP

clojure sicp datalog logic-programming

Updated Sep 12, 2019
Clojure

logictensornetworks / logictensornetworks

Star

Deep Learning and Logical Reasoning from Data and Knowledge

tensorflow machinelearning logic-programming fuzzy-logic

Updated Nov 15, 2020
Python

huangyz0918 / TankLogo

Star

Open

Play a game, build a better tank war strategy and win!

huangyz0918 commented Oct 19, 2018

Join this game, fork and submit your solution (PR) which can beat my tank.
The winner can leave your Github avatar and Github id in this repo.

You can get start and play with the demo.

good first issue hacktoberfest help wanted

ztangent / Julog.jl

Star

A Julia package for Prolog-style logic programming.

julia logic prolog first-order-logic logic-programming fol

Updated Nov 7, 2020
Julia

Improve this page

Add a description, image, and links to the logic-programming topic page so that developers can more easily learn about it.

Curate this topic

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."

Learn more

logic-programming

Here are 473 public repositories matching this topic...

triska / the-power-of-prolog

CoNarrative / precept

noprompt / meander

composewell / streamly

opencog / atomspace

osohq / oso

souffle-lang / souffle

slovnicki / pLam

tau-prolog / tau-prolog

yuce / pyswip

i-am-tom / holmes

Shen-Language / shen-sources

c-cube / datalog

LogtalkDotOrg / logtalk3

google / neural-logic-machines

mdiep / Logician

HackerFoo / poprc

ekzhang / crepe

irifrance / gini

ParhamP / Natural_Logic_Interpreter

namin / logically

JCumin / Brachylog

fogfish / datalog

prove-rs / z3.rs

hylang / hydiomatic

sebdumancic / pylo2

jdormit / sicp-logic

logictensornetworks / logictensornetworks

huangyz0918 / TankLogo

ztangent / Julog.jl

Improve this page

Add this topic to your repo

Essential cookies

Always active

Analytics cookies