Should I create a Ticket on GitHub? It doesn’t show me _S3: /* SWI-Prolog 9.3.25 */ ?- X = _S1-0, _S1 = _S1-1-0, Y = _S2-1-0, _S2 = _S2-0-1, Z = _S3-1, _S3 = _S3-0-1. X = _S1-0, % where _S1 = _S1-1-0, Y = _S2-1-0, % where _S2 = _S2-0-1, Z = _S3-1. Maybe a subtle clash because I al…

Top-Level swallows Cyclic Term

wlodr July 23, 2025, 12:44pm 5

swipl v. 9.0.4 of Debian gives

?- _S = _S-0-1, X = _S-1.
_S = _S-0-1,
X = _S-1.

1 Like

Border case in Query Answer display

Topic		Replies	Views
Clause Compilation swallows Cyclic Equations General	4	61	July 22, 2025
Some challenge for a top-level with cyclic terms General	0	214	April 13, 2023
Cyclic term predicates suffer from ambiguity General	0	51	July 26, 2025
Border case in Query Answer display Help!	5	116	July 31, 2025
A=call(A), call(A). % can I get tail recursion? Help!	13	1036	April 24, 2022