mndrix / regexLinks
Regular expressions for Prolog
☆17Updated 8 years ago
Alternatives and similar repositories for regex
Users that are interested in regex are comparing it to the libraries listed below
Sorting:
- CHR: Leuven Constraint Handling Rules☆26Updated last week
 - Random ideas about libraries for Prolog☆12Updated 9 years ago
 - SWI-Prolog web server sources for www.swi-prolog.org☆19Updated last week
 - Web Framework for SWI-Prolog☆43Updated 9 years ago
 - Prolog list utility predicates☆11Updated 7 years ago
 - Optional types for Prolog☆11Updated 7 years ago
 - Prolog stuff☆27Updated 6 years ago
 - Pengine and Prolog scratchpad☆59Updated last month
 - Pengines: Prolog engines☆12Updated last week
 - Yes, Erlang in SWI-Prolog!☆12Updated 7 years ago
 - Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 7 years ago
 - Community contributions to the Grammatical Framework☆62Updated last year
 - Simple Prolog to JS transpiler☆20Updated 13 years ago
 - Prolog HTTPS Servers☆39Updated 7 years ago
 - A tutorial for DCG's in swi-Prolog☆34Updated 4 years ago
 - Date and time library for Prolog☆27Updated 4 years ago
 - Explainable machine learning☆17Updated 6 years ago
 - Apply and compose functions in Prolog☆19Updated 9 years ago
 - YAP Development release☆16Updated 4 years ago
 - Emacs Does Interactive Prolog☆44Updated last year
 - Refactoring Tools for SWI-Prolog☆20Updated last month
 - A collection of Prolog libraries.☆88Updated last year
 - cplint is a suite of programs for reasoning with probabilistic logic programs☆79Updated last month
 - Parser for Attempto Controlled English (ACE)☆206Updated last year
 - AceWiki is a semantic wiki based on controlled natural language.☆73Updated 9 months ago
 - JPL: The Prolog <-> Java interface☆57Updated last week
 - SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
 - The graphics toolkit for SWI-Prolog☆19Updated this week
 - The SWI-Prolog HTTP server and client libraries☆26Updated last week
 - Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).☆113Updated 6 years ago