~~NOCACHE~~ ===== test 1 prolog ===== ~~NOCACHE~~ sss(1). sss(2). sss(3). sss(4).