diff --git a/pl/yio.yap b/pl/yio.yap index d4fbfefb8..8bab64dbc 100644 --- a/pl/yio.yap +++ b/pl/yio.yap @@ -771,7 +771,7 @@ stream_property(Stream, Prop) :- var(Prop), !, '$stream_property'(Stream, Prop). stream_property(Stream, Props) :- var(Stream), !, '$current_stream'(_,_,Stream), - '$stream_property'(Stream, Props). + '$stream_property'(Stream, Props), !. stream_property(Stream, Props) :- '$stream_property'(Stream, Props). stream_property(Stream, Props) :-