Daniel Diaz

From a scientific point of view, there is no reason to not normalize any angle. However, it is perhaps educational (for young programmers, children,...) to see the turtle turning on...

(I'm currently on holidays so I answer quickly) Try to change in `BipsPl/dynam_supp.h:40` the `#if 1` by `#if 0` then (in `src/`): ``` make clean make ``` If the bug...

It is in `dynam_supp.c` (updated)

I know, but it was a design choice: don't lose time to check stack overflow by software while the hadware (MMU+virtual memory) can do it for free. Unfortunately, it is...

I understand but this case is rather difficult to fix in practice in the general case (this is a particular case only). Maybe raise an error when 0/0 appears (even...

I admit this is a bit confusing. It is a 1.5.1 rc.

added a tag

A general remark: this option is to help the user to limit large term display by giving it "an idea" of what the term is. The ellipsis meaning "followed by...

I don't find SICStus coherent (with itself) between 0-1,0-2,0-3 and 1-1,1-2,1-3. It seems variables are treated differently (why not all atomics also ?). This seems confirmed by 2-1,2-2,2-3 wrt 3-1,3-2,3-3.

> A `...` stands for a non-variable term. Interesting ? Do you have a reference for this definition ? > Yes, variables are treated differently! On which systems (other than...