Bencoding for Prolog