use Language::Prolog::Yaswi qw(:load :query);
use Language::Prolog::Sugar vars => [qw(A B C D E F)],
                            functors => [qw(problem)];

swi_inline <<EOP;

:- use_module(library(clpfd)).

problem(Vars) :-
	Vars = [A, B, C, D, E, F],
	Vars ins 0..1,
	A + E #=< 1,
	A + B #=< 1,
	C + E #=< 1,
	D + F #=< 1,
	B + D #=< 1,
	A + C + E #>= 1,
	B + D #>= 1,
	E + F #>=  1,
	D + F #= 1,
	A + E #=< 1,
	C + D #=< 1,
	A + B + C + D + E + F #= 3,
	label(Vars).

EOP

swi_set_query(problem([A, B, C, D, E, F]));
while (swi_next) {
    my @r = swi_vars(A, B, C, D, E, F);
    print join(', ', @r), "\n";
}

# prints:
# 0, 1, 0, 0, 1, 1
# 0, 1, 1, 0, 0, 1