search

Lexpedite / blawx

A user-friendly web-based tool for Rules as Code.
MIT License
100 stars 9 forks source link

Not all statements should be possible to put in conclusions. #456

Open Gauntlet173 opened 1 year ago

Gauntlet173 commented 1 year ago

There are some statements that it is not meaningful to put in a conclusion, like a statement that 2 is less than 1. There might be a way to avoid some types of user errors by restricting conclusions to user-generated predicates.

Gauntlet173 commented 1 year ago

This same problem applies to reified statements inside defeasibility blocks like "holds", "according to", etc.

Also, some statements that generate code in infix format the code generation for those statements fails, because they can't be reified. I don't think there is anything stated in infix that needs to be reified, so limiting reified statements to user predicates would probably solve the problem.