Topic: logic-programming Goto Github

👇 Here are 1150 public repositories matching this topic...

alexanyernas / ejercicios-practicos
logic-programming,Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
User: alexanyernas
Home Page: https://paypal.me/alexanyernas
logic-programming logic practice exercises

amzils / amziprolog
logic-programming,Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
Organization: amzils
prolog ide eclipse-plugin virtual-machine logic-programming

c-cube / datalog
logic-programming,An in-memory datalog implementation for OCaml.
User: c-cube
Home Page: https://c-cube.github.io/datalog
datalog prolog ocaml logic-programming memoization

ciao-lang / ciao
logic-programming,Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Organization: ciao-lang
Home Page: https://ciao-lang.org
prolog compiler programming-language logic interpreter bytecode virtual-machine clp constraints prolog-implementation

composewell / streamly
logic-programming,High performance, concurrent functional programming abstractions
Organization: composewell
Home Page: https://streamly.composewell.com
concurrency streaming reactive-programming frp haskell non-determinism logic-programming stream-fusion modular arrays

conarrative / precept
logic-programming,A declarative programming framework
Organization: conarrative
rules clojure clojurescript functional-relational-programming declarative-programming functional-reactive-programming logic-programming

ekzhang / crepe
logic-programming,Datalog compiler embedded in Rust as a procedural macro
User: ekzhang
datalog rust souffle static-analysis logic-programming translator

ekzhang / percival
logic-programming,📝 Web-based, reactive Datalog notebooks for data analysis and visualization
User: ekzhang
Home Page: https://percival.ink
data-visualization datalog logic-programming query-language dsl reactive visualization charts notebook

ekzhang / ukanren-rs
logic-programming,Rust implementation of µKanren, a featherweight relational programming language.
User: ekzhang
Home Page: https://docs.rs/ukanren
microkanren minikanren rust logic-programming functional-programming language prolog

evgskv / logica
logic-programming,Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
User: evgskv
Home Page: https://logica.dev
datalog sql bigquery language prolog-implementation prolog logica postgresql sqlite trino

flhonker / awesome-neural-logic
logic-programming,Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
User: flhonker
neural-network logic-programming inductive-logic-programming logic markov first-order-logic causal causal-inference causality

fogfish / datalog
logic-programming,simplified query engine based on logic programming paradigm
User: fogfish
datalog logic-programming knowledge erlang semantic-web

go-air / gini
logic-programming,A fast SAT solver
Organization: go-air
sat-solver concurrent logic-programming logic-circuit resolution boolean-formulas artificial-intelligence verification testing fuzzing

google / neural-logic-machines
logic-programming,Implementation for the Neural Logic Machines (NLM).
Organization: google
Home Page: https://sites.google.com/view/neural-logic-machines
neuro-symbolic-learning logic-programming reinforcement-learning

grafana / thema
logic-programming,A CUE-based framework for portable, evolvable schema
Organization: grafana
openapi openapi3 cue cuelang grafana schema versioning packaging logic-programming config

hackerfoo / poprc
logic-programming,A Compiler for the Popr Language
User: hackerfoo
Home Page: https://popr.dev
language popr popr-compiler compiler concatenative functional logic-programming non-deterministic partial-evaluators dependent-types

harvardpl / formulog
logic-programming,Datalog with support for SMT queries and first-order functional programming
Organization: harvardpl
Home Page: https://harvardpl.github.io/formulog/
datalog logic-programming smt static-analysis symbolic-execution

i-am-tom / holmes
logic-programming,A reference library for constraint-solving with propagators and CDCL.
User: i-am-tom
Home Page: https://hackage.haskell.org/package/holmes
propagation constraint-solver backtracking logic-programming

ichiban / prolog
logic-programming,The only reasonable scripting engine for Go.
User: ichiban
interpreter prolog golang go logic-programming

jcumin / brachylog
logic-programming,A terse declarative logic programming language
User: jcumin
swi-prolog language code-golf declarative logic-programming golfing-language prolog

lab-v2 / pyreason
logic-programming,An explainable inference software supporting annotated, real valued, graph based and temporal logic
Organization: lab-v2
Home Page: https://neurosymbolic.asu.edu/pyreason/
logic logic-programming machine-learning neurosymbolic python temporal-logic

lexpedite / blawx
logic-programming,A user-friendly web-based tool for Rules as Code.
Organization: lexpedite
rules-as-code logic-programming drag-and-drop blockly scasp

logictensornetworks / logictensornetworks
logic-programming,Deep Learning and Logical Reasoning from Data and Knowledge
Organization: logictensornetworks
machinelearning tensorflow logic-programming fuzzy-logic

logtalkdotorg / logtalk3
logic-programming,Logtalk - declarative object-oriented logic programming language
Organization: logtalkdotorg
Home Page: https://logtalk.org
logtalk logic-programming prolog oop declarative-language declarative-programming

luc-tielen / eclair-lang
logic-programming,A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
User: luc-tielen
compiler datalog haskell logic-programming llvm

