Alternatives and similar repositories for LGP

Users that are interested in LGP are comparing it to the libraries listed below

• neilgall / KotlinKanren
  Port of SwiftyKanren to Kotlin
  ☆19Updated 4 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 6 years ago
• kkrawiec / swim
  Synthesis with Metaheuristics - Genetic Programming in Scala
  ☆15Updated 6 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆86Updated 4 years ago
• Mortimerp9 / Prolog-Graphplan
  The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…
  ☆38Updated 10 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• jonklein / Psh
  Java implementation of the Push programming language, a stack based language designed for genetic programming.
  ☆25Updated 14 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 14 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆206Updated 4 years ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆51Updated last year
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆80Updated 3 months ago
• dalnefre / kernel_abe
  John Shutt's "Kernel" language implemented on ABE (C) runtime.
  ☆13Updated 7 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆77Updated 7 years ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆26Updated last year
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆67Updated 10 years ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 7 years ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 9 months ago
• declanoller / neat
  Playing OpenAI games with Neuroevolution
  ☆11Updated 6 years ago
• laszlokorte / reform-java
  Java implementation of the reform dynamic drawing application inspired by Bret Victor's talk "Drawing Dynamic Visualizations"
  ☆19Updated 9 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆92Updated 6 months ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 5 years ago
• s-webber / projog
  Prolog programming for the Java platform.
  ☆39Updated this week
• daniel-kun / omni
  The Omni Programming Language
  ☆34Updated 8 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year