Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

proxy.golang.org "logic-programming" keyword

View the packages on the proxy.golang.org package registry that are tagged with the "logic-programming" keyword.

Top 2.5% on proxy.golang.org
github.com/grafana/thema v0.0.0-20231204151833-93b6494d445e
A CUE-based framework for portable, evolvable schema
75 versions - Latest release: about 2 years ago - 15 dependent packages - 201 dependent repositories - 232 stars on GitHub
Top 5.6% on proxy.golang.org
github.com/composewell/streamly v0.8.3
High performance, concurrent functional programming abstractions
20 versions - Latest release: about 3 years ago - 905 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/trealla-prolog/trealla-go v0.24.7
Trealla Prolog embedded in Go using WASM
232 versions - Latest release: 3 months ago - 65 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/guregu/trealla-go v0.24.7
Trealla Prolog embedded in Go using WASM
232 versions - Latest release: 3 months ago - 65 stars on GitHub
Top 9.6% on proxy.golang.org
github.com/noprompt/meander v0.0.626-epsilon 💰
Tools for transparent data transformation
79 versions - Latest release: over 4 years ago - 956 stars on GitHub
Top 5.7% on proxy.golang.org
github.com/potassco/clingo v5.8.0+incompatible
🦉 A grounder and solver for logic programs.
18 versions - Latest release: 8 months ago - 703 stars on GitHub
Top 5.6% on proxy.golang.org
github.com/ciao-lang/ciao v1.20.0
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed t...
18 versions - Latest release: over 4 years ago - 301 stars on GitHub
Top 7.0% on proxy.golang.org
github.com/kuba--/ut v0.1.0
Package ut implements "Yet Another Efficient Unification Algorithm" by Alin Suciu (https://arxiv....
1 version - Latest release: over 7 years ago - 22 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/conarrative/precept v0.4.0-alpha
A declarative programming framework
2 versions - Latest release: over 8 years ago - 662 stars on GitHub
Top 7.5% on proxy.golang.org
github.com/pythological/kanren v1.0.5 💰
An extensible, lightweight relational/logic programming DSL written in pure Python
10 versions - Latest release: 6 months ago - 227 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/CoNarrative/precept v0.4.0-alpha
A declarative programming framework
2 versions - Latest release: over 8 years ago - 662 stars on GitHub
Top 7.5% on proxy.golang.org
github.com/guregu/pengine v0.2.4 💰
pengines (SWI Prolog) client for Go
8 versions - Latest release: about 3 years ago - 7 stars on GitHub
Top 8.8% on proxy.golang.org
github.com/pythological/unification v0.4.7 💰
Straightforward unification in Python that's extensible via generic functions.
15 versions - Latest release: 4 months ago - 50 stars on GitHub
Top 6.7% on proxy.golang.org
github.com/trealla-prolog/go/trealla
Trealla Prolog embedded in Go using WASM
Latest release: 24 days ago - 79 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/awalterschulze/gominikanren v0.0.0-20230909162505-db99403b7667
Package gominikanren is an implementation of miniKanren in Go.
31 versions - Latest release: over 2 years ago - 41 stars on GitHub
Top 6.7% on proxy.golang.org
github.com/trealla-prolog/go v0.24.7
Package treallago is the parent package for embedding Trealla Prolog. Mostly this is an artifact ...
232 versions - Latest release: 3 months ago - 79 stars on GitHub
Top 5.6% on proxy.golang.org
github.com/friguzzi/cplint v4.5.0+incompatible
cplint is a suite of programs for reasoning with probabilistic logic programs
5 versions - Latest release: about 7 years ago - 77 stars on GitHub
Top 2.7% on proxy.golang.org
github.com/ichiban/prolog v1.2.2
The only reasonable scripting engine for Go.
37 versions - Latest release: about 1 year ago - 5 dependent packages - 6 dependent repositories - 474 stars on GitHub
Top 2.7% on proxy.golang.org
github.com/go-air/gini v1.0.4 💰
Package gini provides a fast SAT solver. Package gini contains both libraries and commands. The...
25 versions - Latest release: over 4 years ago - 19 dependent packages - 85 dependent repositories - 141 stars on GitHub
Top 9.5% on proxy.golang.org
github.com/brunokim/logic-engine v0.0.0-20210528042545-7d3eea67dd35
Engine for logic programming in Go
1 version - Latest release: over 4 years ago - 2 stars on GitHub
Top 5.6% on proxy.golang.org
github.com/luc-tielen/eclair-lang v0.1.0 💰
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
2 versions - Latest release: about 3 years ago - 222 stars on GitHub
Related Keywords
prolog 9 go 7 trealla-prolog 4 wasm 4 unification 3 declarative-programming 3 minikanren 2 haskell 2 rules 2 functional-relational-programming 2 functional-reactive-programming 2 clojurescript 2 clp 2 compiler 2 clojure 2 interpreter 2 prolog-implementation 2 constraint-logic-programming 1 unification-algorithm 1 relational-programming 1 virtual-machine 1 prolog-programming-language 1 prolog-interpreter 1 symbolic-computation 1 pengines 1 llvm 1 datalog 1 warren-abstract-machine 1 parser 1 logic-engine 1 definite-clause-grammar 1 verification 1 testing 1 sat-solver 1 resolution 1 logic-circuit 1 fuzzing 1 dependencies 1 concurrent 1 circuit-sat 1 boolean-formulas 1 artificial-intelligence 1 golang 1 probabilistic-programming 1 probabilistic-logic-programming 1 machine-learning 1 inductive-logic-programming 1 python 1 multiple-dispatch 1 swipl 1 prolog-compiler 1 network 1 modular 1 loops 1 frp 1 folds 1 filesystem 1 dataflow 1 concurrency 1 async 1 arrays 1 versioning 1 schema 1 packaging 1 openapi3 1 openapi 1 grafana 1 cuelang 1 cue 1 config 1 programming-language 1 logic 1 iso-prolog-standard 1 constraints 1 ciao-prolog 1 bytecode 1 answer-set-programming 1 term-rewriting 1 substitution 1 program-transformation 1 pattern-matching 1 unicode 1 unfolds 1 streaming 1 stream-fusion 1 reactive-programming 1 pipes 1 parsers 1 non-determinism 1