Alternatives and similar repositories for pyswip_envctrl

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

• sidaw / shrdlurn
  teach the computer your language
  ☆115Updated 6 years ago
• kakwa / pylogic
  Python Module for Logical Validation (forked from Rob Truxler library)
  ☆26Updated 5 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆120Updated 2 months ago
• emilmont / pyStatParser
  Simple Python Statistical Parser
  ☆111Updated 8 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• google-deepmind / logical-entailment-dataset
  This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…
  ☆70Updated 7 years ago
• johntrimble / foil-python
  First Order Inductive Learner (FOIL) algorithm implemented in Python
  ☆52Updated 11 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆188Updated 6 years ago
• mokemokechicken / keras_npi
  NPI(Neural Programmer-Interpreters) implementation with Keras
  ☆243Updated 3 years ago
• leonweber / spyrolog
  Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/
  ☆15Updated 5 years ago
• ajhager / copycat
  A translation of Melanie Mitchell's original Copycat project from Lisp to Python.
  ☆44Updated 8 years ago
• tensorlang / tensorlang
  Tensorlang, a differentiable programming language based on TensorFlow
  ☆292Updated 8 years ago
• ggp-org / ggp-base
  The General Game Playing Base Package
  ☆122Updated 5 years ago
• vscosta / yap-6.3
  YAP Development release
  ☆17Updated 5 years ago
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆33Updated 12 years ago
• tokestermw / tensorflow-shakespeare
  Neural machine translation between the writings of Shakespeare and modern English using TensorFlow
  ☆249Updated 3 years ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆190Updated 7 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆207Updated 4 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆74Updated 8 years ago
• nyu-dl / dl4ir-webnav
  WebNav: A New Large-Scale Task for Natural Language based Sequential Decision Making
  ☆82Updated 8 years ago
• uclnlp / ntp
  End-to-End Differentiable Proving
  ☆90Updated 7 years ago
• allenai / tuffylite
  TuffyLite is an open-source MLN inference engine that modifies the original Tuffy solver.
  ☆27Updated 9 years ago
• DoctorTeeth / gru
  Minimal GRU implementation.
  ☆34Updated 10 years ago
• sfu-natlang / glm-parser
  Tree-adjoining grammar based statistical dependency parser using a general linear model (glm).
  ☆28Updated 9 years ago
• sivareddyg / UDepLambda
  A framework to convert Universal Dependencies to Logical Forms
  ☆91Updated 5 years ago
• KalraA / Halite
  Submission for halite competition
  ☆13Updated 8 years ago
• Knewton / Zoidberg
  A natural language word problem solver written in Python
  ☆39Updated 11 years ago
• hnbeck / ecblackjack
  Simple BlackJack game via Browser using SWI Prolog, Tau Prolog
  ☆10Updated 6 years ago
• kelvinguu / lang2program
  Parse natural language into executable programs
  ☆63Updated 8 years ago