Posted in Information Technology BACPROL stands for Bottom-Up Analysis of Logic Programming Languages