Alternatives and similar repositories for prolog

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

• exercism / sml
  Exercism exercises in Standard ML.
  ☆28Updated this week
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆44Updated last year
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 11 years ago
• Dyalog / MiServer
  MiServer- an APL-based web server - requires Dyalog APL available from http://www.dyalog.com
  ☆48Updated last month
• exercism / scheme
  Exercism exercises in Scheme.
  ☆37Updated this week
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆35Updated 4 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 2 years ago
• tsoding / wacket
  Racket to WebAssembly "compiler".
  ☆32Updated 4 years ago
• triska / simsttab
  Simple timetabling engine for schools
  ☆28Updated last year
• triska / letswicrypt
  Prolog HTTPS Servers
  ☆37Updated 7 years ago
• SquareBracketAssociates / PharoByExample9
  The version of Pharo by Example for Pharo 90
  ☆32Updated 10 months ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• norswap / prolog-dry
  A terse Prolog course
  ☆43Updated 6 years ago
• jsoftware / jandroid
  J for Android
  ☆35Updated 2 months ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆27Updated 6 months ago
• squeak-smalltalk / squeak-app
  Squeak/Smalltalk release bundles
  ☆48Updated 6 months ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated last year
• shingarov / MachineArithmetic
  A mathematical foundation for Smalltalk-25
  ☆17Updated last week
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆22Updated last year
• Anniepoo / swiplwebtut
  A tutorial for the swipl web framework
  ☆114Updated 4 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 8 years ago
• prologbyexample / code
  ☆29Updated 2 years ago
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 5 years ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆87Updated 2 years ago
• fjames86 / flisp
  A Scheme-like Lisp interpreter that can also run as an operating system
  ☆20Updated 11 years ago
• jamesnvc / vuelog
  Prolog Pengines + vue.js
  ☆17Updated 6 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year