rorchard / FuzzyCLIPS

Related projects ⓘ

Alternatives and complementary repositories for FuzzyCLIPS

• briangu / OPS5
  OPS5 Production System
  ☆54Updated 11 years ago
• garydriley / FuzzyCLIPS631
  ☆19Updated 5 years ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆41Updated 8 years ago
• AmziLS / AmziProlog
  Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
  ☆117Updated 3 years ago
• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆87Updated 2 months ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆53Updated 15 years ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆33Updated 4 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 8 years ago
• SWI-Prolog / packages-semweb
  The SWI-Prolog RDF store
  ☆29Updated this week
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆36Updated 12 years ago
• triska / letswicrypt
  Prolog HTTPS Servers
  ☆36Updated 6 years ago
• wyc / snippets
  ☆52Updated 7 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• rongarret / Ciel
  A Lisp-like language implemented in C++
  ☆74Updated last year
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆27Updated 6 years ago
• triska / proloxy
  Prolog Reverse Proxy
  ☆19Updated 6 years ago
• vslab / YieldProlog
  A Prolog implementation based on generators
  ☆18Updated 10 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆188Updated 7 months ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆53Updated 10 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆176Updated last year
• schani / jscreme
  A self-hosting Scheme to JavaScript compiler
  ☆33Updated 14 years ago
• opencog / ure
  Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.
  ☆54Updated 7 months ago
• mistupv / SWIPrologZ3
  A simple Prolog API for the Z3 constraint solver
  ☆14Updated 6 years ago
• a-yiorgos / smallprolog
  Small Prolog
  ☆12Updated 7 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 3 years ago
• EricssonResearch / plasticsearch
  ☆9Updated 8 years ago
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆40Updated 2 years ago
• melsman / aplparse
  APL parser written in Standard ML
  ☆19Updated 8 years ago