This a Prolog syntax highlighting for Sublime Text 2 & 3
☆66Oct 22, 2019Updated 6 years ago
Alternatives and similar repositories for sublimeprolog
Users that are interested in sublimeprolog are comparing it to the libraries listed below
Sorting:
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- Confirmed VPN client for Android☆15Jul 30, 2020Updated 5 years ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 12 years ago
- Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'☆20May 26, 2020Updated 5 years ago
- A Jupyter Kernel for SWI-Prolog☆25Nov 1, 2018Updated 7 years ago
- Objective C and iOS study materials☆14Nov 25, 2016Updated 9 years ago
- biological logic programming toolkit☆28Aug 28, 2016Updated 9 years ago
- cute little chatbot in Prolog☆19Mar 29, 2012Updated 13 years ago
- How to implement a SAFE Objective-C Singleton☆14Feb 28, 2015Updated 11 years ago
- iPage is a light-weight java key-value store lib for message system.☆42Apr 1, 2021Updated 4 years ago
- IRC Bot Written in Prolog☆20May 23, 2021Updated 4 years ago
- Awesome Geometric Algebra☆29Jul 11, 2020Updated 5 years ago
- Discuss future development☆21Sep 25, 2015Updated 10 years ago
- MUD Server written in Prolog using Forward chaining☆28Feb 6, 2022Updated 4 years ago
- Recursive Neural Tensor Networks☆11Feb 3, 2014Updated 12 years ago
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆17Feb 27, 2026Updated last week
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- PRolog Equation Solving System☆29Sep 2, 2016Updated 9 years ago
- Combat damage system for Garry's Mod☆21Nov 3, 2021Updated 4 years ago
- Expert system with deductive querying and verification of constraints expressed in natural language☆23Feb 15, 2026Updated 2 weeks ago
- Learn Prolog Now LaTeX sources☆101Oct 23, 2022Updated 3 years ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆101Dec 8, 2025Updated 2 months ago
- Python utility to listen, timestamp and log data received from a serial port.☆11Aug 28, 2023Updated 2 years ago
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- A blazingly-fast, hackable linter☆10Apr 15, 2025Updated 10 months ago
- Common Workflow Language definition files for workflows introduced in DAT2☆11May 23, 2022Updated 3 years ago
- A tutorial and trained model that can identify Aboriginal flags in images using PyTorch and Detecto☆11Oct 19, 2020Updated 5 years ago
- Build and run container environment for LFRic☆10Jan 8, 2024Updated 2 years ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- Documentation for pganalyze - PostgreSQL Performance Monitoring☆12Updated this week
- The SWI-Prolog C++ interface☆38Feb 22, 2026Updated last week
- small script for managing google scholar alert emails☆11May 6, 2023Updated 2 years ago
- All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)☆11Mar 7, 2024Updated last year
- Utility to quickly bootstrap a Kerberos KDC for use with Cloudera Manager / Hadoop☆15May 1, 2013Updated 12 years ago
- A pure-rust implementation of the GVariant serialisation format☆13Jul 7, 2025Updated 7 months ago
- Run Dyalog APL under Docker☆11Dec 18, 2025Updated 2 months ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- GitHub action that validates the syntax of selected RDF files in the repository☆12Feb 12, 2024Updated 2 years ago
- ESGF software stack as Docker images☆11Feb 20, 2026Updated 2 weeks ago