RosettaCodeData/Task/ABC-problem/Prolog/abc-problem-1.pro

abc_problem :-
   maplist(abc_problem, ['', 'A', bark, bOOk, treAT, 'COmmon', sQuaD, 'CONFUSE']).


abc_problem(Word) :-
   L = [[b,o],[x,k],[d,q],[c,p],[n,a],[g,t],[r,e],[t,g],[q,d],[f,s],
        [j,w],[h,u],[v,i],[a,n],[o,b],[e,r],[f,s],[l,y],[p,c],[z,m]],

   (   abc_problem(L, Word)
   ->  format('~w OK~n', [Word])
   ;   format('~w KO~n', [Word])).

abc_problem(L, Word) :-
   atom_chars(Word, C_Words),
   maplist(downcase_atom, C_Words, D_Words),
   can_makeword(L, D_Words).

can_makeword(_L, []).

can_makeword(L, [H | T]) :-
   (   select([H, _], L, L1); select([_, H], L, L1)),
   can_makeword(L1, T).