UWN

`e` is not an arithmetic functor in the standard. It can be considered as an extension (5.5.10) only. `exp(1)` is working in any conforming system. ``` ?- X is exp(1)....

Does this need to be built in? A library would not help?

(in traditional UNIX development, this dependency would handled with a `make(1)` file)

A fact `[]` can still be written as `[]:-true.` Note that in SICStus, a single `[].` is ignored. And a list of terms is just handled as a sequence of...

What OS? Under Linux C-c aborts as (it seems) you expect it. ``` ?- repeat,false. ^C error('$interrupt_thrown',repl/0). ```

Just realizing: C-/ is undo (handy on US keyboards), probably the same as C-u.

Catching any exception is a receipt for disaster, since this may mask out unexpected problems. Also note that in your case, you will only catch all exceptions that are the...

> a complete 180 for me. ??? First, the answers for ``` ?- length(L,N), append(L,_,[1|L]),N > 99. L = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1], N = 100 ; L = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1|...], N = 101...

Please consider double bars as a [syntax extension](https://www.complang.tuwien.ac.at/ulrich/iso-prolog/double_bar).

Also here, writing with a depth. Conceptually, `max_depth/1` could/should be implemented like making first a transformation of the term, inserting atoms `...` and then writing that out.