ページ 30 | Codetter（こーどったー）

    class EnglishConverter
    {
        static readonly string[] underTwenty =
        {
            "zero"

natural(0).
natural(s(N)) :- natural(N).

natural(0, 0).
natural(s(N), X) :- number(X), !, X > 0, X1 is X - 1, natural(N, X1).	% N によって変項 X を単一化させる場合

mylength([], 0).
mylength([_|T], N) :- mylength(T, N1), N is N1 + 1.

零リスト([]).
零リスト([0|T]) :- 零リスト(T).

$request_token_url = "http://api.twitter.com/oauth/request_token";
$access_token_url = "http://api.twitter.com/oauth/access_token";
$authorize_url = "http://api.twitter.com/oauth/authenticate";

// ビュー
$this->Form->input('Habtm', ['multiple' => 'checkbox']);

// コントローラ
if (isset($this->request->data['Habtm']['Habtm'][0])) {

順列(Y,0,[]).
順列(Y,N,[A|X]) :- del(A,Y,Z), M is N - 1, 順列(Z,M,X).
del(A,[A|X],X).
del(A,[B|X],[B|Y]) :- del(A,X,Y).

remove1(E, [E|Tail], Tail).
remove1(E, [X|Tail], [X|List]) :- remove1(E, Tail, List).

permutation([], []).
permutation(List, [H|Tail]) :- remove1(H, List, List1), permutation(List1, Tail).

;
;[ Infomation ]
; Name      : ドロネー三角形分割
; SubName   : 
; Version   : 

一要素置換([Bef|Tail], [Aft|Tail], (Bef, Aft)).
一要素置換([X|BefTail], [X|AftTail], Replace) :-
	一要素置換(BefTail, AftTail, Replace).

% デジタル文字の定義

/*-----------------------------------------------------------------------------------
	[AmIndexed]
		Implements the INDEXED addressing mode.
		JMP INDEXED completes in this stage.
-----------------------------------------------------------------------------------*/