*-> operator doesn't work !

[victor]

Hello,

I tried to use *-> (see http://gollem.science.uva.nl/SWI-Prolog/Manual/control.html#*-%3E/2 ) operator in a logtalk code, and it looks like it is not recognized by logtalk.

There is an exemple :

:- object(test).

	:- public([test1/1, test2/1]).

	test1(X) :-
		(a(X) -> write('ok') ; write('no')), nl.

	test2(X) :-
		(a(X) *-> write('ok') ; write('no')), nl.

	a(1).
	a(2).
	a(3).

:- end_object.

When run I get :

?- test::test1(X).
ok
X = 1.

?- test::test2(X).
ERROR: '$test_0_test2_1'/4: Undefined procedure: a/1

And when it is done from classical prolog in swi-prolog :

?- test1(X).
ok
X = 1.

?- test2(X).
ok
X = 1 ;
ok
X = 2 ;
ok
X = 3.

?- 

[anonymous]

Thanks for the bug report. There is a bug a in the SWI-Prolog config file in the declaration of the proprietary built-in meta-predicate "soft cut". The problem is already corrected in the current development version (r4199).