../code/conceptPage.scroll id prolog-iii name Prolog III appeared 1984 tags pl lab Aix-Marseille Université country France reference https://semanticscholar.org/paper/281cb123812ab786ac4675e095b5ef22ee83d861 hopl https://hopl.info/showlanguage.prx?exp=1112