このディレクトリの索引

'1' :- '2'(_1),'3'(_1),fail.
'1'.

'2'(_1) :- atom_chars(mldsg,_2),'4'(_2,3,_4),atom_chars(_1,_4).

'3'(_1) :- '5'(_1,_2),'7'(_2).

'4'(_,0,[]).
'4'(_1,_2,[_3|_4]) :- _2 > 0,member(_3,_1),_5 is _2 - 1,'4'(_1,_5,_4).

'5'(_1,_2) :- findall(_3,(sub_atom(_1,_,1,_,_4),'6'(_4,_3)),_5),atom_chars(_2,_5).

'6'(_1,_2) :- char_code(_1,_3),_4 is _3 -32,char_code(_2,_4).

'7'(_1) :- write(_1),nl.

:- initialization('1').