Alternatives and similar repositories for pyxf:

Users that are interested in pyxf are comparing it to the libraries listed below

• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 4 months ago
• fnogatz / plammar
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆14Updated 3 years ago
• leoprover / tptp
  TPTP python library and benchmarking service
  ☆13Updated 5 years ago
• ian-andrich / PythonPengines
  A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!
  ☆12Updated 4 years ago
• Kaljurand / owl-verbalizer
  OWL verbalizer: making machine-readable knowledge also human-readable
  ☆38Updated last year
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆17Updated this week
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 5 years ago
• smucclaw / dmnmd
  Decision Model & Notation in Markdown table format
  ☆22Updated 2 years ago
• joshsh / jig
  A JavaScript-based interface for graph traversal
  ☆18Updated last year
• julianmendez / cel
  A lightweight Description Logic reasoner for large-scale biomedical ontologies
  ☆18Updated 2 months ago
• smucclaw / baby-l4
  A miniature version of the l4 language
  ☆10Updated 8 months ago
• LogicalContracts / LogicalEnglish
  ☆31Updated last week
• ontologyportal / sigmanlp
  NLP functionality on top of the Sigma system
  ☆17Updated last week
• thahmann / macleod
  Ontology development environment for Common Logic (CL)
  ☆23Updated 2 years ago
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆32Updated 9 months ago
• newsreader / NAF
  Specification of NAF, the NLP annotation format
  ☆21Updated 4 years ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆18Updated 3 years ago
• franzinc / agraph-python
  AllegroGraph Python client
  ☆41Updated last month
• logicmoo / programk
  Chatbot impls in Prolog
  ☆15Updated 3 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 10 months ago
• newsreader / eso-and-ceo
  Events and Situations Ontology
  ☆14Updated 6 years ago
• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆23Updated last week
• gruninger / colore
  Automatically exported from code.google.com/p/colore
  ☆70Updated 3 months ago
• cmungall / sparqlprog
  logic programming with SPARQL
  ☆47Updated 2 years ago
• delph-in / pydmrs
  A library for manipulating DMRS structures
  ☆14Updated 4 years ago
• monarch-initiative / kboom
  Bayes OWL Ontology Merging
  ☆21Updated 5 months ago
• friguzzi / trill-on-swish
  The Trill probabilistic ontology reasoner on SWISH
  ☆12Updated 6 months ago
• ErgoAI / ErgoEngine
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆34Updated this week