Re: GNU Prolog 1.4.5 under Linux

--===============2472735596123631609==
Content-Type: multipart/alternative; boundary="000000000000b87f5205769d6df0"

--000000000000b87f5205769d6df0
Content-Type: text/plain; charset="UTF-8"

it's a problem with the Debian release, I'm working on it.

in the meantime, you can get the source from gprolog.org and recompile it.
It should work.

best
-salvador

On Mon, Sep 24, 2018 at 1:41 PM Sergey S. Kumkov <[email protected]> wrote:

> Linux serge-note 4.15.0-34-generic #37-Ubuntu SMP Mon Aug 27 15:21:48
> UTC 2018 x86_64 x86_64 x86_64 GNU/Linux
>
> (actually, kubuntu 18.04.1, if it is important)
>
>
> GNU Prolog 1.4.5 (64 bits)
> Compiled Feb  5 2017, 10:30:08 with gcc
> By Daniel Diaz
> Copyright (C) 1999-2016 Daniel Diaz
>
> (installed from repositories by apt)
>
>
> --------- max1.pro --------------
> mmax(X,Y,Z) :- X > Y -> Z = X.
> mmax(_,Y,Y).
> ---------------------------------
>
>
> ---------------------------------
> serge@serge-note:~/Programming/Prolog$ gprolog
> GNU Prolog 1.4.5 (64 bits)
> Compiled Feb  5 2017, 10:30:08 with gcc
> By Daniel Diaz
> Copyright (C) 1999-2016 Daniel Diaz
> | ?- ['max1'].
> compiling /home/serge/Programming/Prolog/max1.pro for byte code...
> /home/serge/Programming/Prolog/max1.pro compiled, 2 lines read - 735
> bytes written, 12 ms
>
> yes
> | ?- listing.
>
> % file: /home/serge/Programming/Prolog/max1.pro
>
> mmax(A, B, C) :-
>          (   A > B ->
>              C = A
>          ).
> mmax(_, A, A).
>
> yes
> | ?- mmax(1,2,R).
> uncaught exception:
> error(existence_error(procedure,'$mmax/3_$aux1'/0),mmax/0)
>
> ---------------------------------
>
> Why does the interpreter not find an existing preicate?
>
>
> Sincerely your, Sergey Kumkov
>
> ------------------------------
>      [email protected]
>      ICQ UIN 8418050
>      Skype: sskumk
>      mobile: +7(922)2057287
> ------------------------------
>
>
> _______________________________________________
> Bug-prolog mailing list
> [email protected]
> https://lists.gnu.org/mailman/listinfo/bug-prolog
>

--000000000000b87f5205769d6df0
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">it&#39;s a problem with the Debian release, I&#39;m workin=
g on it.<div><br></div><div>in the meantime, you can get the source from <a=
 href=3D"http://gprolog.org">gprolog.org</a> and recompile it. It should wo=
rk.</div><div><br></div><div>best</div><div>-salvador</div></div><br><div c=
lass=3D"gmail_quote"><div dir=3D"ltr">On Mon, Sep 24, 2018 at 1:41 PM Serge=
y S. Kumkov &lt;<a href=3D"mailto:[email protected]">[email protected]</a>&gt=
; wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .=
8ex;border-left:1px #ccc solid;padding-left:1ex">Linux serge-note 4.15.0-34=
-generic #37-Ubuntu SMP Mon Aug 27 15:21:48 <br>
UTC 2018 x86_64 x86_64 x86_64 GNU/Linux<br>
<br>
(actually, kubuntu 18.04.1, if it is important)<br>
<br>
<br>
GNU Prolog 1.4.5 (64 bits)<br>
Compiled Feb=C2=A0 5 2017, 10:30:08 with gcc<br>
By Daniel Diaz<br>
Copyright (C) 1999-2016 Daniel Diaz<br>
<br>
(installed from repositories by apt)<br>
<br>
<br>
--------- <a href=3D"http://max1.pro" rel=3D"noreferrer" target=3D"_blank">=
max1.pro</a> --------------<br>
mmax(X,Y,Z) :- X &gt; Y -&gt; Z =3D X.<br>
mmax(_,Y,Y).<br>
---------------------------------<br>
<br>
<br>
---------------------------------<br>
serge@serge-note:~/Programming/Prolog$ gprolog<br>
GNU Prolog 1.4.5 (64 bits)<br>
Compiled Feb=C2=A0 5 2017, 10:30:08 with gcc<br>
By Daniel Diaz<br>
Copyright (C) 1999-2016 Daniel Diaz<br>
| ?- [&#39;max1&#39;].<br>
compiling /home/serge/Programming/Prolog/<a href=3D"http://max1.pro" rel=3D=
"noreferrer" target=3D"_blank">max1.pro</a> for byte code...<br>
/home/serge/Programming/Prolog/<a href=3D"http://max1.pro" rel=3D"noreferre=
r" target=3D"_blank">max1.pro</a> compiled, 2 lines read - 735 <br>
bytes written, 12 ms<br>
<br>
yes<br>
| ?- listing.<br>
<br>
% file: /home/serge/Programming/Prolog/<a href=3D"http://max1.pro" rel=3D"n=
oreferrer" target=3D"_blank">max1.pro</a><br>
<br>
mmax(A, B, C) :-<br>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(=C2=A0 =C2=A0A &gt; B -&gt;<br>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0C =3D A<br>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0).<br>
mmax(_, A, A).<br>
<br>
yes<br>
| ?- mmax(1,2,R).<br>
uncaught exception: <br>
error(existence_error(procedure,&#39;$mmax/3_$aux1&#39;/0),mmax/0)<br>
<br>
---------------------------------<br>
<br>
Why does the interpreter not find an existing preicate?<br>
<br>
<br>
Sincerely your, Sergey Kumkov<br>
<br>
------------------------------<br>
=C2=A0 =C2=A0 =C2=A0<a href=3D"mailto:[email protected]" target=3D"_blank">s=
[email protected]</a><br>
=C2=A0 =C2=A0 =C2=A0ICQ UIN 8418050<br>
=C2=A0 =C2=A0 =C2=A0Skype: sskumk<br>
=C2=A0 =C2=A0 =C2=A0mobile: +7(922)2057287<br>
------------------------------<br>
<br>
<br>
_______________________________________________<br>
Bug-prolog mailing list<br>
<a href=3D"mailto:[email protected]" target=3D"_blank">[email protected]<=
/a><br>
<a href=3D"https://lists.gnu.org/mailman/listinfo/bug-prolog" rel=3D"norefe=
rrer" target=3D"_blank">https://lists.gnu.org/mailman/listinfo/bug-prolog</=
a><br>
</blockquote></div>

--000000000000b87f5205769d6df0--


--===============2472735596123631609==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Bug-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-prolog

--===============2472735596123631609==--