A parser for the BOPL language in Eclipse-Prolog