hopes : Higher Order Prolog with Extensional Semantics
author: acharal
created: 2012-06-04 06:47:57
higher-order-logic hopes interpreter logic-programming prolog haskell


wam : A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
author: acharal
created: 2012-06-04 11:03:58
logic-programming machine prolog prolog-compiler wam warren haskell


logtalk3 : Logtalk - declarative object-oriented logic programming language
author: LogtalkDotOrg
created: 2012-08-17 02:53:10
declarative-language declarative-programming logic-programming logtalk oop prolog


prgolog-old : Plan recognition system based on the situation calculus and Golog written in Mercury.
author: schwering
created: 2012-09-21 16:39:48
action-language deprecated golog logic-programming mercury plan-recognition situation-calculus matlab


poprc : A Compiler for the Popr Language
author: HackerFoo
created: 2012-10-07 21:00:46
compiler concatenative dependent-types functional language linear-logic logic-programming non-deterministic partial-evaluators popr popr-compiler supercompiler c


datalog : An in-memory datalog implementation for OCaml.
author: c-cube
created: 2012-12-24 16:13:37
datalog logic-programming memoization ocaml prolog


bomba : A prototype Answer Set Programming Scala DSL.
author: mikolak-net
created: 2013-04-06 18:58:14
logic-programming scala scala-dsl


golog : Plan recognition system based on the situation calculus and action language Golog, written in Haskell
author: schwering
created: 2013-04-11 15:00:42
action-language functional-programming golog haskell logic-programming plan-recognition situation-calculus


haskell-picosat : Haskell bindings for PicoSAT solver
author: sdiehl
created: 2013-12-22 23:03:20
haskell haskell-library logic logic-programming picosat picosat-solver sat-solver c


hydiomatic : The Hy Transformer
author: hylang
created: 2014-01-19 22:10:42
hy logic-programming minikanren python static-code-analysis symbolic-computation


DALI : DALI Multi Agent System Framework
author: AAAI-DISIM-UnivAQ
created: 2014-07-25 12:58:11
event-driven logic-programming multi-agent-systems prolog


cplint : cplint is a suite of programs for reasoning with probabilistic logic programs
author: friguzzi
created: 2014-11-09 10:59:47
inductive-logic-programming logic-programming machine-learning probabilistic-logic-programming probabilistic-programming prolog


wviews : Wviews is an artificial intelligence system extension for generating world view answer sets for epistemic logic programs
author: galactose
created: 2014-12-29 12:11:26
automated-reasoning logic-programming python


SmartLightHub : The easy way to control your Lights
author: RBEGamer
created: 2015-06-23 23:50:00
arduino logic-programming plc raspberry-pi sensor-network smarthome php


Brachylog : A terse declarative logic programming language
author: JCumin
created: 2015-08-26 16:30:16
code-golf declarative golfing-language language logic-programming prolog swi-prolog


datalog : simplified query engine based on logic programming paradigm
author: fogfish
created: 2015-09-20 12:48:45
datalog erlang knowledge logic-programming semantic-web


Angry-HEX : An artificial player for the popular video game Angry Birds
author: DeMaCS-UNICAL
created: 2015-10-14 14:18:11
angry-birds artificial-intelligence logic-programming planning java


ALSProlog : ALS Prolog Compiler & Development Environment
author: AppliedLogicSystems
created: 2015-10-17 23:32:42
compiler language logic-programming programming-language prolog c


ExpertSystem : A simple IDE with integrated Prolog-inspired logic programming language. Semester project.
author: nuc134r
created: 2015-11-08 16:43:50
logic-programming c#


modal_logic : Final Year Masters Project: modal logic solver tableaux
author: marcincuber
created: 2015-11-08 19:18:00
complexity complexity-theory graph-algorithms graph-theory logic logic-programming modal modal-logic temporal-logic python


ciao : The Ciao programming language
author: ciao-lang
created: 2015-12-07 14:26:00
ciao compiler constraint-programming declarative-language logic-programming programming-language prolog


