Implementation of Prolog in TypeScript
☆35Dec 30, 2022Updated 3 years ago
Alternatives and similar repositories for prolog
Users that are interested in prolog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Jan 23, 2023Updated 3 years ago
- Random ideas about libraries for Prolog☆12Nov 2, 2016Updated 9 years ago
- Our Ludum Dare entry☆20Feb 19, 2017Updated 9 years ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- Prolog Pengines + vue.js☆17Mar 3, 2019Updated 7 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Tinkering with creating a functional programming language for procedural content generation.☆19Nov 28, 2024Updated last year
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 11 years ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Feb 6, 2022Updated 4 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 7 years ago
- Yes, Erlang in SWI-Prolog!☆12Jun 18, 2018Updated 7 years ago
- Interface from C# to SWI-Prolog☆27Dec 7, 2025Updated 3 months ago
- Demo SWI-Prolog HTTP based chat server☆19Nov 2, 2016Updated 9 years ago
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆20Jul 26, 2021Updated 4 years ago
- A simple interpreted language written in Elixir☆26Mar 29, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆15Aug 16, 2021Updated 4 years ago
- A tiny OCaml compiler with JVM backend 🐫☕️☆11Mar 12, 2019Updated 7 years ago
- Former home Java language client (master) for SWI-Prolog pengines - see simularity/JavaPengine☆10May 8, 2016Updated 9 years ago
- Prolog benchmarks (`van Roy' set)☆18Mar 15, 2026Updated last week
- Example code: calling Swift from Go☆15Feb 1, 2022Updated 4 years ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆190Dec 29, 2020Updated 5 years ago
- Arduboy board implementation using simavr☆23Aug 22, 2025Updated 7 months ago
- A program that allows you to translate neural networks created with Keras to fuzzy logic programs, in order to tune these networks from a…☆18Sep 19, 2019Updated 6 years ago
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆140Aug 27, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Javascript porting of Paul Tarau latest Prolog Engine architecture☆19Nov 6, 2018Updated 7 years ago
- An open source Prolog interpreter in JavaScript☆632Jan 30, 2023Updated 3 years ago
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 6 years ago
- The historical, initial implementation of an ooc compiler in Java☆116Feb 6, 2013Updated 13 years ago
- Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/☆15Jun 23, 2020Updated 5 years ago
- A compiler written in janet, to compile (a subset of) janet to javascript.☆15May 24, 2020Updated 5 years ago
- ☆10Jul 12, 2021Updated 4 years ago
- Nano vLLM☆13Jun 26, 2025Updated 9 months ago
- Bringing Prolog to the masses.☆36Mar 7, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Logtalk - declarative object-oriented logic programming language☆477Mar 20, 2026Updated last week
- GPIO power switch service.☆24Jul 8, 2022Updated 3 years ago
- Prototype API and sample app for searching Google developer videos☆13Aug 12, 2015Updated 10 years ago
- Image resizing on the fly☆16Jan 10, 2016Updated 10 years ago
- Javadoc to XML☆19Mar 18, 2020Updated 6 years ago
- 🎨 Improved version of Big Canvas built from scratch using Phoenix LiveView.☆25Dec 22, 2021Updated 4 years ago
- Little game library written in Nim (Nimrod) using opengl and sfml☆17Oct 11, 2017Updated 8 years ago