Soothsilver / mtg-grammarLinks
ANTLR4 grammar for all Magic: the Gathering cards in Guilds of Ravnica
☆12Updated 2 years ago
Alternatives and similar repositories for mtg-grammar
Users that are interested in mtg-grammar are comparing it to the libraries listed below
Sorting:
- This is Arbor, a parser and analysis platform.☆11Updated last week
- Parser for Attempto Controlled English (ACE)☆199Updated last year
- A general framework for embedding Logic Programming in complex systems☆30Updated last year
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆57Updated 2 weeks ago
- Euler Yet another proof Engine☆151Updated this week
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆73Updated 4 years ago
- A utility for parsing magic cards into a JSON structure for further processing.☆22Updated 2 years ago
- State of the Art Magic: the Gathering Draft and DeckBuilder AI.☆166Updated last year
- OWL2 library for Prolog☆111Updated 5 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆41Updated 4 months ago
- A simple implementation of the OWL2 RL Profile on top of RDFLib: it expands the graph with all possible triples that OWL RL defines. It c…☆153Updated 2 weeks ago
- Python Engine for card game Magic the Gathering: aiming to replicate the Comprehensive Rules.☆59Updated 3 months ago
- This repository contains a list of information about OWL reasoners as well as systems, which use a third-party OWL reasoner.☆20Updated 8 months ago
- The Heterogeneous Tool Set☆58Updated 6 months ago
- Python library that enables using prolog syntax and logic programming in python☆126Updated 2 years ago
- a datalog implementation in Python☆297Updated 11 months ago
- The Common Core Ontology Repository holds the current released version of the Common Core Ontology suite.☆244Updated last week
- Ontology development environment for Common Logic (CL)☆24Updated 2 years ago
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆106Updated last year
- ☆71Updated 4 years ago
- A lazy-grounding Answer-Set Programming system☆61Updated 5 months ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 6 months ago
- Automatically exported from code.google.com/p/colore☆71Updated 8 months ago
- A library for visualizing graphs in Prolog.☆17Updated 11 months ago
- Suggested Upper Merged Ontology (SUMO)☆239Updated last week
- Streaming generic JSON to RDF converter☆90Updated last year
- Reasoner for the description logic EL+.☆14Updated 2 months ago
- The sample web app for the yFiles use case about an Ontology Visualizer.☆12Updated 4 months ago
- Automatically exported from code.google.com/p/swoop☆33Updated 10 years ago
- Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction a…☆37Updated last year