Do not mention TBOX immutable in Prolog

Fix #12