Awesome Open Source

Programming Languages

Search results for haskell logic programming

logic-programming x

15 search results found

Streamly ⭐ 839

High performance, concurrent functional programming abstractions

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

Eclair Lang ⭐ 178

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

A continuation-based backtracking logic programming monad

Lecturas_glc ⭐ 62

Readings on computational logic, interactive theorem proving and functional programming.

Higher Order Prolog with Extensional Semantics

Ask for solutions.

Curry Language Server ⭐ 18

IDE support for the functional logic language Curry

A small relational (logic) programming language.

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

Haskell Picosat ⭐ 13

Haskell bindings for PicoSAT solver

Montague ⭐ 11

A library for non-deterministically parsing natural language expressions into a structured form.

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

Psc Query ⭐ 6

PureScript source code knowledge extraction and querying support.

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

Related Searches

Haskell Ghc (1,289)

Types Haskell (1,028)

Language Haskell (853)

Haskell Functional Programming (811)

Haskell Monad (681)

Haskell Hackage (574)

Haskell Stack (554)

Haskell Programming (549)

Haskell Bindings (444)

Javascript Haskell (398)

1-15 of 15 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.