alnkpa / sublimeprolog
This a Prolog syntax highlighting for Sublime Text 2 & 3
☆66Updated 5 years ago
Alternatives and similar repositories for sublimeprolog
Users that are interested in sublimeprolog are comparing it to the libraries listed below
Sorting:
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆24Updated 11 years ago
- Optional types for Prolog☆11Updated 6 years ago
- Legacy: Planetary System is a math-enabled Web 3.0 information portal.☆79Updated 8 years ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- MiniZinc documentation☆16Updated 2 years ago
- MongoDB Driver for Prolog☆46Updated 7 years ago
- Example Problems and Assignments for Prolog☆33Updated 12 years ago
- Community contributions to the Grammatical Framework☆60Updated 10 months ago
- The Aldor Programming Language☆34Updated 3 months ago
- Programmatic Control Flow☆12Updated 7 years ago
- miniKanren for interactive tutorials on the web☆33Updated 7 years ago
- ☆52Updated 8 years ago
- Javascript interpreters featuring web workers☆38Updated 8 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- The Stratego program transformation language☆31Updated 2 weeks ago
- Web Framework for SWI-Prolog☆43Updated 9 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- CHR: Leuven Constraint Handling Rules☆26Updated 2 weeks ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 4 years ago
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- A collection of Prolog libraries.☆88Updated 8 months ago
- an attempt to implement miniKanren and microKanren in Python☆52Updated 10 years ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆52Updated 15 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
- ☆9Updated 9 years ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- A simple IPython kernel for Hy☆47Updated 3 years ago
- ☆7Updated 2 months ago
- scm->js☆22Updated 9 years ago