Awesome Open Source

Programming Languages

Search results for logic programming

logic-programming x

191 search results found

Oso is a batteries-included framework for building authorization in your application.

Logica ⭐ 1,632

Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.

The Power Of Prolog ⭐ 1,130

Introduction to modern Prolog

Logicjs ⭐ 990

Logic programming for JavaScript.

Meander ⭐ 868

Tools for transparent data transformation

Swipl Devel ⭐ 863

SWI-Prolog Main development repository

Streamly ⭐ 839

High performance, concurrent functional programming abstractions

Souffle ⭐ 822

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.

Logic Programming in Python

Atomspace ⭐ 734

The OpenCog (hyper-)graph database and graph rewriting system

Precept ⭐ 639

A declarative programming framework

🤔 A grounder and solver for logic programs.

Tau Prolog ⭐ 502

An open source Prolog interpreter in JavaScript

The only reasonable scripting engine for Go.

Percival ⭐ 497

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

An interpreter for learning and exploring pure λ-calculus

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.

Logtalk3 ⭐ 378

Logtalk - declarative object-oriented logic programming language

Datalog compiler embedded in Rust as a procedural macro

Shen Sources ⭐ 327

The Official Shen Sources

Rust bindings for the Z3 solver.

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

Pyneuralogic ⭐ 261

PyNeuraLogic lets you use Python to create Differentiable Logic Programs

logic programming in Rust

Ejercicios Practicos ⭐ 237

Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.

Datalog ⭐ 230

An in-memory datalog implementation for OCaml.

tar creator+extractor in ~100 lines of prolog

Awesome Agi Cocosci ⭐ 225

An awesome & curated list for Artificial General Intelligence, an emerging inter-discipline field that combines artificial intelligence and computational cognitive sciences.

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

A CUE-based framework for portable, evolvable schema

Logictensornetworks ⭐ 192

Deep Learning and Logical Reasoning from Data and Knowledge

A Compiler for the Popr Language

Eclair Lang ⭐ 178

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

A new logic programming language.

Logician ⭐ 174

Logic programming in Swift

Swi Web Prolog ⭐ 168

A proof-of-concept SWI-Prolog implementation of Web Prolog

Neural Logic Machines ⭐ 157

Implementation for the Neural Logic Machines (NLM).

Julog.jl ⭐ 146

A Julia package for Prolog-style logic programming.

Formulog ⭐ 137

Datalog with support for SMT queries and first-order functional programming

Lisprolog ⭐ 132

Interpreter for a simple Lisp. Written in Prolog.

A fast SAT solver

A fast SAT solver

An extensible, lightweight relational/logic programming DSL written in pure Python

Pyreason ⭐ 114

An explainable inference software supporting annotated, real valued, graph based and temporal logic

Logically ⭐ 106

explorations in core.logic

Natural_logic_interpreter ⭐ 105

Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic

Ukanren Rs ⭐ 99

Rust implementation of µKanren, a featherweight relational programming language.

Brachylog ⭐ 93

A terse declarative logic programming language

Neuralogic ⭐ 84

Deep relational learning through differentiable logic programming.

Neural Symbolic And Probabilistic Logic Papers ⭐ 82

A curated paper list on neural symbolic and probabilistic logic.

Amziprolog ⭐ 81

Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.

A user-friendly web-based tool for Rules as Code.

Hydiomatic ⭐ 79

The Hy Transformer

A Kotlin Multi-Platform ecosystem for symbolic AI

Pytholog ⭐ 76

Python library that enables using prolog syntax and logic programming in python

RTEC is an Event Calculus implementation optimised for stream reasoning

A continuation-based backtracking logic programming monad

Trealla Prolog embedded in Go using WASM

Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close approximation of Prolog, with extended capabilities and some differences.

simplified query engine based on logic programming paradigm

Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.

Lecturas_glc ⭐ 62

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

cplint is a suite of programs for reasoning with probabilistic logic programs

Sicp Logic ⭐ 58

A Clojure implementation of the logic programming language from chapter 4 of SICP

Diff Sat ⭐ 56

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability

A lazy-grounding Answer-Set Programming system

Canrun_rs ⭐ 51

A Rust logic programming library inspired by the *Kanren family of language DSLs.

Tanklogo ⭐ 49

1v1 tank war model built by NetLogo 💥

Mixologician ⭐ 46

optimize your home bar with ✨logic programming✨

A boilerplate/proof-of-concept for a Rete Algorithm implementation in Elixir

Logica De Programacao ⭐ 43

📚 Repositório contendo vários exercícios de lógica de programação em diversas linguagens.

Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation

Higher Order Prolog with Extensional Semantics

Abcdatalog ⭐ 34

Datalog that's as easy as ABC.

Comingle ⭐ 32

CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles

Gominikanren ⭐ 32

a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.

Ruby with Logic, a prolog-style logic programming system for Ruby

Trealla Js ⭐ 29

Trealla Prolog for the web

Pyscheme ⭐ 29

A small demo lambda-language written in Python

Logickit ⭐ 29

A Prolog-like language as a Swift Embedded Domain Specific Language.

WIP stack language that uses regex for control flow

Clpsmt Minikanren ⭐ 28

CLP(SMT) on top of miniKanren

Lps Studio ⭐ 27

🎬 Logic-based interactive storytelling tool for running Logic Production System (LPS) programs using lps.js, Electron and Angular 🎨

hyp: hypergraphs toolkit

Pattern_printing ⭐ 26

This repo is all about pattern printing .

Ilasp Releases ⭐ 26

Slpkanren ⭐ 25

Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren

A general framework for embedding Logic Programming in complex systems

Programming Aptitude Interview Prep ⭐ 25

All programming aptitude questions and answers are sourced from the internet for preparation and to understand the logic-building approach. If you wish to contribute to this repository, you are highly welcome to do so. By doing this, lets try and build a big repository of coding round questions in one place.

Yet Another Efficient Unification Algorithm

Python For Data Professionals ⭐ 23

This course is designed to get a good grip on python programming, logic building, solving algorithm-based questions, data structures, understanding of data analytics, working with pandas, professional practices, and API building.

Web-based IDE for Logic Programming

A port of MiniKanren to F# - embedded, typed logic programming

Modal_logic ⭐ 21

Final Year Masters Project: modal logic solver tableaux

Logician ⭐ 20

🖖 Prolog-style Logic Programming in pure R

Fuzzy Aggregators and Similarity Into a Logic Language

Unification ⭐ 19

Straightforward unification in Python that's extensible via generic functions.

Ask for solutions.

Minimalistic logic programming framework

Related Searches

Prolog Logic Programming (125)

1-100 of 191 search results

Privacy | About | Terms | Follow Us On Twitter

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