如何将Prolog的if-then转换为带reification的多子句，设计无bug顶层接口

我希望设计一个无Bug的Prolog顶层接口，其中!能正确剪除选择点（choicepoints），而非if-then结构那样错误地剪除选择点。我的思路是将if-then转换为多子句形式，在每个子句开头测试前件的reification真值。

例如，下方的test1展示了原始的if-then子句：

test1:-(a1(1)->b1;c1).
a1(1).
b1.
c1.

内容的提问来源于stack exchange，提问作者Lucian Green