Det check and local rule with pi

[FissoreD]

func p int -> int.
func q -> int.

p X 3 :- !.

q X :- !, pi x\ p x 5 => p x X.

main :-
  std.findall (q X) L, print L. % there are two solutions