Big update to Prolog A1