dialog_games : A number of dialog games for abstract argumentation implemented using Prolog Definite Clause Grammars.
author: tjitze
created: 2015-12-13 14:51:19
argumentation argumentation-theory logic-programming prolog


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.
author: souffle-lang
created: 2016-03-12 03:39:22
datalog logic-programming souffle static-code-analysis translator c++


SICStusPrologFuzzer : SICStus Prolog Fuzzer - including an extension to generate predicates and expressions in (Event-)B represented as abstract syntax trees
author: Joshua27
created: 2016-05-07 23:39:16
fuzzing logic-programming prolog sicstus


mfjs-logic : Logical programming in JavaScript
author: awto
created: 2016-05-14 08:48:00
constraint-programming javascript logic logic-programming mfjs monad


Jatalog : Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
author: wernsey
created: 2016-05-17 18:35:38
datalog datalog-engine evaluation-engine logic-programming java


Prolog-Assignment :
author: deepvyas
created: 2016-06-11 07:44:24
bits-pilani language logic-programming prolog-implementation prolog


gini : A fast SAT solver
author: irifrance
created: 2016-07-23 20:30:18
artificial-intelligence boolean-formulas circuit-sat concurrent dependencies fuzzing logic-circuit logic-programming resolution sat-solver testing verification go


Logic_programming : Exercises using logic language
author: GabrielCzar
created: 2016-08-04 00:48:36
logic-programming prolog


jekejeke-samples : Prolog text samples for Jekejeke Prolog.
author: jburse
created: 2016-08-21 11:35:53
logic-programming testsuites tutorials prolog


jekejeke-devel : Prolog text excerpts from the Jekejeke Prolog source.
author: jburse
created: 2016-08-23 21:38:03
logic-programming source-code java


Logician : Logic programming in Swift
author: mdiep
created: 2016-09-01 15:27:27
constraints kanren logic-programming solver swift


fovris : Four-Valued Reasoning System
author: Mike-Now
created: 2016-09-15 22:21:28
datalog logic-programming query-language rule-language c++


Prolog : Prolog work for the course Logic Programming
author: anotherik
created: 2016-10-03 13:29:37
logic-programming prolog webserver


LoIDE : Web-based IDE for Logic Programming
author: DeMaCS-UNICAL
created: 2016-10-11 15:24:17
editing editor ide logic-based-languages logic-formalisms logic-programming web-app web-application web-based-ide web-editor javascript


HomePLC_Designer : The node flow diagramm creator for the HomePLC System
author: RBEGamer
created: 2016-12-10 22:47:10
flowlayout logic-gates logic-programming login-system c#


80085 : A microprocessor implemented in VHDL
author: elvircrn
created: 2017-01-05 15:40:53
fpga logic-programming processor-architecture vhdl xilinx c++


32bit_Quine-McCluskey_and_Petrick_Method_in_C : 32bit Simplifier of Boolean functions
author: Es1chUbJyan9
created: 2017-01-11 09:09:36
c digital-logic logic-programming petrick-method quine-mccluskey quine-mccluskey-algorithm simplification


programming-languages-course : Course "Programming Languages" (in Russian language).
author: easimonenko
created: 2017-02-08 12:39:12
elm functional-programming haskell logic-programming notes prolog russian-specific logos


perfume-shop : Use logic programming to solve a perfume shop puzzle
author: lvguowei
created: 2017-02-08 18:18:50
clojure logic-programming puzzle


SwiftKanren : A Swift implementation of miniKanren.
author: kyouko-taiga
created: 2017-02-09 01:34:23
logic-programming swift


ifsp-2017-1-iap : IFSP IAP (1º Semestre de 2017)
author: falvojr-coach
created: 2017-02-14 20:24:32
algorithm c logic logic-programming


zamia-prolog : Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
author: gooofy
created: 2017-02-16 13:46:21
declarative-language embeddable logic-programming prolog prolog-dialect python


SupinfoResources : Resources for Supinfo cursus and more. This repo is shared with any Supinfo Student and free of use.
author: titouanfreville
created: 2017-02-23 15:21:23
analyser artificial-intelligence automata automation c caml checker course-material functional-programming grammars lex lisp logic logic-programming parser prologue robotics yacc


