I’m a beginner in SWI-Prolog and I am trying to get multiple solutions from a query. For example, test(1, 1). test(1, 2). test(2, 1). test(2, 2). ?- test(X, Y). X = Y, Y = 1 ; X = 1, Y = 2 ; X = 2, Y = 1 ; X = Y, Y = 2. However, I have to press semicolon to get the next solution and it’s inconve…

Some newbie questions (e.g. how to get at most N solutions, what is template? what is @, :, +, - in arguments)

EricGT November 5, 2021, 12:37pm 17

You might find this of value, someday.

Topic		Replies	Views
Programming cooperation Predicate	35	2319	July 27, 2022
Thinking In Prolog - for procedural programmers Help!	18	3462	July 21, 2019
Findall displaying only 9 resulting elements Help!	4	538	July 30, 2020
ChatGPT SWI-Prolog assistent Nice to know chatgpt , llm	27	582	July 1, 2025
Bug in setof? -- findall works but setof doesn't find dynamic predicate Help!	15	1490	July 8, 2021