Alternatives and similar repositories for smallprolog

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

• aarroyoc / teruel

  View on GitHub
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆19Feb 5, 2024Updated 2 years ago
• Anniepoo / weblog

  View on GitHub
  Web Framework for SWI-Prolog
  ☆43Dec 23, 2015Updated 10 years ago
• dcnorris / precautionary

  View on GitHub
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆29Feb 1, 2022Updated 4 years ago
• meditans / reif

  View on GitHub
  Ulrich Newmerkel's library for reified if, as a prolog pack
  ☆11Aug 11, 2020Updated 5 years ago
• JanWielemaker / openapi

  View on GitHub
  SWI-Prolog OpenAPI (Swagger) support
  ☆10Sep 30, 2024Updated last year
• attackgoat / jw-basic

  View on GitHub
  A BASIC language interpreter. Does not conform to existing standards. Mostly a toy.
  ☆11Feb 7, 2024Updated 2 years ago
• mndrix / binprolog

  View on GitHub
  Contributions to BinProlog. See https://code.google.com/p/binprolog/
  ☆10Aug 16, 2013Updated 12 years ago
• jamesnvc / vuelog

  View on GitHub
  Prolog Pengines + vue.js
  ☆17Mar 3, 2019Updated 6 years ago
• mschuldt / forth_wizard

  View on GitHub
  Finds optimal code sequences for stack transformations
  ☆26Feb 21, 2019Updated 6 years ago
• jariazavalverde / fasill

  View on GitHub
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆26Sep 12, 2024Updated last year
• RdR1024 / prolog2gpt

  View on GitHub
  SWI Prolog library to interface to the GPT API
  ☆20Mar 6, 2024Updated last year
• grantshandy / grapher

  View on GitHub
  A simple graphing calculator
  ☆18Aug 2, 2024Updated last year
• terminusdb / terminus_store_prolog

  View on GitHub
  Prolog binding for terminusdb-store
  ☆22Jun 13, 2022Updated 3 years ago
• sebity / plOpenGL

  View on GitHub
  SWI-Prolog binding for the OpenGL, GLU and GLUT libraries
  ☆20May 3, 2022Updated 3 years ago
• ClioPatria / ClioPatria

  View on GitHub
  ClioPatria provides an RDF application platform
  ☆57Nov 20, 2025Updated 2 months ago
• eazar001 / yesbot

  View on GitHub
  IRC Bot Written in Prolog
  ☆20May 23, 2021Updated 4 years ago
• ollef / Generate-C

  View on GitHub
  Embedded C code generation DSL for Haskell.
  ☆29Mar 25, 2019Updated 6 years ago
• prologbyexample / code

  View on GitHub
  ☆31Mar 11, 2023Updated 2 years ago
• sasagawa888 / nprolog

  View on GitHub
  interpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)
  ☆136Feb 7, 2026Updated last week
• vmchale / permutations

  View on GitHub
  Provides a type-safe way of working with permutations in Idris
  ☆37Oct 3, 2021Updated 4 years ago
• guregu / php

  View on GitHub
  Prolog Home Page
  ☆74May 27, 2025Updated 8 months ago
• lf94 / paizo-programmer

  View on GitHub
  An ergonomic, mobile-first, Prolog playground!
  ☆31Sep 13, 2022Updated 3 years ago
• joshsh / ripple

  View on GitHub
  Semantic Web scripting language
  ☆104Apr 14, 2023Updated 2 years ago
• llaisdy / PrologInfo

  View on GitHub
  Prolog, Datalog, languages, resources, and beyond!
  ☆33Oct 31, 2024Updated last year
• snoyberg / routetype-rs

  View on GitHub
  Strongly typed routes for Rust
  ☆36Jul 17, 2021Updated 4 years ago
• JanWielemaker / swi-prolog-wasm

  View on GitHub
  SWI-Prolog ported to WebAssembly
  ☆40Jun 21, 2018Updated 7 years ago
• fuselang / fuse

  View on GitHub
  Statically typed functional programming language.
  ☆11Jan 25, 2026Updated 2 weeks ago
• Kidev / AdaPhysics2D

  View on GitHub
  A 2D physics engine for Ada
  ☆16Feb 19, 2019Updated 6 years ago
• abutnaru / untanglr

  View on GitHub
  Probabilistically split concatenated words using NLP based on English Wikipedia unigram frequencies.
  ☆14Sep 2, 2022Updated 3 years ago
• dadgumjames / prog21

  View on GitHub
  Programming in the 21st Century static site generator
  ☆32Mar 14, 2017Updated 8 years ago
• jtanx / ctagsx

  View on GitHub
  VSCode ctags implementation that actually works
  ☆28Jan 31, 2024Updated 2 years ago
• atgreen / moxie-cores

  View on GitHub
  Moxie-compatible core repository
  ☆47Aug 11, 2025Updated 6 months ago
• outlandnish / fw-ghost-drive

  View on GitHub
  Firmware for the Macchina M2 to use your car as a sim racing controller
  ☆13Jan 5, 2021Updated 5 years ago
• KeychainMDIP / kc

  View on GitHub
  Multi Dimensional Identity Protocol (MDIP) reference implementation
  ☆13Updated this week
• cinecert / mxf-digest

  View on GitHub
  Efficient Message Digest for MXF Files
  ☆10Jul 6, 2020Updated 5 years ago
• zebreus / prolog-chess

  View on GitHub
  A simple minimax chess engine written in prolog
  ☆11May 8, 2023Updated 2 years ago
• thijsl / ott-resources

  View on GitHub
  A collection of resources related to OTT and streaming.
  ☆11Oct 15, 2019Updated 6 years ago
• mahrz24 / rv6

  View on GitHub
  rv6 is a kernel & operating system written entirely in rust.
  ☆11Nov 7, 2019Updated 6 years ago
• mauricioszabo / generic-lsp

  View on GitHub
  ☆10Nov 14, 2022Updated 3 years ago