AILab-FOI / pyxf
Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite
☆11Updated 4 years ago
Alternatives and similar repositories for pyxf:
Users that are interested in pyxf are comparing it to the libraries listed below
- A rule engine based on Attempto Controlled English☆18Updated 5 months ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- OASIS LegalRuleML TC: GitHub repository for developing and distributing good examples in order to share knowledge about the correct appli…☆31Updated 4 years ago
- NLP functionality on top of the Sigma system☆17Updated this week
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆14Updated 3 years ago
- A text annotation plugin for Protege 5+☆17Updated 2 years ago
- Decision Model & Notation in Markdown table format☆22Updated 2 years ago
- A miniature version of the l4 language☆10Updated 9 months ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13Updated 2 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆56Updated 3 years ago
- AllegroGraph Python client☆42Updated last month
- pylog: an implementation of Prolog features in Python☆36Updated 3 months ago
- A JavaScript-based interface for graph traversal☆18Updated 2 years ago
- VOnDA, a Versatile Ontology based Dialogue management Architecture to create reactive dialogue systems for virtual agents☆7Updated 2 weeks ago
- Lambda Notebook: Formal Semantics in Jupyter☆26Updated 2 months ago
- Specification of NAF, the NLP annotation format☆21Updated 4 years ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆38Updated last year
- Finds linguistic patterns effortlessly☆36Updated last year
- TPTP python library and benchmarking service☆13Updated 5 years ago
- Pikes is a Knowledge Extraction Suite☆23Updated last year
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated 3 months ago
- The CSNePS Knowledge Representation and Reasoning System☆27Updated 9 months ago
- This repository contains the Framester resource, the main outcome of the framester project.☆33Updated 4 years ago
- Knowledge Acquisition Logic Machine☆18Updated 5 years ago
- All ontologies used in NIF 2.0 (NIF-Core + vocabulary modules + helper modules)☆36Updated 7 years ago
- Poems retrieval demo built with GNES framework☆14Updated 5 years ago
- A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!☆12Updated 4 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- A library for manipulating DMRS structures☆14Updated 4 years ago