[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Issues with ubuntu 18.04

From: Jerry Hancock
Subject: Re: Issues with ubuntu 18.04
Date: Mon, 29 Mar 2021 12:00:28 -0700

thanks, I compiled from source and it fixed the problem on 18.  I’d like to migrate this system to 20 but it would be a ton of work.



On Mar 29, 2021, at 5:52 AM, Salvador Abreu <spa@uevora.pt> wrote:

that bug is fixed in the current distribution, e.g. package version
it's in the current LTS (20.4)


On 26 Mar 2021, at 07:56, Paulo Moura <pmoura@mac.com> wrote:

The Ubuntu .deb package is broken. You need to compile and install GNU Prolog from sources.

On 25 Mar 2021, at 21:25, Jerry Hancock <jerry@hanler.com> wrote:


Please excuse me for asking about something so old.  I installed gnu-prolog 1.4.5 on ubuntu server 18.04.  The underlying hardware is an HP dl380 with at least 24 cores.  I had some code that runs perfectly but slowly on other servers so I thought I would try my cloud server.

The test code is simple and instantiated in sit3.pl:



On my other installations, the first solution X=blue is returned as expected..  On the ubuntu server 18.04 , I get an error, "uncaught exception error(existence_error(procedure,c/0),sit3/0) “ implying that c/0 doesn’t exist but I’m not calling c/0 I’m calling c/1 as below:

| ?- sit3(X).
    1    1  Call: sit3(_24) ?
    2    2  Call: c ?
    2    2  Exception: c ?
    1    1  Exception: sit3(_24) ?
uncaught exception: error(existence_error(procedure,c/0),sit3/0)
| ?-

If I assert the clauses from the terminal, all is well.

If I run c(X), trace returns:

| ?- c(X).
    1    1  Call: c(_24) ?
    1    1  Exit: c(blue) ?

X = blue ?


| ?- asserta(cc(blue)).

| ?- asserta(cc(green)).

| ?- asserta((sit33(X):-cc(X))).

| ?- sit33(X).

X = green ?

This is a very simple example that should work.  I’ve been working with prolog since the late 80’s and unless there is an ini file that is note allowing the clauses to be added correctly, I could't find it.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]