sebdumancic/pylo2

Issues

• Add support for calling with resource limit

  #8 opened 4 years ago by sebdumancic
  0

• substitution on the Body doesn't work properly

  #10 opened 4 years ago by sebdumancic
  0

• Remove the message when initializing SWIProlog

  #1 opened 4 years ago by rmanhaeve
  2

• Add support for proof extraction of a query

  #9 opened 4 years ago by sebdumancic
  0

• Add ability to specify predicates in Python

  #5 opened 4 years ago by sebdumancic
  0

• Add parsers: text -> pylo code

  #4 opened 4 years ago by sebdumancic
  0

• Inconsistent behavior over different engines when quoted constants appear in query results.

  #7 opened 4 years ago by joschout
  0