GitHub topics: logic-programming
opencog/atomspace
The OpenCog (hyper-)graph database and graph rewriting system
Language: C++ - Size: 163 MB - Last synced at: about 18 hours ago - Pushed at: about 19 hours ago - Stars: 897 - Forks: 244
pat-togonon/Stanford-RPG
A dating role-play game where players interact with NPCs shaped by real psychological patterns (like avoidant, anxious, and secure attachment). With dating stage-specific dialogues and emotional arcs, players not only experience romance, but also healing, reflection and the consequences of emotional choices.
Language: Python - Size: 8.79 KB - Last synced at: 1 day ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0
potassco/clingo
🤔 A grounder and solver for logic programs.
Language: C++ - Size: 22.3 MB - Last synced at: 1 day ago - Pushed at: 2 days ago - Stars: 677 - Forks: 87
AAAI-DISIM-UnivAQ/DALI
DALI Multi Agent System Framework
Language: Prolog - Size: 10.9 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 39 - Forks: 11
Dr-Nekoma/karuta
A compiler for a statically-typed relational programming language written in OCaml
Language: OCaml - Size: 234 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 3 - Forks: 0
SWI-Prolog/swipl-devel
SWI-Prolog Main development repository
Language: C - Size: 98.9 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1,087 - Forks: 195
Joel-Rodrigues404/Tecnicas-de-Programacao
Repositorio para as atividades da disciplina programação computacional feitas em Java
Language: Java - Size: 1.46 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
JohnPetros/stardust
Plataforma de ensino inspirada no Duolingo e HackerRank voltada para o ensino de lógica de programação
Language: TypeScript - Size: 14.5 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 6 - Forks: 0
umutsevdi/logic-circuit-simulator-2
A free and open-source cross-platform Logic Circuit Simulator rewritten in C++.
Language: C++ - Size: 909 KB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 1 - Forks: 0
LogtalkDotOrg/logtalk3
Logtalk - declarative object-oriented logic programming language
Language: Prolog - Size: 1.02 GB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 454 - Forks: 34
Jabulente/Descriptive-Statistics-Analysis-Using-Python
This repository features a Python project focused on performing descriptive statistics to summarize and explore data effectively. It provides tools to calculate key statistical measures helping gain clear insights into data distributions and variability.
Language: Jupyter Notebook - Size: 1.23 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0
sourceduty/Fluid_Logic
Conditional logic and decision-making processes inspired by fluid dynamics.
Size: 151 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0
jaalonso/jaalonso.github.io
Índice de repositorios.
Language: HTML - Size: 73.6 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 0
Veliz95/Satsify
Satsify is a Python framework designed for parsing and benchmarking CNF files, aiding SAT solving research. 🚀 It allows users to transform CNF instances and compare various solving methods with clear performance metrics. 🐱💻
Language: Python - Size: 99.6 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0
HarvardPL/formulog
Datalog with support for SMT queries and first-order functional programming
Language: Java - Size: 2.94 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 158 - Forks: 10
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: 1 day ago - Pushed at: 5 days ago - Stars: 22 - Forks: 6
SHI-Yu-Zhe/awesome-agi-cocosci
An awesome & curated list for Artificial General Intelligence, an emerging inter-discipline field that combines artificial intelligence and computational cognitive sciences.
Language: TeX - Size: 7.91 MB - Last synced at: 5 days ago - Pushed at: 7 days ago - Stars: 334 - Forks: 26
engboris/stellogen
An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
Language: OCaml - Size: 2.15 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 107 - Forks: 10
composewell/streamly
High performance, concurrent functional programming abstractions
Language: Haskell - Size: 17.1 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 895 - Forks: 68
Ruso37/Turing-Machine-Project
A Python-based project exploring Decidability and Undecidability using Turing Machine simulations
Language: Python - Size: 9.77 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0
prove-rs/z3.rs
Rust bindings for the Z3 solver.
Language: Rust - Size: 639 KB - Last synced at: 4 days ago - Pushed at: 8 days ago - Stars: 406 - Forks: 126
EvgSkv/logica
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Language: Jupyter Notebook - Size: 6.6 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1,982 - Forks: 103
WNR-Official/FAST
National University of Computing and Emerging Sciences
Language: C++ - Size: 5.48 MB - Last synced at: 3 days ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0
Innocentsax/DSA_IN_JAVA
Data Structure and Algorithm in Java
Language: Java - Size: 994 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 18 - Forks: 3
taimoorzaeem/pl-stuff
Programming Language Theory & Research
Language: Haskell - Size: 91.8 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0
s-arash/ascent
Logic programming in Rust
Language: Rust - Size: 1.2 MB - Last synced at: 1 day ago - Pushed at: 2 months ago - Stars: 472 - Forks: 18
jaalonso/Lecturas_GLC
Readings on computational logic, interactive theorem proving and functional programming.
Size: 9.02 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 78 - Forks: 8
javiergs/ASU-CSE240
Introduction to Programming Languages
Language: C - Size: 1.86 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 7
souffle-lang/souffle
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.
Language: C++ - Size: 516 MB - Last synced at: 8 days ago - Pushed at: 26 days ago - Stars: 991 - Forks: 220
logictensornetworks/logictensornetworks
Deep Learning and Logical Reasoning from Data and Knowledge
Language: Jupyter Notebook - Size: 3.33 MB - Last synced at: 9 days ago - Pushed at: 8 months ago - Stars: 300 - Forks: 64
JoseVF5/Calculadora
O objetivo desse projeto é compreender melhor como aplicar a lógica de programação. Escolhi a linguagem de programação python para por em prática minha lógica de programação, entender um pouco mais da sintaxe em python e aplicar a aquitetura de Software MVC
Language: Python - Size: 32.2 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 1 - Forks: 0
BizerraGuU/-mentoring-askedapp
Why "askedapp"? I have been mentoring with my cousin, and it was given to me by him so that I could create an algorithm with the following features, of a Restaurant algorithm:
Size: 14.6 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0
knowsys/nemo
A fast in-memory rule engine
Language: Rust - Size: 6.69 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 158 - Forks: 8
retrofor/iamai
A rule-driven comprehensive AI toolkit emphasizing simultaneous support for multimodal machine learning and the ability to construct cross-platform robots using logic.（规则驱动式的综合性人工智能工具库，强调同时支持多模态机器学习和利用逻辑构建跨平台机器人的能力）
Language: Python - Size: 140 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 26 - Forks: 9
arturbomtempo-learning/cotemig-logic-and-programming-assignments
Projects created in the Logic and Programming subject of the computer science technical course.
Language: C# - Size: 35 MB - Last synced at: 9 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
timoniq/laurelang
A pure logical, compact language / research
Language: C - Size: 1.24 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 16 - Forks: 0
SAKET-SK/Programming-Aptitude-Interview-Prep
The exact prep I did for coding rounds; 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.
Language: Java - Size: 475 KB - Last synced at: 8 days ago - Pushed at: 9 months ago - Stars: 170 - Forks: 18
NucleoidAI/Nucleoid
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
Language: TypeScript - Size: 6.2 MB - Last synced at: 12 days ago - Pushed at: 2 months ago - Stars: 627 - Forks: 19
grafana/thema
A CUE-based framework for portable, evolvable schema
Language: Go - Size: 22.1 MB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 232 - Forks: 12
evertheylen/logicpy
Prolog Implementation in Python
Language: Python - Size: 46.9 KB - Last synced at: 10 days ago - Pushed at: over 7 years ago - Stars: 12 - Forks: 0
clubalgoritmos/CompetitiveProgramming
Una colección de soluciones a problemas de programación competitiva. Ideal para aquellos que buscan mejorar sus habilidades de programación y prepararse para competencias.
Language: Python - Size: 14 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 1 - Forks: 0
tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
Language: JavaScript - Size: 1.86 MB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 609 - Forks: 57
namin/metaprogramming
Course on Metaprogramming
Language: Scala - Size: 2.47 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 65 - Forks: 11
robsimmons/dusa
A logic programming language that has features of both Datalog and answer set programming.
Language: TypeScript - Size: 3.6 MB - Last synced at: 10 days ago - Pushed at: 2 months ago - Stars: 117 - Forks: 7
MMaffi/alg1-academic-exercises
📌 Repository of C and programming logic exercises developed during my undergraduate studies in Information Systems at UFMS CPTL. Here, I store practice exercises to reinforce fundamental language concepts and improve programming logic skills.
Language: C - Size: 48.8 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 1 - Forks: 0
piotr-yuxuan/polygam
Experiment with core.logic
Language: Clojure - Size: 829 KB - Last synced at: 16 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 1
mgckaled/rs_logica-prog
Repositório contendo a formação completa de Lógica de Programação desenvolvido pela Faculdade de Tecnologia Rocketseat (2025).
Language: Python - Size: 111 KB - Last synced at: 4 days ago - Pushed at: 16 days ago - Stars: 0 - Forks: 0
Harshitkumar07/DSA-in-cpp
In this Repository , many problems of DSA is solved with different methods and types in c++ language to improve in programming .
Language: C++ - Size: 1.45 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 1 - Forks: 0
mayraesilva/Scientific-Computing-with-Python-FreeCodeCamp
As I'm beginning my path in Data Science, I'm using FreeCodeCamp to study. I'll be uploading my practice codes and exercises here to track my progress and share what I'm learning!
Language: Python - Size: 88.9 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0
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: 17 days ago - Pushed at: 17 days ago - Stars: 19 - Forks: 1
RichardMoot/GrailLight
Light-weight chart parser for multimodal type-logical grammars
Language: Prolog - Size: 24.2 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 3 - Forks: 0
LAMDASZ-ML/Awesome-LLM-Reasoning-with-NeSy
✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
Size: 1.31 MB - Last synced at: 14 days ago - Pushed at: 24 days ago - Stars: 113 - Forks: 6
ecopque/programming_challenges
In this repository, you will find practical challenges focused on logic, data manipulation, and information validation. The problems are based on real situations I have faced in projects, transformed into challenges to test your logical reasoning and skills in code, as well as other technologies.
Language: Java - Size: 3.76 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 2 - Forks: 1
kamel-usp/dpasp
Differentiable probabilistic answer set programming
Language: C - Size: 810 KB - Last synced at: 19 days ago - Pushed at: 20 days ago - Stars: 23 - Forks: 4
lab-v2/pyreason
An explainable inference software supporting annotated, real valued, graph based and temporal logic
Language: Python - Size: 17.2 MB - Last synced at: 8 days ago - Pushed at: 28 days ago - Stars: 269 - Forks: 21
noprompt/meander
Tools for transparent data transformation
Language: Clojure - Size: 3.05 MB - Last synced at: 19 days ago - Pushed at: almost 2 years ago - Stars: 949 - Forks: 55
KiJeong-Lim/PlanHol
a Programming LANguage with Higher-Order Logic
Language: Haskell - Size: 398 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 3 - Forks: 0
prismplp/prism
probabilistic logic programming language for statistical modeling
Language: C++ - Size: 28.3 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 31 - Forks: 2
Bodigrim/logict
A continuation-based backtracking logic programming monad
Language: Haskell - Size: 171 KB - Last synced at: 5 days ago - Pushed at: 8 months ago - Stars: 91 - Forks: 13
namin/GETFOL Fork of getfol/GETFOL
FOL Software Archaeology
Language: Common Lisp - Size: 15.3 MB - Last synced at: 11 days ago - Pushed at: 23 days ago - Stars: 8 - Forks: 1
Caracolys/Practicing-C
BeeCrowd & Classes Exercises using C language
Language: Jupyter Notebook - Size: 156 KB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0
pythological/kanren
An extensible, lightweight relational/logic programming DSL written in pure Python
Language: Python - Size: 539 KB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 212 - Forks: 20
anaclaramtn/Beecrowd-Beginners-Problems-Solutions-With-JavaScript
Repositório para soluções em JS para o Beecrowd
Language: JavaScript - Size: 127 KB - Last synced at: 23 days ago - Pushed at: 24 days ago - Stars: 0 - Forks: 0
hjbolus/Mathematical-Logic-Through-Python
Python package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski
Language: Python - Size: 538 KB - Last synced at: 23 days ago - Pushed at: 24 days ago - Stars: 7 - Forks: 3
bridgetbroyles/bridgetbroyles-portfolio
This repository showcases a collection of projects I've developed to expand my toolset and explore the exciting world of computer science.
Language: Java - Size: 158 KB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 1 - Forks: 0
fatho/logru
Log(ic) programming in Ru(st).
Language: Rust - Size: 256 KB - Last synced at: 9 days ago - Pushed at: 4 months ago - Stars: 21 - Forks: 4
ciao-lang/ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Language: Prolog - Size: 15.1 MB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 304 - Forks: 23
Faisal786111/C-Language
This repo contains all the concepts related to the C language.
Language: C - Size: 156 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0
tuProlog/2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
Language: Kotlin - Size: 12.1 MB - Last synced at: about 7 hours ago - Pushed at: about 9 hours ago - Stars: 104 - Forks: 14
cssbreno/estudos-python
Este repositório contém exercícios, atividades práticas e pequenos projetos desenvolvidos durante meu aprendizado da linguagem Python.
Language: Python - Size: 10.5 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0
yuce/pyswip
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
Language: Python - Size: 417 KB - Last synced at: 21 days ago - Pushed at: 7 months ago - Stars: 516 - Forks: 99
guregu/trealla-js
Trealla Prolog for the web
Language: TypeScript - Size: 589 KB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 50 - Forks: 3
trealla-prolog/go
Trealla Prolog embedded in Go using WASM
Language: Go - Size: 119 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 79 - Forks: 4
khaledradwan96/Simple-Calculator
A simple and interactive web-based calculator that performs basic arithmetic operations using HTML, CSS, and JavaScript. User-friendly, responsive, and includes error handling for invalid inputs and division by zero.
Language: JavaScript - Size: 3.91 KB - Last synced at: 27 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 0
bramucas/xclingo2
A tool for explainability and debugging in Answer Set Programming.
Language: Python - Size: 226 KB - Last synced at: 2 days ago - Pushed at: 4 months ago - Stars: 14 - Forks: 5
osmandkitay/Satsify
A comprehensive Python framework for parsing, transforming, and benchmarking CNF files for SAT solving research.
Language: Python - Size: 97.7 KB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 2 - Forks: 0
luidymarcelo/ESTD001
Repositório de exercícios dos livros estudados.
Language: Python - Size: 24.9 MB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 0
foxfriends/trilogy
Actually just three programming languages in a trenchcoat
Language: Rust - Size: 4.14 MB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 1 - Forks: 0
JmAtochePascual/Mini-projects-python
These are small projects for Python beginners where operations are carried out with the basics of programming and logic handling.
Language: Python - Size: 6.84 KB - Last synced at: 17 days ago - Pushed at: 30 days ago - Stars: 0 - Forks: 1
MNoorFawi/pytholog
Python library that enables using prolog syntax and logic programming in python
Language: Python - Size: 5.42 MB - Last synced at: 30 days ago - Pushed at: over 2 years ago - Stars: 125 - Forks: 19
c-cube/datalog
An in-memory datalog implementation for OCaml.
Language: Prolog - Size: 2.14 MB - Last synced at: 10 days ago - Pushed at: 9 months ago - Stars: 270 - Forks: 24
namin/clpsmt-miniKanren
CLP(SMT) on top of miniKanren
Language: Scheme - Size: 332 KB - Last synced at: 11 days ago - Pushed at: over 3 years ago - Stars: 38 - Forks: 8
thuwzy/Neural-Symbolic-and-Probabilistic-Logic-Papers
A curated paper list on neural symbolic and probabilistic logic.
Size: 461 KB - Last synced at: 29 days ago - Pushed at: almost 2 years ago - Stars: 130 - Forks: 14
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: about 1 month ago - Pushed at: about 1 month ago - Stars: 23 - Forks: 3
Codeit88/C-Plus-Plus
This is collection of beginner to advanced C++ self written codes.
Language: C++ - Size: 206 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
triska/the-power-of-prolog
The Power of Prolog: Introduction to modern Prolog
Language: HTML - Size: 3.12 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1,296 - Forks: 82
sophi-hub/To-do-list
Este projeto reúne desafios práticos com JavaScript, HTML e CSS, abordando lógica, interatividade e design responsivo. Inclui validação de formulários, cálculo de descontos e um gerenciador de tarefas. Desenvolvido com boas práticas, o foco está em acessibilidade, semântica e eficiência, criando soluções claras e modernas.
Language: CSS - Size: 12.7 KB - Last synced at: 16 days ago - Pushed at: 5 months ago - Stars: 6 - Forks: 0
Victor-Lis/Termo-Search
Language: HTML - Size: 52.7 KB - Last synced at: 11 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
tamischim/Programming-Logic
Primeiros códigos e estudos de Lógica da Programação.
Size: 135 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
mdiep/Logician
Logic programming in Swift
Language: Swift - Size: 86.9 KB - Last synced at: 10 days ago - Pushed at: about 5 years ago - Stars: 197 - Forks: 10
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
LukasZahradnik/PyNeuraLogic
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
Language: Python - Size: 31.9 MB - Last synced at: 17 days ago - Pushed at: 2 months ago - Stars: 293 - Forks: 21
Alessandro624/hypersonic Fork of ormai/hypersonic
Bomberman-like, turn-based game played by two competing AI Agents
Language: Python - Size: 33 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
jariazavalverde/fasill
Fuzzy Aggregators and Similarity Into a Logic Language
Language: Prolog - Size: 1.07 MB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 23 - Forks: 2
cicada-lang/chimera
Language: TypeScript - Size: 5.2 MB - Last synced at: 13 days ago - Pushed at: about 1 month ago - Stars: 72 - Forks: 3
ormai/hypersonic
Bomberman-like, turn-based game played by two competing AI Agents
Language: Python - Size: 33 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 3
ehmicky/switch-functional
Functional switch statement
Language: TypeScript - Size: 541 KB - Last synced at: 20 days ago - Pushed at: about 2 months ago - Stars: 3 - Forks: 0
joanbr4/code-wars
Challenges from CodeWars help refine your skills and push the boundaries of your abilities.
Language: Java - Size: 7.81 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
ProgMiner/micro-prolog
Simple and straightforward implementation of Prolog without any side-effects support developed for educational purposes
Language: TypeScript - Size: 92.8 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
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 2 months ago - Pushed at: about 2 months ago - Stars: 20 - Forks: 6
