Closed flexoron closed 2 months ago
v2.50.26
$ tpl ?- use_module(library(clpz)). true. ?- current_op(X,Y,Z). X = 150, Y = fx, Z = (#) ; ... . ?- 1 + 2 #= X + 1. X = 2. ?- current_op(X,Y,Z). false. % unexpected ?-
v2.50.26