BACPROL: Bottom-Up Analysis of Logic Programming Languages

What does BACPROL mean? The above is one of BACPROL meanings. It may have other definitions. Please refer to the end of this passage.

Definition in English: Bottom-Up Analysis of Logic Programming Languages