logica-de-programacao : :books: Repositório contendo vários exercícios de lógica de programação em diversas linguagens.
author: davidallysson
created: 2017-03-03 20:51:23
competitive-programming exercises logic-programming programming programming-language spoj uri uva c


elc117-2017a : ELC117 - Paradigmas de Programação - UFSM - 2017a
author: AndreaInfUFSM
created: 2017-03-03 22:26:22
concurrent-programming education functional-programming logic-programming object-oriented-programming paradigms prolog python c++


precept : A declarative programming framework
author: CoNarrative
created: 2017-03-07 21:04:02
clojure clojurescript declarative-programming functional-reactive-programming functional-relational-programming logic-programming rules


Mujeed-Arabic-Prolog : Mujeed (مُجيد) is a development environment for logic programming in Arabic language
author: BlidiWajdi
created: 2017-03-16 11:45:14
apl arabic-prolog bnf logic-programming mujeed programming-language unification-algorithm java


Natural_Logic_Interpreter : Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
author: ParhamP
created: 2017-04-10 20:37:39
logic-design logic-programming logical-knowledge-inference logical-knowledge-representation natural-language python


datalog-interpreter : Datalog programming language interpreter
author: gonmf
created: 2017-04-28 22:36:11
datalog logic-programming prolog ruby


LogicWeaver :
author: thegenius
created: 2017-05-05 05:04:33
behavior behavior-tree logic logic-design logic-programming java


core-logic-exploration : Exploration in Clojure core.logic
author: mhrimaz
created: 2017-06-28 19:50:58
clojure logic-programming


streamly : Beautiful Streaming, Concurrent and Reactive Composition (Haskell)
author: composewell
created: 2017-07-13 13:31:39
concurrency concurrent-streams frp haskell logic-programming non-determinism reactive-programming streaming


rpicosat : PicoSAT bindings for R
author: dirkschumacher
created: 2017-07-14 09:02:26
logic logic-programming picosat r sat sat-solver satisfiability


the-power-of-prolog : Introduction to modern Prolog
author: triska
created: 2017-07-20 07:35:42
book constraints logic-programming prolog teaching-materials html


cP-Systems-TSP : The accompanying code for our paper on solving the Travelling Salesman Problem in cP Systems
author: jcoo092
created: 2017-07-23 02:19:48
cp-systems erlang fsharp functional-programming logic-programming paper prolog swi-prolog


tabdual-plus : TABDUAL+ : Tabling in Contextual Abduction with Answer Subsumption
author: harventhy
created: 2017-07-29 07:14:22
abduction logic-programming prolog-implementation xsb prolog


reading-material : Reading schedule and our library of pdfs
author: CompSciCabal
created: 2017-07-30 16:34:41
computer-science logic-programming pf-pl stealthy-trojans tar-pit type-theory


pLam : command line interpreter for learning and exploring pure λ-calculus
author: sandrolovnicki
created: 2017-08-05 15:32:04
church church-encoding computability-theory interpreter lambda-calculus logic-programming numeral-systems programming-language haskell


CS-F214 : Logic In Computer Science
author: diveshuttam
created: 2017-08-07 07:31:03
abelian-groups bits-pilani computer-science groups iit-kharagpur logic logic-programming prolog


hitchhicker-prolog : Javascript porting of Paul Tarau latest Prolog Engine architecture
author: CapelliC
created: 2017-09-15 19:41:14
browser javascript logic-programming nodejs prolog prolog-implementation semantic-publishing virtual-machine


gominikanren : a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
author: awalterschulze
created: 2017-09-16 20:27:59
go logic-programming minikanren


Shiftago-Prolog : Shiftago game in Prolog
author: BlueDi
created: 2017-09-29 15:44:33
ai logic-programming prolog shiftago


logicpy : Prolog Implementation in Python
author: evertheylen
created: 2017-11-02 01:57:35
logic-programming prolog-implementation python3 python


othello-prolog : :scroll: A fully functional Othello game, with several AIs, made in prolog for swipl.
author: Drakirus
created: 2017-11-06 23:12:35
alpha-beta artificial-intelligence board-game logic-programming minmax othello-game prolog student-project swipl univ-lemans


