I would like to choose and save some of the solutions a predicate/query returns while ignoring all the others. I wonder what would be a straight forward solution for this.
Well, I could create a web interface or export as CSV and import choosen records back…
The next best solution seems to be writing my own REPL for this, but I wonder if there is something like a hook for the standard REPL:
Currently I can navigate through the solutions hitting keys “n” or “a” and print with “p”; and with “t S” I even can save a goal. (Unfortunately with “t S u a” I get some kind of crash with infinite back trace output - maybe a bug?)
But is there e.g. an option like adding a “s” key which saves the current solution for later use and then proceed with “n” as usual?