Alternatives and similar repositories for pyswip_envctrl:

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

• leonweber / spyrolog
  Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/
  ☆15Updated 4 years ago
• TeamCohen / TensorLog
  ☆108Updated 6 years ago
• lil-lab / spf
  Cornell Semantic Parsing Framework
  ☆129Updated 5 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…
  ☆68Updated 6 years ago
• sidaw / shrdlurn
  teach the computer your language
  ☆113Updated 5 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• uclnlp / low-rank-logic
  Code for Injecting Logical Background Knowledge into Embeddings for Relation Extraction
  ☆66Updated 8 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 5 years ago
• Calysto / calysto_prolog
  A Prolog kernel for Jupyter
  ☆59Updated 6 years ago
• bgavran / DNC
  Implementation of the Differentiable Neural Computer in Tensorflow
  ☆118Updated 7 years ago
• aslanides / aixijs
  AIXIjs - General Reinforcement Learning in the Browser
  ☆147Updated 4 years ago
• JPMoresmau / rnn
  playing with recurrent neural networks
  ☆28Updated 9 years ago
• andreasvc / seekaywhy
  A probabilistic CKY parser for PCFGs
  ☆19Updated 11 years ago
• kakwa / pylogic
  Python Module for Logical Validation (forked from Rob Truxler library)
  ☆25Updated 4 years ago
• nikste / tensorflow-neat
  implementation of neat like genetic algorithm for finding network topologies in tensorflow
  ☆68Updated 5 years ago
• sivareddyg / UDepLambda
  A framework to convert Universal Dependencies to Logical Forms
  ☆89Updated 4 years ago
• sfu-natlang / glm-parser
  Tree-adjoining grammar based statistical dependency parser using a general linear model (glm).
  ☆28Updated 8 years ago
• PlayingWithProlog / alexa
  Build an Amazon Alexa skill with SWI-Prolog
  ☆9Updated 7 years ago
• cbaziotis / prolog-cfg-parser
  A toy SWI-Prolog context-free grammar (CFG) parser, that extracts knowledge (facts) from text.
  ☆20Updated 7 years ago
• gangeli / NaturalLI
  Natural Logic Inference for Common Sense Reasoning
  ☆61Updated 6 years ago
• sivareddyg / deplambda
  ☆37Updated 9 years ago
• dritchie / probabilistic-js
  Turning Javascript into a probabilistic programming language
  ☆58Updated 7 years ago
• ilyasu123 / rlntm
  An implementation of the RL-NTM from http://arxiv.org/abs/1505.00521
  ☆156Updated 9 years ago
• davidenitti / DC
  Probabilistic logic language for inference, planning and learning in static and dynamic domains
  ☆15Updated 8 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆73Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• msbrogli / sdm-framework
  A Sparse Distributed Memory Framework.
  ☆44Updated 5 years ago
• johntrimble / foil-python
  First Order Inductive Learner (FOIL) algorithm implemented in Python
  ☆51Updated 11 years ago
• llSourcell / differentiable_neural_computer_LIVE
  ☆90Updated 7 years ago
• TeamCohen / ProPPR
  Graph-algorithm inferences over local groundings of first-order logic programs
  ☆134Updated 7 years ago