From 77c82024d0c437fb5a5f3039513f71b1cedbe126 Mon Sep 17 00:00:00 2001 From: wi11-holdsworth <83637728+wi11-holdsworth@users.noreply.github.com> Date: Thu, 28 Aug 2025 15:12:05 +1000 Subject: [PATCH] spacing --- main.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/main.pl b/main.pl index 6eb91e3..11d21ee 100644 --- a/main.pl +++ b/main.pl @@ -65,11 +65,11 @@ main_diagonal([Row|Rows], Column, [D|Ds]) :- % % Holds when the variables in the list `Vars` can be unified all_same([Var|Vars]) :- - all_same(Var, Vars). + all_same(Var, Vars). all_same(Var, [Var]). all_same(Var, [Var|Vars]) :- - all_same(Var, Vars). + all_same(Var, Vars). %% valid(+Row)