challenge-lima : Desafio de programação
author: hurbcom
created: 2017-11-10 05:44:26
challenge cpp desafio golang javascript kotlin logic-programming programming-language scala


pingo : Pretty Printer for Clingo 🐧
author: egnwd
created: 2017-11-12 16:49:07
answer-set-programming clingo logic logic-programming haskell


logic-based-agent : A logic-based AI agent.
author: hagary
created: 2017-11-16 11:05:52
ai clpfd logic logic-programming prolog swi-prolog java


exCircuit : Open-source modular digital and analog circuit simulator
author: liquid600pgm
created: 2017-11-19 13:44:59
circuit-simulator digital javascript logic-circuit logic-circuit-simulator logic-gate-simulator logic-gates logic-programming logic-simulator modular java


evalo : Experiments fooling around with relational interpretation - run a subset of clojure backwards
author: RickMoynihan
created: 2017-11-30 01:19:46
boolean-algebra clojure logic-programming minikanren


puzzle-prolog : Documented code showing how to solve a kind-of variation of Sudoku Problem by applying Logic Programming.
author: Damiox
created: 2017-12-01 03:13:52
logic-programming prolog puzzle puzzle-prolog sudoku sudoku-puzzle sudoku-solver swi-prolog


deeplogic : DeepLogic: Towards End-to-End Differentiable Logical Reasoning
author: nuric
created: 2017-12-06 23:08:32
deep-learning logic-programming python


dlog : Maybe the smallest Java Datalog system
author: dritter-hd
created: 2017-12-07 13:22:54
datalog logic-programming java


LogicKit : A Prolog-like language as a Swift Embedded Domain Specific Language.
author: kyouko-taiga
created: 2017-12-18 20:00:18
domain-specific-language logic-programming swift


norm : Neural Object Relational Models
author: xumiao
created: 2018-01-23 09:09:45
ai deep-learning deep-neural-networks logic-programming machine-reasoning ml


ProgrammingLanguages : :electric_plug: Programming Languages, Abstract Syntax Tree, Functional Programming, Logic Programming, Assembly, Disassembly, Python, Java, JCoCo VM, Standard ML, LISP, Perl, Prolog :hammer_and_wrench:
author: Ahmad-Magdy-Osman
created: 2018-02-25 05:11:12
abstract-syntax-tree assembly ast disassembler disassembly functional-programming java jcoco lisp logic-programming perl programming-languages prolog python sml standard-ml


nodepicosat : SAT solver PicoSAT for javascript
author: dirkschumacher
created: 2018-03-01 20:21:42
logic logic-programming node-module picosat picosat-solver sat-solver javascript


mu-kanren : Haskell implementation of the μKanren logic programming language.
author: fsestini
created: 2018-03-15 02:07:11
haskell kanren logic-programming microkanren


ITDEV117-Logic-and-Problem-Solving : This course presents a formal approach to logical thinking and problem solving using mathematical and programming logic structures.
author: sudoSanto
created: 2018-04-12 01:27:27
binary college csharp logic logic-programming c#


SOUL : Rescuing the SOUL great logic meta programming language
author: Ducasse
created: 2018-04-18 20:00:56
logic-programming pharo prolog unification smalltalk


PyScheme : A small demo lambda-language written in Python
author: billhails
created: 2018-04-29 09:18:10
functional-programming language logic-programming pycharm python


pony-kanren : An implementation of microKanren for Pony.
author: kulibali
created: 2018-05-01 21:48:45
kanren logic-programming pony-language ponylang pony


Modal_Logic_Tableaux_Solver : A tool to decide satisfiability of modal formulas, and if satisfiable, visualize them.
author: joeytman
created: 2018-05-07 01:06:16
axiom formula logic logic-programming modal-formulas modal-logic paper visualisation visualization python


bfs-prolog : Breadth-first search Prolog-like tool with succinct implemenation
author: shiatsumat
created: 2018-05-29 16:06:42
logic-programming prolog ocaml


