To be clear, this is how you write your clauses so that the meta-interpreter can read them, not how clause/2 is implemented in practice: clause(H:-B,B). cl

To be clear, this is how you write your clauses so that the meta-interpreter can read them, not how clause/2 is implemented in practice: clause(H:-B,B). clause((H:-),true). Should've made that clear up front :0