このディレクトリの索引

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

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

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

'4'(_,0,[]).
'4'(_1,_2,[_3|_4]) :- '13'(_2,0),'14'(_3,_1),'15'(_5,_2 - 1),'4'(_1,_5,_4).

'5'(_1,_2) :- '16'(_3,('17'(_1,_,1,_,_4),'6'(_4,_3)),_5),'12'(_2,_5).

'6'(_1,_2) :- '18'(_1,_3),'15'(_4,_3 - 32),'18'(_2,_4).

'7'(_1) :- '19'(_1),'20'.


'11' :- fail.

'12'(_1,_2) :- atom_chars(_1,_2).

'13'(_1,_2) :- _1 > _2.

'14'(_1,_2) :- member(_1,_2).

'15'(_1,_2) :- _1 is _2.

'16'(_1,_2,_3) :- findall(_1,_2,_3).

'17'(_1,_2,_3,_4,_5) :- sub_atom(_1,_2,_3,_4,_5).

'18'(_1,_2) :- char_code(_1,_2).

'19'(_1) :- write(_1).

'20' :- nl.

:- initialization('1').