Follow
Prolog, SWI
I am quite willing to use the SWI-Prolog shell as the UI. Just wondering why the default printing of solutions isn't pager-like (more than 1 solution at a time), and a table with variable values in columns.
Prolog, SWI
@pizzapal just saying that there is widespread pager-like UI behaviour to go by. Good to know libraries exist, but I will try something like portray clauses just for the UI part.
Prolog, SWI
@tetrislife which prolog implementations have pager behavior like that? the only impls i have used are SWI and GNU. however, i've used a lot of prolog-adjacent languages/systems like SPARQL, datalog, and OWL DL query that have that style.
Prolog, SWI
@tetrislife i think it's because you're generally not meant to execute queries that have a lot of solutions in the top level shell, and if you do, you're supposed to use something like library(aggregate) or clp(finite/real/boolean domains) to do whatever with the results.
there's probably too many options there for any one to be chosen as the default.
however, i think you may be able to customize your shell to set a default number and presentation for solutions.