GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
logic-programmingHere are 1,858 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
language bigquery sql presto sqlite postgresql prolog prolog-implementation datalog logic-programming logica trino
The Power of Prolog: Introduction to modern Prolog
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.
The OpenCog (hyper-)graph database and graph rewriting system
knowledge-graph graph-database query-engine logic-programming knowledge-base rewrite-system relational-database query-language relational-algebra knowledge-representation rewriting graph-rewriting atomspace
Tools for transparent data transformation
High performance, streaming and concurrent functional programming in Haskell
unicode haskell streaming modular async filesystem network concurrency reactive-programming loops dataflow arrays frp logic-programming pipes parsers non-determinism stream-fusion folds unfolds
🦉 A grounder and solver for logic programs.
World Model 🌱🐋🌍
programming-language knowledge-graph logic-programming knowledge-base reasoning declarative-programming world-models neuro-symbolic neuro-symbolic-ai world-model neurosymbolic-ai reasoning-engine symbolic-world-models
The only reasonable scripting engine for Go.
A declarative programming framework
rules clojure clojurescript functional-reactive-programming logic-programming functional-relational-programming declarative-programming
An open source Prolog interpreter in JavaScript
javascript prolog prolog-implementation prolog-interpreter logic-programming prolog-programming-language tau-prolog iso-prolog-standard
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
visualization charts reactive notebook dsl data-visualization datalog logic-programming query-language
Logic programming in Rust
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
python natural-language-processing robotics prolog artificial-intelligence logic-programming swi-prolog expert-systems
Rust bindings for the Z3 solver.
Datalog compiler embedded in Rust as a procedural macro
Logtalk - declarative object-oriented logic programming language
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
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
Add this topic to your repoTo associate your repository with the logic-programming topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |