Alternatives and similar repositories for FuzzyCLIPS631

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

• rorchard / FuzzyCLIPS
  A fuzzy logic extension of the CLIPS
  ☆73Updated 10 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆76Updated last month
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆24Updated 7 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆26Updated last month
• aprolog-lang / aprolog
  αProlog
  ☆18Updated last year
• SWI-Prolog / packages-http
  The SWI-Prolog HTTP server and client libraries
  ☆26Updated last week
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆44Updated last month
• nathanielrb / ftmicroKanren
  First-order temporal logic programming with microKanren
  ☆18Updated 7 years ago
• mndrix / list_util
  Prolog list utility predicates
  ☆11Updated 6 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 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…
  ☆36Updated 10 years ago
• jsoftware / qtide
  Qt IDE
  ☆45Updated 3 weeks ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated last year
• JUrban / MPTP2
  ☆19Updated 8 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• metaeducation / ren-cpp
  Red (red-lang.org) and Rebol C++ Binding
  ☆18Updated last year
• haldai / Jurassic.pl
  Call Julia code from Prolog
  ☆27Updated 2 years ago
• mndrix / regex
  Regular expressions for Prolog
  ☆17Updated 7 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 4 months ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆18Updated 9 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 5 years ago