Janus: py_call(1 + 2, Sum)

[mgondan1]

So, now we can “simplify” algebraic expressions with janus:

14 ?- py_import(sympy, []).
15 ?- py_call(sympy:'Symbol'(x), X), py_call(operator:add(X, X), X2), py_pp(X2).
2*x
@(none)
X = <py_Symbol>(0000029b4b455940),
X2 = <py_Mul>(0000029b4cea7000).

Note the 2*x. The remaining challenge is to get 2*x back from the py_Mul blob in sympy.

Update:

Any Symbolic Expression Lib?

Here is a stub to interface sympy sympy.pl: :- module(sympy, [sympy/2]). :- use_module(library(janus)), py_import(sympy, []). sympy(A, R) :- sym(A, S), mys(S, R). :- discontiguous sym/2, mys/2. sym(A, S) :- atom(A), py_call(sympy:'Symbol'(A), S). mys(S, A) :- py_call(S:is_symbol, @(true)), py_call(S:name, A). sym(A, S) :- integer(A), py_call(sympy:'Integer'(A), S). mys(S, A) :- py_call(S:is_integer, @(true)), py_call(int(S), A). sym(A + B, S)…