ptsankov/bellog

Issues

• fix free variables in negation

  #10 opened 10 years ago by ptsankov
  0

• wrong output

  #9 opened 10 years ago by ptsankov
  0

• wrong answer: permit(srdjan,cnb_f110)

  #8 opened 11 years ago by ptsankov
  1

• incorrect output

  #1 opened 11 years ago by ptsankov
  1

• Add support for single quote symbol in variables and constants

  #5 opened 11 years ago by ptsankov
  0

• Add support for exporting policies to Datalog

  #7 opened 11 years ago by ptsankov
  0

• Optimize load time. Submit all Datalog rules to XSB through the pexpect module in one shot, not individually..

  #6 opened 11 years ago by ptsankov
  0

• Undefined predicate symbils

  #3 opened 11 years ago by ptsankov
  1

• support for @issuer

  #4 opened 11 years ago by ptsankov
  1

• Missing input validation

  #2 opened 11 years ago by ptsankov
  0