SWI-Prolog Logical Programming Languages
☆16Mar 15, 2018Updated 8 years ago
Alternatives and similar repositories for SWI-Prolog
Users that are interested in SWI-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:
- Best Practice codes☆12Dec 8, 2022Updated 3 years ago
- Projects,lessons,Vector, Smile,English,Armenian,Extension,Converter,stack,exception.File,override☆12Nov 28, 2017Updated 8 years ago
- A toy SWI-Prolog context-free grammar (CFG) parser, that extracts knowledge (facts) from text.☆22Sep 12, 2017Updated 8 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- A simple functional programming language.☆22Jun 3, 2021Updated 5 years 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.
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 3 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- parsec for nim☆13Jun 22, 2020Updated 6 years ago
- Auto-built docker image with latest Nim devel version☆10Jul 21, 2023Updated 2 years ago
- A programming language focused on concurrency and low memory usage☆12Apr 29, 2019Updated 7 years ago
- python parser combinators (parsec) library☆11Oct 26, 2018Updated 7 years ago
- Erlang Parser Combinator library for Parser Expression Grammars ( PEG)☆13Jun 13, 2015Updated 11 years ago
- Optional types for Prolog☆11Aug 14, 2018Updated 7 years ago
- The fractal land generator☆15Aug 3, 2019Updated 6 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.
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Sep 10, 2015Updated 10 years ago
- Language built during the Programming Language Masterclass.☆24Mar 19, 2014Updated 12 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- Random ideas about libraries for Prolog☆12Nov 2, 2016Updated 9 years ago
- DCG utility predicates for Prolog☆10Jan 3, 2015Updated 11 years ago
- An interactive playground for the Nim programming language☆15Jul 20, 2019Updated 6 years ago
- LILT: noun, A characteristic rising and falling of the voice when speaking; a pleasant gentle accent.☆20Dec 2, 2018Updated 7 years ago
- A simple Lexer for the Rockstar programming language specification written in Haskell with the Alex tool.☆12Mar 4, 2019Updated 7 years ago
- A collection of awesome markdown goodies, libraries, services, tools, guides, books, etc.☆15May 4, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A little (< 300 loc), incomplete TCL interpreter☆13Mar 3, 2017Updated 9 years ago
- Version-specific nix project specifications☆12Nov 12, 2019Updated 6 years ago
- ☆12Jun 13, 2019Updated 7 years ago
- Nim EVMC - Ethereum VM binary compatible interface☆15Feb 17, 2025Updated last year
- Violets are BLUE. OLS is too. (R package)☆14Aug 11, 2023Updated 2 years ago
- Prolog list utility predicates☆11Jul 19, 2018Updated 7 years ago
- Converts a selection into ascii-art using figlet☆15Feb 24, 2018Updated 8 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 years ago
- Hehehehehehehe☆10Mar 29, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Programmable music! A compiler and high level language.☆12Jul 19, 2025Updated 11 months ago
- An imperative, statically-typed toy language☆12May 5, 2019Updated 7 years ago
- A parser combinator for ruby, pulled out of cvs (!!) into git for everyone's parsing pleasure☆30Aug 12, 2019Updated 6 years ago
- Libnx ported to the Nim programming language☆14Dec 10, 2022Updated 3 years ago
- A Node.js interface to the SWI-Prolog communicating over stdio.☆10Mar 14, 2020Updated 6 years ago
- m3u8 parser/generator for Erlang and Elixir☆16Jul 6, 2023Updated 2 years ago
- mofuparser is hyper minimal ultra fast http parser.☆18Dec 19, 2018Updated 7 years ago