Warning! It seems that you are using Dodona within another webpage, so not everything may work properly. Let your teacher know so that he can solve the problem by adjusting a setting in the learning environment. In the meantime, you can click this link to open Dodona in a new window.
Warning! The page was not fully loaded, probably because of a network issue. It could be that not all functionalities work as expected. Please try reloading the page.
Prolog exercise
Magic square
Sign in to hand in your solution and get feedback.
:- use_module(library(clpfd)).
main(Dim) :-
magic_square(Square,Dim),
maplist(portray_clause,Square),
Square=[Row|_],
lists:sum_list(Row,Sum),
write(Sum).
magic_square(Square,Dim) :-
magic_square_constraints(Square, Dim),
maplist(label, Square).
magic_square_constraints(Square, Dim) :-
...