Alternatives and similar repositories for prolog

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

• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 5 years ago
• exercism / sml
  Exercism exercises in Standard ML.
  ☆29Updated last week
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆27Updated 5 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 11 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• norswap / prolog-dry
  A terse Prolog course
  ☆43Updated 6 years ago
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 10 years ago
• sweet-js / sweet-helpers
  A collection of utilities for matching syntax in Sweet.js macros
  ☆13Updated 7 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆35Updated 4 years ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆33Updated last week
• jackfirth / resyntax
  A Racket refactoring engine
  ☆63Updated 2 weeks ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆43Updated last year
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆21Updated 2 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆22Updated 3 weeks ago
• SWI-Prolog / packages-plunit
  The SWI-Prolog Unit Testing library
  ☆9Updated last month
• racket / gui
  ☆68Updated 3 weeks ago
• Genivia / Husky
  🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
  ☆14Updated 4 years ago
• thetrime / proscript2
  If at first you don't succeed
  ☆12Updated 4 years ago
• racket / parser-tools
  ☆14Updated 3 weeks ago
• schani / unlambdascheme
  A Scheme to Unlambda compiler
  ☆18Updated 7 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆56Updated 4 months ago
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆22Updated last year
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆42Updated 2 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 7 months ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆43Updated 9 years ago
• nikodemus / foolang
  A toy programming language.
  ☆40Updated last year
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆23Updated 8 months ago