../code/conceptPage.scroll id prolog-kr name Prolog/KR appeared 1984 tags pl lab University of Tokyo country Japan reference https://semanticscholar.org/paper/419b71f6e9c856ffdfc0b37b3abb622cba83626e hopl https://hopl.info/showlanguage.prx?exp=4207