logic-programming | Topic | Ecosyste.ms: Repos

Topic: "logic-programming"

ilaspltd/ILASP-releases

Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 26 - Forks: 0

Lisp-Life/Mathematical-Logic

数理逻辑

Size: 5.64 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 25 - Forks: 1

rntz/minikanren-datalog

Datalog implemented in minikanren

Language: Scheme - Size: 68.4 KB - Last synced at: 4 days ago - Pushed at: almost 8 years ago - Stars: 24 - Forks: 1

kamel-usp/dpasp

Differentiable probabilistic answer set programming

Language: C - Size: 810 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 23 - Forks: 4

Jaraxxus-Me/LogiCity

LogiCity@NeurIPS'24, D&B track. A multi-agent inductive learning environment for "abstractions".

Language: Python - Size: 219 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 23 - Forks: 3

jariazavalverde/fasill

Fuzzy Aggregators and Similarity Into a Logic Language

Language: Prolog - Size: 1.07 MB - Last synced at: 29 days ago - Pushed at: 10 months ago - Stars: 23 - Forks: 2

namin/clpset-miniKanren

CLP(Set) in miniKanren

Language: Scheme - Size: 54.7 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 23 - Forks: 4

StrykerKKD/Logical

Minimalistic logic programming framework

Language: OCaml - Size: 157 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 23 - Forks: 0

microsoft/service-fabric-healer

Service Fabric Auto-Repair Service with Declarative Logic for Repair Policy Specification. Targets both Windows and Linux SF clusters.

Language: C# - Size: 39.5 MB - Last synced at: 2 days ago - Pushed at: 4 days ago - Stars: 22 - Forks: 6

DeMaCS-UNICAL/LoIDE

Web-based IDE for Logic Programming

Language: JavaScript - Size: 14.2 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 22 - Forks: 5

MaximovInk/NodeLogic

Simulator of logic with rgb unity 2018.2.14f1

Language: C# - Size: 139 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 22 - Forks: 2

CompSciCabal/reading-material

Reading schedule and our library of pdfs

Size: 23.6 MB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 22 - Forks: 1

maciej-nowak/DP-Film-Expert-System

Film expert system based on logic rules. Created at the Univeristy as the project within Declarative Programming classes in 2015. The purpose of this project was to creat expert system in Prolog and improve understanding of declarative programming paradigm.

Language: Prolog - Size: 18.6 KB - Last synced at: 11 months ago - Pushed at: over 7 years ago - Stars: 22 - Forks: 7

fatho/logru

Log(ic) programming in Ru(st).

Language: Rust - Size: 256 KB - Last synced at: 3 days ago - Pushed at: 4 months ago - Stars: 21 - Forks: 4

marcincuber/modal_logic

Final Year Masters Project: modal logic solver tableaux

Language: Python - Size: 819 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 21 - Forks: 1

sarthak268/Embedded_Logic_and_Design

This repository contains all labs done as a part of the Embedded Logic and Design course.

Size: 14.7 MB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 21 - Forks: 2

arcadio/data-logic

Expert system with deductive querying and verification of constraints expressed in natural language

Language: Prolog - Size: 22.5 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 20 - Forks: 6

AndreaInfUFSM/elc117-2024b

ELC117 - Paradigmas de Programação - UFSM - 2024b

Language: Java - Size: 37 MB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 20 - Forks: 6

gooofy/zamia-prolog

Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.

Language: Python - Size: 153 KB - Last synced at: 13 days ago - Pushed at: over 7 years ago - Stars: 20 - Forks: 2

joshuaguerin/Answer-Set-Programming-Algorithms

Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.

Language: Python - Size: 12.6 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 19 - Forks: 1

Periklismant/oPIEC

oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus

Language: Prolog - Size: 1.9 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 19 - Forks: 2

thautwarm/RSolve

Ask for solutions.

Language: Haskell - Size: 2.8 MB - Last synced at: 22 days ago - Pushed at: almost 6 years ago - Stars: 19 - Forks: 1

Innocentsax/DSA_IN_JAVA

Data Structure and Algorithm in Java

Language: Java - Size: 994 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 18 - Forks: 3

Dwi-Yantti/Logic-Pro-For-Mac-OS

Logic Pro Crack 11.0 [Intel/Apple] [TNT]

Language: Python - Size: 9.77 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 18 - Forks: 2

DevOgabek/LeetCodePythonSolutions

In this repository, you'll discover organized solutions to a diverse range of LeetCode problems. Each solution, implemented in Python, serves as a reference for those seeking to refine their problem-solving skills or gain insights into different approaches.

Language: Python - Size: 591 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 18 - Forks: 7

