logtalk basically takes prolog and bolts on a smalltalk-style OO system and it is kinda batshit but also utterly beautiful and even if you don't use it I hope y

logtalk basically takes prolog and bolts on a smalltalk-style OO system and it is kinda batshit but also utterly beautiful and even if you don't use it I hope you'll be fascinated by reading up on it. (also because it's built -atop- prolog you can potentially get it to run on a prolog-in-X implementation though I've not yet tried that ... though I'm now tempted to so I'm going to finish this comment before I nerd snipe myself)