https://picat-lang.org/

Description

Picat is an "ultimate declarative language" in some sense. With CP (constraint programming) and SAT (satisfiability problem) solver built-ins, you can solve complex problems such as N-Queen and Sudoku by just writing down the problem and calling solve.

Other than that, it generally feels like a mix of Haskell and Prolog.

Using this language in Code Golf should be straightforward, as you can pass command-line args as picat source.pi a b c and the args are automatically passed as a list of strings to the one-argument version of main.

Placeholder code for Picat (ATO):

main(Args) =>
    % Printing
    println("Hello, World!"),
    % Looping
    foreach(I in 1..10)
        println(I)
    end,
    % Accessing arguments
    foreach(Arg in Args)
        println(Arg)
    end.