# CLPR behaves differently in SWISH than in SWIPL

**URL:** <https://swi-prolog.discourse.group/t/clpr-behaves-differently-in-swish-than-in-swipl/3890>\
**Category:** Help!\
**Created:** [April 30, 2021, 2:57pm UTC](https://swi-prolog.discourse.group/t/clpr-behaves-differently-in-swish-than-in-swipl/3890 "2021-04-30T14:57:09Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![JCR](https://avatars.discourse-cdn.com/v4/letter/j/258eb7/32.png) [@JCR](https://swi-prolog.discourse.group/u/JCR)\
**Post date:** [April 30, 2021, 2:57pm UTC](https://swi-prolog.discourse.group/t/clpr-behaves-differently-in-swish-than-in-swipl/3890/1 "2021-04-30T14:57:09Z")

</div>

Hi!

With this program:

```
:- use_module(library(clpr)).    
doMyEq(EQ):-{EQ}.
eq(X = 1 + 1).

```

When I run `?-eq(EQ), doMyEq(EQ).` on my laptop with SWIPL (version 8.2.1) i get  
`EQ = (2.0=1+1) ;`

But with the same program and query, in SWISH i get the error:

```
Arguments are not sufficiently instantiated
In:
[2] 0> -_1550/1.0
[1] nf_r:submit_eq_c1([],v(1.0,[...]),_1604) at /home/swish/lib/swipl/library/clp/clpr/nf_r.pl:264

```

Does anybody know what’s happening? I would like to know because I am trying to build a meta interpreter for use in SWISH that doesn’t need call/1.

Kind regards, JCR
