Last week the Emacs package Sweep got a new “term search” feature that lets you interactively search through Prolog buffers by giving a search term and finding matching terms that are subsumed by it.
I’ve made a short video explaining the rationale behind this feature and demonstrating its basic usage here:
I’m not really used to doing this kind of recordings so that’s probably not my most eloquent work, but hopefully the key points are clear enough. The manual covers all the relevant details as well.
If you give it a try and have any issues or suggestions, I’ll be happy to hear about it