to execute the benchmarks ?-[]. ?-go. It might happen that this directory has some programs slightly uncompatible with the current version of BinProlog.