will-holdsworth/comp30002-project-1
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

spacing

Browse source
This commit is contained in:
wi11-holdsworth 2025-08-28 15:12:05 +10:00
parent 1067bfe0c2
commit 77c82024d0
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
main.pl
View file

@ -65,11 +65,11 @@ main_diagonal([Row|Rows], Column, [D|Ds]) :-
% %
% Holds when the variables in the list `Vars` can be unified % 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, Vars).
all_same(Var, [Var]). all_same(Var, [Var]).
all_same(Var, [Var|Vars]) :- all_same(Var, [Var|Vars]) :-
all_same(Var, Vars). all_same(Var, Vars).
%% valid(+Row) %% valid(+Row)