Alternatives and similar repositories for prolog:

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

• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆35Updated 4 years ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆43Updated last year
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆27Updated 3 months ago
• jamesnvc / vuelog
  Prolog Pengines + vue.js
  ☆17Updated 6 years ago
• MarcKaufmann / congame
  The best experimental economics software built in Racket
  ☆25Updated this week
• rla / prolog-markdown
  Markdown parser for SWI-Prolog.
  ☆21Updated 4 years ago
• exercism / sml
  Exercism exercises in Standard ML.
  ☆28Updated last week
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆63Updated this week
• jackfirth / racket-package-template
  My personal template repository for Racket packages
  ☆16Updated 4 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• racket / parser-tools
  ☆14Updated last month
• lang-party / Summer2022
  Lang Party 2022
  ☆25Updated 2 years ago
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 5 years ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆24Updated last week
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆42Updated 11 months ago
• shriram / gradescope-racket
  Infrastructure to autograde Racket code on Gradescope
  ☆17Updated 2 months ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• lexi-lambda / envy
  An environment variable manager for Racket applications
  ☆17Updated 2 years ago
• exercism / racket
  Exercism exercises in Racket.
  ☆41Updated last month
• shriram / smol
  The SMoL (Standard Model of Languages) Family of Languages
  ☆18Updated 3 months ago
• bennn / iPoe
  Interactive POetry Editor
  ☆28Updated 3 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 11 months ago
• massung / tabular-asa
  A column-oriented, dataframe implementation for Racket.
  ☆17Updated 3 weeks ago
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆32Updated last year
• countvajhula / cli
  A language for writing command line interfaces in Racket
  ☆15Updated 3 years ago
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆21Updated 2 years ago
• sweet-js / sweet-helpers
  A collection of utilities for matching syntax in Sweet.js macros
  ☆13Updated 7 years ago
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆22Updated last year