I saw Proplog mentioned for the first time in years, a couple of days ago. It made me think of Poplog which I came across in my first job, in about 1982, on the DECUS tapes, with the early GNU software. I used to play with Sussex University's POP-11 at lunch time while my colleagues played 'D&D' and landed VAXes on the moon. I discovered that it still survives in a (not so) secret bunker at Brum Uni as a Free software project
It's run by this guy: https://en.wikipedia.org/wiki/Aaron_Sloman
No, I have never been a gamer.