../code/conceptPage.scroll id modular-prolog name Modular Prolog appeared 1992 tags pl lab University of Oxford country United Kingdom reference https://semanticscholar.org/paper/29b44e1ce6ecd6367468aa062282a86cd61519b9 hopl https://hopl.info/showlanguage.prx?exp=1697