LearnPrologNow/lpn external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

LearnPrologNow/lpn

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/LearnPrologNow/lpn)

Close

LearnPrologNow / lpnView on GitHubMore

• External links
• Readme badge

Learn Prolog Now LaTeX sources

☆101Oct 23, 2022Updated 3 years ago

Alternatives and similar repositories for lpn

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

• Anniepoo / JavaPengine

  View on GitHub
  Former home Java language client (master) for SWI-Prolog pengines - see simularity/JavaPengine
  ☆10May 8, 2016Updated 9 years ago
• SWI-Prolog / packages-swipl-win

  View on GitHub
  Portable Qt-based console for SWI-Prolog by Carlo Capelli
  ☆11Sep 9, 2025Updated 5 months ago
• SWI-Prolog / packages-pengines

  View on GitHub
  Pengines: Prolog engines
  ☆12Feb 22, 2026Updated last week
• mndrix / mavis

  View on GitHub
  Optional types for Prolog
  ☆11Aug 14, 2018Updated 7 years ago
• SWI-Prolog / roadmap

  View on GitHub
  Discuss future development
  ☆21Sep 25, 2015Updated 10 years ago
• SWI-Prolog / swish

  View on GitHub
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆550Updated this week
• logicmoo / prologmud

  View on GitHub
  MUD Server written in Prolog using Forward chaining
  ☆28Feb 6, 2022Updated 4 years ago
• fnogatz / swivm

  View on GitHub
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Jan 23, 2023Updated 3 years ago
• zebreus / prolog-chess

  View on GitHub
  A simple minimax chess engine written in prolog
  ☆11May 8, 2023Updated 2 years ago
• SWI-Prolog / packages-cpp

  View on GitHub
  The SWI-Prolog C++ interface
  ☆38Feb 22, 2026Updated last week
• rla / prolog-markdown

  View on GitHub
  Markdown parser for SWI-Prolog.
  ☆23Oct 22, 2020Updated 5 years ago
• hnbeck / ecblackjack

  View on GitHub
  Simple BlackJack game via Browser using SWI Prolog, Tau Prolog
  ☆10Feb 2, 2020Updated 6 years ago
• logicmoo / programk

  View on GitHub
  Chatbot impls in Prolog
  ☆15Feb 15, 2022Updated 4 years ago
• slburson / PTTP

  View on GitHub
  Prolog Technology Theorem Prover
  ☆12Jun 19, 2024Updated last year
• mndrix / list_util

  View on GitHub
  Prolog list utility predicates
  ☆11Jul 19, 2018Updated 7 years ago
• mndrix / binprolog

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

  View on GitHub
  Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'
  ☆20May 26, 2020Updated 5 years ago
• mndrix / prolog_library_ideas

  View on GitHub
  Random ideas about libraries for Prolog
  ☆12Nov 2, 2016Updated 9 years ago
• mndrix / dcg_util

  View on GitHub
  DCG utility predicates for Prolog
  ☆10Jan 3, 2015Updated 11 years ago
• mndrix / jolog

  View on GitHub
  Concurrent and distributed Prolog via join patterns (join calculus)
  ☆12Mar 10, 2015Updated 10 years ago
• fifth-postulate / julian

  View on GitHub
  Date and time library for Prolog
  ☆27Mar 8, 2021Updated 4 years ago
• SWI-Prolog / pengines

  View on GitHub
  Pengine and Prolog scratchpad
  ☆59Sep 8, 2025Updated 5 months ago
• alexjercan / stack-lang-c

  View on GitHub
  Stack Lang - stack based programming language
  ☆11Dec 31, 2024Updated last year
• berthubert / hello-dl-posts

  View on GitHub
  Hello Deep Learning
  ☆16Apr 20, 2024Updated last year
• mrjameshamilton / bf

  View on GitHub
  An optimizing brainf*ck compiler with multiple target backends: JVM, smali, dex, C, LLVM IR, ARM, WASM, JavaScript and Lox.
  ☆12Sep 27, 2023Updated 2 years ago
• flavioc / XSB

  View on GitHub
  XSB Prolog
  ☆14Mar 27, 2010Updated 15 years ago
• poplog / poplog

  View on GitHub
  Poplog
  ☆21Nov 18, 2010Updated 15 years ago
• SWI-Prolog / packages-xpce

  View on GitHub
  The graphics toolkit for SWI-Prolog
  ☆19Feb 22, 2026Updated last week
• andrewcropper / mlj18-metaopt

  View on GitHub
  A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.
  ☆14Apr 14, 2018Updated 7 years ago
• logicmoo / pfc

  View on GitHub
  Pfc: adding forward chaining and truth maintenance to Prolog
  ☆12Sep 6, 2022Updated 3 years ago
• SWI-Prolog / swipl

  View on GitHub
  SWI-Prolog stable releases
  ☆235Feb 22, 2026Updated last week
• Anniepoo / weblog

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

  View on GitHub
  A teaching aid library for formal languages and compiler courses
  ☆12May 23, 2025Updated 9 months ago
• andrewcropper / iggp

  View on GitHub
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Feb 19, 2023Updated 3 years ago
• ko1 / iseq_collector

  View on GitHub
  iseq_collector gem
  ☆15May 11, 2021Updated 4 years ago
• PetriNets / petrinets.github.io

  View on GitHub
  Petrinet.org interactive playground website
  ☆16Oct 17, 2019Updated 6 years ago
• triska / letswicrypt

  View on GitHub
  Prolog HTTPS Servers
  ☆39Feb 11, 2018Updated 8 years ago
• logicmoo / logicmoo_clif

  View on GitHub
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Oct 2, 2021Updated 4 years ago
• Effervex / CycDAG

  View on GitHub
  A lightweight reimplementation of the OpenCyc ontology system. This project aims to replicate most of OpenCyc's functionality and data wh…
  ☆22Nov 26, 2015Updated 10 years ago