ALS Prolog Compiler & Development Environment
☆21Jun 12, 2026Updated 4 months ago
Alternatives and similar repositories for ALSProlog
Users that are interested in ALSProlog 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 dynamic C interface☆20Sep 21, 2024Updated 2 years ago
- A Hindley-Milner type inference implementation in Prolog☆15Feb 9, 2015Updated 11 years ago
- The contents of what was formerly https://svn.declarativity.net☆11Dec 8, 2015Updated 10 years ago
- Discuss future development☆22Sep 25, 2015Updated 11 years ago
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆140Nov 19, 2021Updated 4 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.
- ☆14Dec 9, 2022Updated 3 years ago
- Fast, simplified WAM-based Prolog system☆26Oct 30, 2025Updated 11 months ago
- KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"☆19Oct 27, 2023Updated 3 years ago
- ☆67Updated this week
- SWI-Prolog web server sources for www.swi-prolog.org☆21Oct 20, 2026Updated last week
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 13 years ago
- A Mirror of http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai//☆13Nov 15, 2021Updated 4 years ago
- Web-based emulator and operating environment for the ElectroData/Burroughs Datatron 205 computer system.☆14Aug 22, 2022Updated 4 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆22Mar 22, 2018Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Online partial evaluator for pure Prolog programs (with built-ins)☆13Jan 12, 2026Updated 9 months ago
- Pengines: Prolog engines☆13Oct 21, 2026Updated last week
- Programming in Tabled Prolog by David S Warren☆25Mar 11, 2020Updated 6 years ago
- Reason about Term Rewriting Systems☆20Jul 24, 2022Updated 4 years ago
- PEWS (Pew! Pew!): PHP Easy WebFinger Server☆12Mar 14, 2021Updated 5 years ago
- YAP Development release☆18Jan 16, 2021Updated 5 years ago
- Interpreter written for Prolog course.☆10Feb 18, 2020Updated 6 years ago
- ☆16Feb 7, 2025Updated last year
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆15Aug 16, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Corman Lisp. linux port☆11Jul 12, 2026Updated 3 months ago
- The SWI-Prolog RDF store☆36Oct 21, 2026Updated last week
- The graphics toolkit for SWI-Prolog☆23Updated this week
- http://www.t3x.org/files/zenlisp.zip☆19Aug 15, 2020Updated 6 years ago
- Poplog☆22Nov 18, 2010Updated 15 years ago
- ☆20Sep 3, 2018Updated 8 years ago
- A modified version of the CASAuth plugin found here: http://www.mediawiki.org/wiki/Extension:CASAuthentication☆11Oct 6, 2022Updated 4 years ago
- A tool for converting CNL sentences to ASP rules.☆13Nov 6, 2025Updated 11 months ago
- CLP(BNR) module for SWI-Prolog☆49Aug 25, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The SWI-Prolog HTTP server and client libraries☆28Updated this week
- Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It u…☆20Jul 14, 2026Updated 3 months ago
- interpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)☆153Oct 17, 2026Updated last week
- The Polanie real-time strategy game source code (Kod źródłowy gry strategicznej Polanie)☆15Feb 18, 2020Updated 6 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆174Apr 21, 2024Updated 2 years ago
- The opened source code of the Picat compiler, interpreter, and library.☆28Updated this week
- Source code for Web Bloat Score Calculator.☆16Mar 5, 2024Updated 2 years ago