XSB: Reminder: make certain NOTs come at end of clause - Githubissues

tnelson / FlowLog

17 stars 5 forks source link

XSB: Reminder: make certain NOTs come at end of clause #5

Closed tnelson closed 11 years ago

tnelson commented 11 years ago

See commit 7f149769641f9b331c9b8f97779c41c831c215c6

tnelson commented 11 years ago

Added filtering to parser.