Alternatives and similar repositories for ciao:

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

• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆305Updated this week
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆440Updated this week
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆395Updated 2 years ago
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆289Updated this week
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆153Updated 11 months ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆267Updated 5 months ago
• didoudiaz / gprolog
  GNU Prolog
  ☆117Updated last year
• Shen-Language / shen-sources
  Shen language kernel sources for porters
  ☆370Updated 7 months ago
• polyml / polyml
  Poly/ML
  ☆496Updated 2 months ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆192Updated last year
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆162Updated last year
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 4 months ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆222Updated last year
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆389Updated 2 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆187Updated last year
• racket / rhombus
  Rhombus programming language
  ☆425Updated this week
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆132Updated 6 years ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆213Updated 2 years ago
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆308Updated 10 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆119Updated last month
• rossberg / 1ml
  1ML prototype interpreter
  ☆280Updated 4 years ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆201Updated this week
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆156Updated last month
• mthom / scryer-shen
  ☆46Updated 4 months ago
• manuel-serrano / bigloo
  a practical Scheme compiler
  ☆148Updated this week
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• attila-lendvai / maru
  Maru - a tiny self-hosting lisp dialect
  ☆195Updated this week
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• sasagawa888 / nprolog
  interpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)
  ☆99Updated this week
• wilbowma / cur
  A less devious proof assistant
  ☆223Updated 2 years ago