このディレクトリの索引

'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]) :- _2 > 0,'13'(_3,_1),_5 is _2 - 1,'4'(_1,_5,_4).

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

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

'7'(_1) :- '17'(_1),'18'.

'11' :- fail.

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

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

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

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

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

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

'18' :- nl.

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

:- '19'('1').