B-Prolog action rules are currently not supported