Trealla Prolog embedded in Go using WASM
☆84Jul 15, 2026Updated 3 months ago
Alternatives and similar repositories for go
Users that are interested in go are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A compact, efficient Prolog interpreter written in plain old C.☆391Updated this week
- The only reasonable scripting engine for Go.☆738Oct 20, 2026Updated 2 weeks ago
- various predicates for ichiban/prolog☆16Sep 25, 2022Updated 4 years ago
- Trealla Prolog for the web☆64Jul 22, 2026Updated 3 months ago
- Advanced support for working with RDF in Prolog.☆20Aug 31, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated 2 years ago
- Optional types for Prolog☆11Aug 14, 2018Updated 8 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆12Mar 24, 2019Updated 7 years ago
- GOPHI: an AMR-to-English Verbalizer☆12Feb 5, 2020Updated 6 years ago
- A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.☆14Apr 14, 2018Updated 8 years ago
- TUS protocol for resumable file uploads via HTTP☆15Feb 16, 2026Updated 8 months ago
- Run SWI-Prolog in your browser using WebAssemply☆79Aug 29, 2022Updated 4 years ago
- Go bindings to the Wren scripting language.☆22Jul 13, 2020Updated 6 years ago
- The SWI-Prolog HTTP server and client libraries☆28Oct 24, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Pengine and Prolog scratchpad☆59Sep 8, 2025Updated last year
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Feb 19, 2023Updated 3 years ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 13 years ago
- Convert RDF Turtle to N-Triples or N3P☆14Jan 14, 2019Updated 7 years ago
- Prolog Home Page☆74May 27, 2025Updated last year
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 5 years ago
- Compiler from Webassembly to native binaries☆15Nov 19, 2025Updated 11 months ago
- Official repository for SQLite Cloud go modules☆16Apr 3, 2026Updated 7 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Feb 2, 2026Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Jan 21, 2017Updated 9 years ago
- Prolog Reverse Proxy☆20Feb 24, 2018Updated 8 years ago
- Demo SWI-Prolog HTTP based chat server☆22Nov 2, 2016Updated 10 years ago
- Language Server for Prolog☆13Oct 17, 2026Updated 2 weeks ago
- Tutorials for using TerminusDB☆59May 5, 2023Updated 3 years ago
- Random ideas about libraries for Prolog☆12Nov 2, 2016Updated 10 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/pln-experimental and https://github.com/trueagi-io/PLN]. Probabilisti…☆16Sep 20, 2025Updated last year
- Cross-platform clipboard access in Go☆12Nov 6, 2022Updated 3 years ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A modern Prolog implementation written mostly in Rust.☆2,468Oct 22, 2026Updated last week
- MUD Server written in Prolog using Forward chaining☆30Feb 6, 2022Updated 4 years ago
- A Go implementation of the WebAssembly System Interface (WASI)☆155Dec 30, 2023Updated 2 years ago
- Fast, simplified WAM-based Prolog system☆26Oct 30, 2025Updated last year
- tuscli - TerminusDB Javascript document client☆10Mar 13, 2026Updated 7 months ago
- DocLog builds documentation from source code in Prolog☆34Oct 22, 2026Updated last week
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 11 years ago