Forward chaining with backtracking. Straightforward but untested. Might require relaxing constraints for actual use.
Forward chaining with backtracking.
Straightforward but untested.
Might require relaxing constraints for actual use.

research-team/robot-dream,research-team/robot-dream,research-team/robot-dream