Cosmos
Results
2
comments of
Cosmos
Supporting `not` adequately is an open problem (the `not` in Prolog is impure). `neq/diff` could be added at some point with constraints.
Does it work on cygwin? I got the exact same error. ``` make: *** [/home/Computer/ciao-master/builder/sh_src/engine.mk:45: system.o] Error 1 ERROR: Bootstrap could not be compiled! If needed, use 'emergency-clean' to recover...