AILab-FOI / pyxf
Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite
☆11Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for pyxf
- A rule engine based on Attempto Controlled English☆18Updated 3 weeks ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 4 years ago
- A library for manipulating DMRS structures☆14Updated 3 years ago
- Simple spaCy-based concept extraction API, involving a dictionary of relevant concepts.☆10Updated 5 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- OWL verbalizer: making machine-readable knowledge also human-readable☆36Updated last year
- ☆26Updated last month
- The CSNePS Knowledge Representation and Reasoning System☆27Updated 4 months ago
- Java library based on the VLog rule engine☆32Updated 5 months ago
- My MSc thesis: a grammar induction system☆15Updated 8 years ago
- A JavaScript-based interface for graph traversal☆18Updated last year
- A miniature version of the l4 language☆10Updated 4 months ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆29Updated last year
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Updated last week
- A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!☆12Updated 4 years ago
- A Semi-Automatic Tool to generate RDF mappings for Opendatasoft's datasets☆46Updated last year
- program synthesis with neuro-symbolic differentiable interpreters☆10Updated 10 months ago
- A WordNet in GF☆24Updated this week
- Specification of NAF, the NLP annotation format☆21Updated 3 years ago
- CHR: Leuven Constraint Handling Rules☆24Updated this week
- A lightweight reimplementation of the OpenCyc ontology system. This project aims to replicate most of OpenCyc's functionality and data wh…☆18Updated 8 years ago
- Tool for building graph-based hierarchical knowledge representation systems☆76Updated last year
- Base Forward Chaining Knowledge Base Maintenance System☆18Updated 3 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated last year
- Decision Model & Notation in Markdown table format☆21Updated last year
- A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algo…☆32Updated last year
- The Java API suite for interacting with the Cyc inference engine and knowledge base.☆35Updated 5 years ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13Updated 2 years ago
- A small Python library for NLP Interchange Format (NIF) for NER(D) systems☆19Updated last year
- This repository contains the Framester resource, the main outcome of the framester project.☆34Updated 4 years ago