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 …

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	1354	February 8, 2022
Variables with Janus Help! how-to	14	181	May 14, 2024
Problem with Calling Prolog from Python PlDoc	10	314	April 7, 2024
Ann: SWI-Prolog 9.1.17 Releases	19	477	October 24, 2023
Making more than one janus.consult() statements possible Request For Comments janus	13	53	September 28, 2024

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

Related topics