Any Symbolic Expression Lib?

General
6

Same here :slight_smile:

Rumors say that SWI-Prolog can interface to Python. So, what is needed to execute, from swipl, something like

>>> import sympy as sym
>>> x = sym.Symbol('x')
>>> y = sym.Symbol('y')
>>> x + y + x - y
2*x

and get the 2*x back in Prolog?