CSE-231N-AI_assignments : This repository contains the solutions to the programming assignments of CSE 231N - Artificial Intelligence - IIT (BHU) Varanasi
author: abhigupta768
created: 2018-05-31 20:23:28
artificial-intelligence hidden-markov-model kmeans-clustering linear-regression logic-programming logistic-regression searching-algorithms viterbi-algorithm python


Embedded_Logic_and_Design : This repository contains all labs done as a part of the Embedded Logic and Design course.
author: sarthak268
created: 2018-06-07 22:34:25
arm c embedded-c embedded-logic embedded-systems logic-circuit logic-programming pmod verilog verilog-hdl verilog-programs verilog-project vhdl vhdl-code vivado xilinx xilinx-fpga xilinx-sdk xilinx-vivado zedboard


ut : Yet Another Efficient Unification Algorithm
author: kuba--
created: 2018-06-25 18:09:24
logic-programming prolog unification unification-algorithm go


logictensornetworks : Deep Learning and Logical Reasoning from Data and Knowledge
author: logictensornetworks
created: 2018-07-07 20:50:18
fuzzy-logic logic-programming machinelearning tensorflow python


lps-studio : 🎬 Logic-based interactive storytelling tool for running Logic Production System (LPS) programs using lps.js, Electron and Angular 🎨
author: mauris
created: 2018-07-09 11:01:44
ai app artificial-intelligence canvas electron electron-app gui html5 html5-canvas logic logic-programming lps simulation visualisation visualization typescript


ProjetoAlloy : Clínica de Exames - Lógica para Computação - Computação@UFCG
author: hericlesme
created: 2018-07-16 11:50:31
alloy diagram logic logic-programming programming scripts student-project tests ufcg


first-order-logic : Exporting forward conclusions for Horn clauses (definitive Clauses) using first order logic
author: dimGlyn
created: 2018-08-10 13:44:30
artificial-intelligence logic-programming unification-algorithm java


propositional-logic : Export conclusions with resolution (resolution) / conclusions with forward chaining for (definite) Horn clauses of propositional logic
author: dimGlyn
created: 2018-08-11 11:37:59
artificial-intelligence cnf-clauses forward-chaining logic-programming mathematical-logic propositional-logic java


python4cogrobotics : Python for Cognitive Robotics mind map
author: AAAI-DISIM-UnivAQ
created: 2018-08-31 14:49:35
artificial-intelligence cognitive-robotics computer-vision event-programming logic-programming machine-learning multi-agent-systems natural-language-processing python robotics


ProgrammingParadigms : This repo is about becoming language agnostic. -Should understand different programming paradigms and implement them
author: mankenavenkatesh
created: 2018-09-06 10:44:52
functional-programming imperative-programming logic-programming object-oriented-programming


fall : An easily embeddable, futures-friendly logic engine.
author: remexre
created: 2018-09-13 04:32:26
logic-programming rust


feup-plog : Repository to host the Logic Programming classe exercises and projects, a third year course @FEUP
author: joao-conde
created: 2018-09-19 14:47:52
logic-programming prolog prolog-programming-language


unification : Unification Algorithm in Dart.
author: welopment
created: 2018-10-04 10:55:20
algorithm dart2 logic logic-programming pattern-matching unification dart


TankLogo : 1v1 tank war model built by NetLogo :collision:
author: huangyz0918
created: 2018-10-11 12:56:32
game logic-programming netlogo tank tank-game teaching tech


NodeJS-Inference-Engine : Logical problem solved by an inference engine in NodeJS. The character has to escape the forest by taking the portal and avoiding dangers (monsters & rifts). The game is infinite, as the portal will only teleport him to an even bigger forest ! Once dead, the game restart again.
author: stressGC
created: 2018-11-15 23:13:22
ai artificial-intelligence inference-engine inference-rules javascript logic-programming nodejs


hypoKanren : A microKanren implementation in Hy with constraints
author: brandonwillard
created: 2018-11-18 19:44:19
constraint-programming hy logic-programming microkanren relational-programming


Cookies help us deliver our services. By using our services, you agree to our use of cookies Learn more