Did you know ... Search Documentation:
Pack prologmud_I7 -- prolog/chat80/TODO
  • Normalisation of clauses that are lost in the compiler:
    • (a | b) --> (a ; b)
    • (a, b), c --> a, b, c.
    • a :- true --> a.

    I.e. the unify_clause code.