logic-programming

Star

Here are 41 public repositories matching this topic...

composewell / streamly

Star

High performance, streaming and concurrent functional programming in Haskell

Updated Jul 25, 2026
Haskell

slovnicki / pLam

Sponsor

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 Apr 11, 2021
Haskell

i-am-tom / holmes

Star

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

backtracking logic-programming constraint-solver propagation

Updated Jul 2, 2024
Haskell

luc-tielen / eclair-lang

Sponsor

Star

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

haskell compiler llvm datalog logic-programming

Updated Jan 22, 2024
Haskell

Bodigrim / logict

Star

A continuation-based backtracking logic programming monad

backtracking logic-programming monad-transformers logict

Updated Nov 13, 2024
Haskell

acharal / hopes

Star

Higher Order Prolog with Extensional Semantics

interpreter prolog logic-programming hopes higher-order-logic

Updated Jul 24, 2020
Haskell

chessai / hsdatalog

Star

BDD-based implementation of Datalog

compiler bdd datalog logic-programming relational-databases relational-algebra

Updated Jun 14, 2020
Haskell

fwcd / curry-language-server

Star

IDE support for the functional logic programming language Curry

haskell functional-programming language-server-protocol curry logic-programming

Updated Oct 23, 2025
Haskell

snejugal / typedKanren

Star

A statically typed embedding of miniKanren in Haskell

haskell minikanren logic-programming

Updated Jul 19, 2026
Haskell

acharal / wam

Star

A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.

machine prolog logic-programming wam warren prolog-compiler

Updated Apr 2, 2020
Haskell

thautwarm / RSolve

Star

Ask for solutions.

logic-programming solvers

Updated Aug 5, 2019
Haskell

plilab / fixen

Star

A fixed-point-oriented programming language for Haskell

haskell datalog logic-programming

Updated Aug 25, 2026
Haskell

epost / psc-query

Star

PureScript source code knowledge extraction and querying support.

query purescript datalog knowledgebase logic-programming fact-extractor source-code-analysis

Updated Jan 28, 2018
Haskell

schwering / golog

Star

Plan recognition system based on the situation calculus and action language Golog, written in Haskell

haskell functional-programming logic-programming golog plan-recognition action-language situation-calculus

Updated Jun 22, 2021
Haskell

jariazavalverde / blog

Star

Blog sobre programación declarativa, lógica y funcional

blog haskell functional-programming prolog logic-programming declarative-programming

Updated Apr 5, 2022
Haskell

Kakadu / LogicT-demos

Star

Updated demos for a paper `Backtracking, Interleaving, and Terminating Monad Transformers`

haskell transformer monad logic-programming

Updated Apr 17, 2017
Haskell

KiJeong-Lim / PlanHol

Star

a Programming LANguage with Higher-Order Logic

prolog-interpreter logic-programming

Updated May 3, 2026
Haskell

meditans / unification-sop

Star

Haskell package that implements typed terms with logical variables in a prolog-style

haskell prolog generic-programming logic-programming

Updated Mar 21, 2019
Haskell

eilvelia / hslog

Sponsor

Star

Toy Prolog-like interpreter in Haskell

logic logic-programming

Updated Mar 16, 2019
Haskell

kyagrd / houkanren

Star

Higher-Order twist to MicroKanren

haskell logic-programming kanren

Updated Jan 25, 2021
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.

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