...や繰り返しをサポートするとprologみたいに複数解になるかね