Prolog Home Page
☆74May 27, 2025Updated 9 months ago
Alternatives and similar repositories for php
Users that are interested in php are comparing it to the libraries listed below
Sorting:
- A compact, efficient Prolog interpreter written in plain old C.☆342Updated this week
- Small Prolog☆14Dec 8, 2016Updated 9 years ago
- Trealla Prolog embedded in Go using WASM☆81Dec 24, 2025Updated 2 months ago
- tar creator+extractor in ~100 lines of prolog☆260Jan 22, 2023Updated 3 years ago
- The missing web framework for Pharo and Amber☆47Aug 7, 2014Updated 11 years ago
- verifiable contracts using temporal modal logic☆18Updated this week
- SWI-Prolog OpenAPI (Swagger) support☆10Sep 30, 2024Updated last year
- Emacs major mode for the pikchr diagram markup language☆18Nov 27, 2024Updated last year
- Clojure bindings for Scryer Prolog☆17Feb 16, 2025Updated last year
- 9P protocol implementation in Go☆18Oct 28, 2020Updated 5 years ago
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆19Apr 22, 2024Updated last year
- Service that allows to control CPU performance and prevent overheating. Work in progress.☆14Jul 25, 2018Updated 7 years ago
- Semantic Web scripting language☆104Apr 14, 2023Updated 2 years ago
- An online IDE for visual programming in Prolog☆245Feb 17, 2026Updated last week
- Forked from uber/react-digraph☆23Dec 29, 2022Updated 3 years ago
- Prolog binding for terminusdb-store☆22Jun 13, 2022Updated 3 years ago
- Prolog benchmarks (`van Roy' set)☆18Feb 22, 2026Updated last week
- PostgreSQL Prolog language handler☆135Apr 2, 2024Updated last year
- broadcast messages to everyone on your network☆20Jan 30, 2023Updated 3 years ago
- ☆53May 10, 2025Updated 9 months ago
- z3++☆29Dec 14, 2024Updated last year
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆190Dec 29, 2020Updated 5 years ago
- CLI to pipe data through Redis Pub/Sub☆47Jul 31, 2014Updated 11 years ago
- Example sqlite3 Dynamic Loadable Extension in Rust - vfs and vtab modules - port of vfsstat.c☆35Nov 26, 2024Updated last year
- A Prolog library to connect to PostgreSQL databases☆107May 1, 2024Updated last year
- Self-hosted single-script file sharing system in PHP☆28Sep 20, 2024Updated last year
- Package for implementing clients and servers of the 9P and 9P2000 distributed resource protocols in Go.☆23Feb 23, 2019Updated 7 years ago
- LaserCAD invokes 3D output of optical setups from code similar as LATEX creates documents.☆12Jan 7, 2026Updated last month
- Comparison between Java and Common Lisp solutions to a phone-encoding problem described by Prechelt☆29Dec 28, 2025Updated 2 months ago
- An open-source personal website infrastructure for developers☆61Sep 15, 2024Updated last year
- The SWI-Prolog HTTP server and client libraries☆27Feb 22, 2026Updated last week
- Lisp Machine Manual (XML Edition)☆32Feb 3, 2023Updated 3 years ago
- A tool for checking code listings in Markdown source☆32Feb 4, 2026Updated 3 weeks ago
- Airplay bindings to Emacs☆39Dec 29, 2023Updated 2 years ago
- Web service for Firefox Suggest☆31Apr 6, 2023Updated 2 years ago
- ☆31Mar 11, 2023Updated 2 years ago
- Language Server Protocol server for SWI-Prolog☆124Dec 9, 2025Updated 2 months ago
- Simple prolog interpreter using ES6 generators☆62Feb 19, 2015Updated 11 years ago
- Open source LaTeX of Pharo By Example☆67Mar 24, 2015Updated 10 years ago