Damiano Azzolini

icon indicating a website link https://ai.unife.it/team/prof-damiano-azzolini

icon company University of Ferrara icon location Italy icon location Assistant Professor (RTD-a) at University of Ferrara.

Results 4 issues of Damiano Azzolini

Core dump

9 comment

Hi, I'm trying to use this package with SWI-Prolog version 8.5.8. However, I get a core dump for every program I test. For example, with the example program in the...

Are Aggregates Fully Supported?

1 comment

Hi. I'm writing a simple program but the following line: ``` fb(FB):- #count{ X : f(X), b(X)} = FB. ``` raises a syntax error (at `FB` after `=`). However, by...

bug

Added the option to download the code stored in a notebook

3 comment

I've added a button to download the prolog code of a notebook in a file called program.pl

Re-run button does not work

As said in the title, when i push the button re-run which appears when i click on the little owl on the left of an executed query, nothing happens.