xieyuheng/logic-db

Embedding a Prolog-like logic programming language in JavasScript and TypeScript.

Language: TypeScript - Size: 550 KB - Last synced at: 6 days ago - Pushed at: almost 2 years ago - Stars: 18 - Forks: 1

eshelyaron/debug_adapter

Debug Adapter Protocol (DAP) implementation for SWI-Prolog

Language: Prolog - Size: 3.31 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 18 - Forks: 2

nuric/deeplogic

DeepLogic: Towards End-to-End Differentiable Logical Reasoning

Language: Python - Size: 130 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 18 - Forks: 5

acharal/wam

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

Language: Haskell - Size: 60.5 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 18 - Forks: 1

DeMaCS-UNICAL/Angry-HEX

An artificial player for the popular video game Angry Birds

Language: Java - Size: 6.41 MB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 18 - Forks: 6

CapelliC/hitchhicker-prolog

Javascript porting of Paul Tarau latest Prolog Engine architecture

Language: JavaScript - Size: 201 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 18 - Forks: 3

lambduli/minilog

A small logic programming language.

Language: Haskell - Size: 89.8 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 17 - Forks: 1

sdiehl/haskell-picosat

Haskell bindings for PicoSAT solver

Language: C - Size: 87.9 KB - Last synced at: 10 days ago - Pushed at: about 5 years ago - Stars: 17 - Forks: 5

mountain/knowledge

combining wikidata and clojure core.logic

Language: Clojure - Size: 556 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 17 - Forks: 1

timoniq/laurelang

A pure logical, compact language / research

Language: C - Size: 1.24 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 16 - Forks: 0

AppliedLogicSystems/ALSProlog

ALS Prolog Compiler & Development Environment

Language: C - Size: 29.3 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 16 - Forks: 9

pchampio/othello-prolog

:scroll: A fully functional Othello (Reversi) game, with several AIs, made in prolog for swipl.

Language: Prolog - Size: 1.43 MB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 16 - Forks: 6

TSG405/C-for-Everyone-Programming-Fundamentals

This Repo is meant and maintained to help learners complete the course -- "C-for-Everyone-Programming-Fundamentals-by-University-of-California-Santa-Cruz", in COURSERA.

Size: 184 KB - Last synced at: 23 days ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 5

RichardMoot/LinearOne

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

Language: Prolog - Size: 563 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 2

aditeyabaral/DDCO-Lab-UE18CS207

A repository containing the source codes for the Digital Design and Computer Organization Laboratory course (UE18CS2) at PES University.

Language: Verilog - Size: 1.82 MB - Last synced at: 4 months ago - Pushed at: about 5 years ago - Stars: 16 - Forks: 9

logicmoo/CYC_JRTL_with_CommonLisp

Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)

Language: Java - Size: 698 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 15 - Forks: 1

awto/mfjs-logic

Logical programming in JavaScript

Language: JavaScript - Size: 6.84 KB - Last synced at: 13 days ago - Pushed at: about 9 years ago - Stars: 15 - Forks: 1

ostis-ai/scl-machine

Software implementation of logic inference machine

Language: C++ - Size: 7.06 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 14 - Forks: 9

lab-v2/pyreason-gym

An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting

Language: Python - Size: 433 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 2

arasgungore/NandGame

Solutions for The Nand Game, a game that teaches the fundamentals of computing by building a computer from scratch.

Size: 4.85 MB - Last synced at: 29 days ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 1

lambduli/monolog

Small and simple logic programming language inspired by Prolog.

Language: Ruby - Size: 114 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 14 - Forks: 1

Es1chUbJyan9/32bit_Quine-McCluskey_and_Petrick_Method_in_C

32bit Simplifier of Boolean functions

Language: C - Size: 66.4 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 14 - Forks: 3

bramucas/xclingo2

A tool for explainability and debugging in Answer Set Programming.

Language: Python - Size: 226 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 13 - Forks: 5

danyvarghese/PyGol

A novel Inductive Logic Programming(ILP) system based on Meta Inverse Entailment in Python.

Language: C - Size: 6.9 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 13 - Forks: 3

linkml/linkml-datalog

Translates LinkML schemas into Datalog programs and executes them using Souffle, enabling advanced validation and inference over instance data. ALPHA.

Language: Python - Size: 705 KB - Last synced at: 16 days ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 0

amr205/Introduccion-a-la-IA---Libro

Libro gratuito de inteligencia artificial en español, incluye temas como algoritmos genéticos, programación lógica y machine learning.

Language: HTML - Size: 33.3 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 1

alejandroaperez1994g/js-shopping-wizard

This project develops the purchase process form, where each step has its own validation.

