I’m using: SWI-Prolog version 9.2.7, janus_swi 1.4.0 I want the code to: #!/usr/bin/python import janus_swi as janus janus.consult("x", r""" point((X,Y)) :- between(0,1,X), between(0,1,Y). """) print(list(janus.query("point(Z)"))) But what I’m getting is: janus_swi.janus.PrologError: ‘$c…

Prolog (a,b,c,d) is a bad choice as it is a term ','(a, ','(b, ','(c,d))), which is not an array as what Python tuples are. Also () is illegal syntax. So, we represent tuples as -(a,b,c,d), exploiting Prolog’s common pair notation for the common binary tuples: a-b. We had long discussions, but …

Thank you, I will stick to a-b notation. btw Python itself is ambiguous about tuples: [image] Propose Review of Single Element Tuple Handling in Python Ideas Issue Overview In Python, there’s an ambiguous behavior when dealin…

[image] anon95304481: 1-2-3 = A-B. That is a nested pair. The Python tuple (1,2,3) takes the Prolog shape -(1,2,3). There was a clear agreement that a tuple should map on a compound term and a lot of discussion about the functor name.

Yes, exactly. You also missed the 0-tuple and the singleton, so - % or maybe -() -(1) -(1,2) ... Interestingly, when I just search the wider internets for “list vs tuple” all top hits take me to Python-specific sources. This one for example : Tuples are heterogeneous data structures (i.e., their …

Janus does not like (X,Y) notation for tuples

Help!

Boris October 4, 2024, 3:03pm 8

I searched for “tuple” in the discourse site here and found this post which then had a link to this other thread.

Topic		Replies	Views
Surprising result with equals dot dot Help! functor	16	1445	February 8, 2022
Prolog convention of Pairs and Tuples Discussion discussion	3	2731	May 9, 2022
Janus: accessing elements of python tuples and arrays General	7	124	August 30, 2024
Terminology for A-B-C Help!	5	449	July 22, 2020
Variables with Janus Help! how-to	14	263	May 14, 2024

Janus does not like (X,Y) notation for tuples

Related topics