Я решаю классическую проблему восьми королев в прологе. А теперь я собираюсь начать кодирование бита, который удаляет размышления о горизонтальной линии. Y = 4. Скажем, если точка (3.3) отражена, новая точка будет (6,6), это правильно? Другим примером (2,1) станет (7,8).