Language: JavaScript - Size: 1.54 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 13 - Forks: 1

garciparedes/prolog-examples

Set of awesome Prolog Examples

Language: Prolog - Size: 58.6 KB - Last synced at: 11 days ago - Pushed at: over 7 years ago - Stars: 13 - Forks: 8

Sintrastes/Montague

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

Language: Haskell - Size: 142 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 1

terohuttunen/proto-vulcan

A relational logic programming language embedded in Rust.

Language: Rust - Size: 614 KB - Last synced at: 4 days ago - Pushed at: almost 3 years ago - Stars: 12 - Forks: 1

Ducasse/SOUL

Rescuing the SOUL great logic meta programming language

Language: Smalltalk - Size: 871 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 12 - Forks: 1

evertheylen/logicpy

Prolog Implementation in Python

Language: Python - Size: 46.9 KB - Last synced at: 4 days ago - Pushed at: over 7 years ago - Stars: 12 - Forks: 0

mdiep/Kanren.swift

Logic programming in Swift

Language: Swift - Size: 11.7 KB - Last synced at: 1 day ago - Pushed at: almost 9 years ago - Stars: 12 - Forks: 1

pipe01/LogicScript

A simple DSL for programming logic components.

Language: C# - Size: 430 KB - Last synced at: 2 days ago - Pushed at: about 2 years ago - Stars: 11 - Forks: 3

acorrenson/modulus

A constraint solver built from scratch in OCaml

Language: OCaml - Size: 451 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 11 - Forks: 2

xieyuheng/exo

logic programming in elixir

Language: Elixir - Size: 54.7 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 11 - Forks: 0

venkat-0706/Tic-Tac-Toe-Game

Tic-Tac-Toe is a simple game where two players try to get three marks in a row on a 3x3 grid. The first player to achieve this wins. If no one does, it's a draw.

Language: Jupyter Notebook - Size: 9.77 KB - Last synced at: 3 months ago - Pushed at: 9 months ago - Stars: 10 - Forks: 1

venkat-0706/Rock-Paper-Scissor-game

Rock, Paper, Scissors is a simple game where two players choose one of three options: rock, paper, or scissors. The rules are: rock beats scissors, scissors beats paper, paper beats rock. If both choose the same option, it's a tie.

Language: Jupyter Notebook - Size: 5.86 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 10 - Forks: 2

venkat-0706/Number-Guessing-Game---Python

Python number guessing game: Computer picks a random number, user tries to guess it. Computer gives hints (too high/low). Repeat until correct. Add difficulty levels, limited tries, or scoring for more challenge.

Language: Python - Size: 7.81 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 10 - Forks: 1

NoHomey/logic-programming-2019-2020

Teaching assist materials for Logic programming in winter and summer semesters of 2019-2020

Language: TeX - Size: 1.05 MB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 10 - Forks: 0

MechaRex/logikaldb

Foundational reactive logical database

Language: Kotlin - Size: 246 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 10 - Forks: 1

JakubGrobelny/aurox-lang

Interpreter written for Prolog course.

Language: Prolog - Size: 1.71 MB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 10 - Forks: 1

AndreaInfUFSM/elc117-2022b

ELC117 - Paradigmas de Programação - UFSM - 2022b

Language: Java - Size: 1.41 MB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 15

thiagopbueno/mdp-problog

MDP-ProbLog is a framework to represent and solve (infinite-horizon) MDPs specified by probabilistic logic programming.

Language: Python - Size: 634 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 4

reasoned-ai/norm

Neural Logic Programming Language

Language: Python - Size: 42.8 MB - Last synced at: 7 days ago - Pushed at: almost 3 years ago - Stars: 9 - Forks: 1

kusumotonorio/factlog

subset-Prolog-like DSL running on Factor

Language: Factor - Size: 335 KB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 9 - Forks: 2

remexre/fall

An easily embeddable, futures-friendly logic engine.

Language: Rust - Size: 20.5 KB - Last synced at: 4 days ago - Pushed at: over 6 years ago - Stars: 9 - Forks: 0

epost/psc-query

PureScript source code knowledge extraction and querying support.

Language: Haskell - Size: 7.81 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 9 - Forks: 0

mikolak-net/bomba

A prototype Answer Set Programming Scala DSL.

Language: Scala - Size: 398 KB - Last synced at: 3 months ago - Pushed at: over 9 years ago - Stars: 9 - Forks: 0

namin/GETFOL Fork of getfol/GETFOL

FOL Software Archaeology

Language: Common Lisp - Size: 15.3 MB - Last synced at: 5 days ago - Pushed at: 17 days ago - Stars: 8 - Forks: 1