notoria

Conjunction of 32665 predicates

2

With this [program](https://pastebin.com/FrRUahFE), a prolog code is generated with 32665 predicates but the conjunction fails, the definition of `a` and pasting the body of `a` in toplevel fails. There error...

Top-level and operator parenthesis

1

The following happens: ``` ?- current_op(A, B, C). A = 400, B = yfx, C = (*) ; A = 200, B = xfy, C = ** ; A =...

Unexpected execution with read/1

3

The following happens: ``` ?- write(begin), read(G), write(end). begin true. write(something). end G = true. something true. ?- ```

Is cut a predicate?

7

The following happens: ``` ?- !. caught: error(existence_error(procedure,!/0),!/0) ?- ``` While: ``` ?- true, !. true. ?- !, true. true. ?- ```