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 >
_______________________________________________ Bug-prolog mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-prolog
