某処理系のバグをいくつか適当に潰してみた
地下1階　いくつかの組込み述語で''や[]を考慮していない件
地下2階　findall/3で生成される変数が同一視される（番号の系列が繰り返される）件
地下3階　_が実際に単一化されない件
結果的に、何かの練習問題みたいだった

| ?-findall(X,(true;true;X=A;X=B-C),L).

X = _11
A = _13
B = _15
C = _17
L = [_32,_32,_32,_32-_34] ->;
no