lukaszahradnik / pyneuralogic
logic-programming,PyNeuraLogic lets you use Python to create Differentiable Logic Programs
User: lukaszahradnik
Home Page: https://pyneuralogic.readthedocs.io/
machine-learning deep-learning graph-neural-networks relational-learning python geometric-deep-learning pytorch logic-programming differentiable-programming

mcsoto / cosmos
logic-programming,A new logic programming language.
User: mcsoto
interpreter prolog cosmos language functors logic-programming composite-types cosmos-language

mdiep / logician
logic-programming,Logic programming in Swift
User: mdiep
swift kanren logic-programming solver constraints

mnoorfawi / pytholog
logic-programming,Python library that enables using prolog syntax and logic programming in python
User: mnoorfawi
symbolic-artificial-intelligence logic-programming neuro-symbolic-learning python prolog prolog-syntax backtracking

namin / logically
logic-programming,explorations in core.logic
User: namin
clojure prolog abstract-interpretation metaprogramming logic-programming paper-implementations binders

noprompt / meander
logic-programming,Tools for transparent data transformation
User: noprompt
term-rewriting logic-programming unification pattern-matching substitution program-transformation

nucleoidai / nucleoid
logic-programming,Reasoning Engine for Neuro-Symbolic AI
Organization: nucleoidai
Home Page: https://nucleoid.ai
node javascript neuro-symbolic-ai neuro-symbolic reasoning semantic-reasoning symbolic symbolic-ai reasoning-engine semantic-reasoner

opencog / atomspace
logic-programming,The OpenCog (hyper-)graph database and graph rewriting system
Organization: opencog
Home Page: https://wiki.opencog.org/w/AtomSpace
graph-database knowledge-representation query-engine logic-programming knowledge-graph knowledge-base query-language relational-database relational-algebra rewrite-system

osohq / oso
logic-programming,Oso is a batteries-included framework for building authorization in your application.
Organization: osohq
Home Page: https://docs.osohq.com
authorization logic-programming rust python ruby java nodejs access-control go rbac

parhamp / natural_logic_interpreter
logic-programming,Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
User: parhamp
logic-programming natural-language logical-knowledge-inference logical-knowledge-representation logic-design

potassco / clingo
logic-programming,🤔 A grounder and solver for logic programs.
Organization: potassco
Home Page: https://potassco.org/clingo
answer-set-programming declarative-programming logic-programming

prove-rs / z3.rs
logic-programming,Rust bindings for the Z3 solver.
Organization: prove-rs
logic-programming smt smt-solver rust-bindings rust ffi-bindings

pythological / kanren
logic-programming,An extensible, lightweight relational/logic programming DSL written in pure Python
Organization: pythological
relational-programming minikanren logic-programming symbolic-computation constraint-logic-programming clp

s-arash / ascent
logic-programming,logic programming in Rust
User: s-arash
rust datalog logic-programming lattice declarative-language

shen-language / shen-sources
logic-programming,Shen language kernel sources for porters
Organization: shen-language
programming-language shen lisp prolog functional-programming logic-programming static-typing

shi-yu-zhe / awesome-agi-cocosci
logic-programming,An awesome & curated list for Artificial General Intelligence, an emerging inter-discipline field that combines artificial intelligence and computational cognitive sciences.
User: shi-yu-zhe
awesome artificial-general-intelligence computational-cognitive-science abduction bayesian pragmatics theory-of-mind language-of-thought logic-programming developmental-psychology

slovnicki / plam
logic-programming,An interpreter for learning and exploring pure λ-calculus
User: slovnicki
lambda-calculus programming-language computability-theory numeral-systems logic-programming church church-encoding interpreter language lambda

souffle-lang / souffle
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.
Organization: souffle-lang
Home Page: http://souffle-lang.github.io/
datalog static-code-analysis souffle translator logic-programming

superdisk / tar.pl
logic-programming,tar creator+extractor in ~100 lines of prolog
User: superdisk
logic-programming prolog tar unix

swi-prolog / swipl-devel
logic-programming,SWI-Prolog Main development repository
Organization: swi-prolog
Home Page: http://www.swi-prolog.org
swi-prolog prolog logic-programming

tau-prolog / tau-prolog
logic-programming,An open source Prolog interpreter in JavaScript
Organization: tau-prolog
Home Page: http://tau-prolog.org
tau-prolog prolog-interpreter iso-prolog-standard javascript prolog prolog-programming-language prolog-implementation logic-programming

thuwzy / neural-symbolic-and-probabilistic-logic-papers
logic-programming,A curated paper list on neural symbolic and probabilistic logic.
User: thuwzy
deep-logic neurosymbolic neural-symbolic neural-logic probabilistic-logic probability neural-module-networks logic-programming

triska / the-power-of-prolog
logic-programming,Introduction to modern Prolog
User: triska
Home Page: https://www.metalevel.at/prolog
prolog book logic-programming teaching-materials constraints

yuce / pyswip
logic-programming,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.
User: yuce
python prolog swi-prolog artificial-intelligence expert-systems natural-language-processing robotics logic-programming

ztangent / julog.jl
logic-programming,A Julia package for Prolog-style logic programming.
User: ztangent
first-order-logic fol julia logic logic-programming prolog