Prolog 写経記 その 27 split/4

(ほぼ) 毎日淡々と Prolog を写経します．元ネタはこちら．

Prologユーティリティライブラリ

今日は split/4 を写経します．

解説

split(X, List, List1, List2) は List2 の最初の要素が X になるよう List を List1 と List2 の 2 つの部分リストに分割する．

ふむ．Java でいうと．．． そのまんまはないような．．．

モード

split(?, ?, ?, ?)

お，久しぶりに全部入出力どっちでも可．
といっても，全ての変数を具体化しないで呼び出せるわけではないと思いますが．

定義

では，こいつの定義を写経しませう．

split(X, List, List1, List2) :-
	conc(List1, [X | L], List),
	conc([X], L, List2).

．．．
またこのパターンかぁ．
いったい何度目になるんだろう？
ともあれ (JW)，List を X とその左にある要素のリスト(List1)と右にある要素のリスト(L)の3つに分けて以下同文，見たいな．
まぁ，見慣れたからといって使えるようになったとは言えませんが．

注記

split/4 は List1 と空でない List2 を結合するために用いてもよい (3番目の例参照)．

らじゃあ．

例

では使用例を写経しませう．

3 ?- split(b, [a, b, c, d], L1, L2).

L1 = [a]
L2 = [b, c, d] 

Yes
4 ?- split(_, [a, b, c, d], L1, L2).

L1 = []
L2 = [a, b, c, d] ;

L1 = [a]
L2 = [b, c, d] ;

L1 = [a, b]
L2 = [c, d] ;

L1 = [a, b, c]
L2 = [d] ;

No
5 ?- split(_, X, [3, 8, 1, 5], [2, 4, 1]).

X = [3, 8, 1, 5, 2, 4, 1] 

Yes
6 ?- split(_, L, [a1, a2], []).

No

ふむ．
まぁ，どうという事もない感じ．

---

Prolog 本

Amazon に注文してあった Prolog 本が 2 冊ばかり届きました．
「Prolog 入門 (isbn:4274073084)」と「Prolog プログラミング入門 (isbn:4320022378)」です．
現在 Amazon で購入可能な Prolog 解説書 (和書) のうち，めぼしいものは揃ったかなぁ．
まだちゃんと読んでない本がほとんどですか，パラパラと眺めた雰囲気を紹介♪

Prologへの入門 (PrologとAI)

教科書として使っています．ついこの前読み終えたばかりですが，説明が丁寧で Prolog の入門書としては最適ではないかと思いました．

AIプログラミング (PrologとAI)

「Prolog への入門」の続編．っていうか原書はあわせて 1 冊．
「AI プログラミング」というだけあって，普段なじみのない話題が多いです．業務アプリケーションのプログラマにはちと辛いと感じる今日この頃．．．

Prolog入門

パラパラ見ただけですが，メチャクチャ良書っぽい気のせいが．
「Prolog への入門」に比べると説明があっさり気味なので，ホントに始めて Prolog を学ぶ人が一人で読むのは辛いかもしれませんが，なんとなくでも Prolog がどんな言語か知ってる人とかならこっちの方が早め早めに高度な話題が出てきていいかも．
「AI プログラミング」を保留にしてしばらくこっちを読んでみようと思います．

Prologプログラミング入門

今年になって増刷したようです．なんと 14 刷目．そんなに売れてるの？
っていうか，大学の教科書として使われてるのかな？
そのせいなのか，妙に説明が丁寧すぎる感じ．語り口調なんですが，個人的には冗長さを感じるというか，眠くなりそう．．．
あまり好みじゃない感じなので速攻積ん読かも．無念だ．

Prolog(プロログ)を学ぶ―文化とその実践

入門書として悪くなさそうなんですが，ちょっと問題が．．．
述語や変数にやたらと日本語が使われているんですよね．こんな感じ．

削除(_削除項目,[_削除項目|_尾部],_尾部).
削除(_削除項目,[_頭部|_尾部],[_頭部|_尾部1]) :-
	削除(_削除項目,_尾部,_尾部1).

非常に読みにくいです．．．
もちろん積みました．心より恥じる．

わかる Prolog (情報処理入門シリーズ)

ちょっと大きめだけど極薄．約 100 ページ．
それだけに説明は非常に簡潔．しかも例題を通して体で覚えるような感じなので，一つ一つをきちんと理解してから先へ進みたい人には不向きっぽいのではないかと．

Prologユーティリティライブラリ

この日記ではお馴染みの写経本です．
Prolog 自体の解説書ではありませんし，古い本なので今時の ISO 標準な述語とはいろいろ違っていたりするなどあるようですが，写経ラビリティとしては随一のものではないかと．

論理による問題の解法―Prolog入門 (情報処理シリーズ)

副題に「Prolog 入門」と書いてはありますが，Prolog のコードなんて出てないような．(^^;
これは論理プログラミングの本ですね．それもかなり本格的で，これをいきなり読むのは辛いです．
それもそのはず，この著者は Prolog 考案者の一人らしい．要するにこいつが原典なわけね．
そんなわけで (どんなわけで？)，いずれは読破したいなぁ．

02:10 追記
うわ，書影のある本が一冊もない．．．

---

Palermo 3 - 2 Inter

(ToT)
今季 2 戦目にして早くも黒星とは．．．
またしても序盤から出遅れのか？
しくしくしく．．．

---

出演予定 TV 番組

この近辺 (どこ？) で話題のモデルが出演するテレビ番組を分かるだけ掲載します．
新規分は赤字で (レギュラー除く)．直近分は太字で．

山田優

09/10 (日) 深夜 02:45〜04:15 CX 「F1世界選手権第16戦ベルギーグランプリ」

---

CanCam 10 月号 エビちゃんベストセレクション 19

CanCam から，お気に入りの蛯原友里ちゃんを紹介しようというこのコーナー．
今日はアプワイザー・リッシェとのタイアップ「秋は新かわいい主義。」から P231 の友里ちゃん．
どこを眺めているのかなぁ？
ま，どこを眺めていてもステキな友里ちゃんなのですが．
そんなわけで (どんなわけで？)，やっぱり CanCam 買うしか！！

---

新宿にて

例によって (？) お買い物です♪

バーニーズニューヨーク新宿店

いつも通り，まずはバーニーズから．
バーニーズといえばいつも E さんが相手をしてくれるのですが，なんと昨日からレディースのフロアへ移動になっちゃったんですよね．
そんなわけで (どんなわけで？)，7 階へいっても E さんはいないわけですが，とりあえずフラフラとチェック．
ちょっと気になったのは BALENCIAGA のパンツ．細身でシンプル．色は当然黒 (苦笑)．
先月購入した ALEXANDER McQUEEN のカシミアニット，前来た時は平積み (？) になっていたのに今は黒・グレイとも1点ずつしか置いてませんでした．買うなら急いで！！＞もなじろうさん
特にこれといったものはなかったのですが，せっかくなのでレジのところにいたお兄さんに頼んで E さんを呼んでもらいました．
その直後，E さん登場♪
でもでも，いくら何でも早すぎないかい？
どうやら，別のスタッフの人が気を利かせて呼んでくれたような気がする．
それで BALENCIAGA のパンツを手に取って見てみたりしたら，店内から黒いパンツをいくつか集めてくれました．
VIKTOR & ROLF のポケットのところに光沢のある縁取りが付いているものと，DOLCE & GABBANA だったかな？ チョークストライプのパンツ．そして VERONIQUE BRANQUIHNO のコーデュロイのパンツ．
この VERONIQUE のパンツが結構いい感じなんですよ．コーデュロイといっても畝が極細で太畝のように野暮ったくないのです．さすが E さん，ナイスセレクト♪
さらに，この秋冬で気になっていた VIKTOR & ROLF のサファリジャケットを出してきてくれました．

これ，先月試着したけれどイマイチ魅力がなくて残念な思いをしたのですが，その時のはサイズが 46 でした．今回はおいらのジャストサイズ 44．とはいえ，画像では白っぽく見える胸ポケットのフラップの下に付いている刺しゅうの色が実際は金色だったり，素材感がイマイチよくなかったりする辺りは変わらないのですが．
そんなわけで (どんなわけで？)，VERONIQUE のパンツと，念のため VIKTOR & ROLF のジャケットを試着です．
．．．

キタ━━━━(゜∀゜)━━━━ッ!!
なんてこった，このコーディネートは絶妙じゃないですか．
VERONIQUE のパンツはストレートなんだろうけど微妙にフレアに見えなくもないラインがなかなか．素材感もよくて，これは買うしか！！
そして VIKTOR & ROLF のサファリジャケット．サイズ 46 を試着した時はちょっと無様に見えたのですが，44 だと全然そんなことなくて，もしかして洗練された大人っぽさってこういうことですか？ みたいな．
いや，自分の歳で大人っぽいとかなんとかって話はおかしいわけですが気にしない気にしない．
それにしても．．． タイトです．中に厚手のニットを着たらボタンを留めれないんじゃないかと思っちゃうくらいタイト．
とにかくジャケットとパンツの組み合わせが素晴らしすぎて，残った問題はインナーに何を合わせるか，それだけという感じ．

そうです，2 点まとめてお買いあげです．心より恥じる．
薄手とはいえ，このサファリジャケットを着るのは 11 月かなぁ？ 10 月の終わりには着れるかなぁ？
早くデビューしたいよ！！

帰る途中，5 階にちょっと立ち寄って靴を眺めてきました．
そうしたら．．．
John Lobb の靴が！！
そうですか，いつの間にか新宿店でも扱っていたのですね．
し・か・も
サイドモンクの JermynII もちゃんとあります．いつの日かこいつを．．．
でもその前に GUCCI のオーダーだな．間違いない．

新宿伊勢丹

いつも通り，その後は伊勢丹へ．
まずは 1 階にて CLARINS の洗顔フォームと保湿乳液を購入．保湿乳液はいつも使っている「ファティーグ ファイター」ではなく (併用するものらしいけど)「トータル　リンクル　ファイター」というもの．なんでみんな闘うの？ (^^;
と思ったら，「ファイター」って英語だと Control なのね．何語だとファイターなのかよく分からないけど．
ともあれ (JW)，「トータル　リンクル　ファイター」の説明には「エイジディフェンス ケア」と書いてあって，いい歳をしたおいらの琴線に触れたという次第．いつまでも若くないからね．．． しくしくしく．

それから 2 階へ．
ここではなんと，McQUEEN の 05-06AW コレクションのビデオが流れてました．思わず見入っちゃいましたよ．
でもでも，ショップにこれといった服は見あたらず．

そんなわけで (どんなわけで？)，3階へ．
いつも通り，まずは JIL SANDER から．でもでも，やっぱりこれといったものは見当たらず．

続いて向かいの GUCCI へ．
おや？ P コートがあるよ？ もなじろうさんの予約しているやつ？
と思ったら，ちょっと違いました．入荷していたのはこっちの方．

ピクチャーブックの 2 番ですね．
このコートのポイントは袖．オフィシャルサイトでは「black wool double breasted military coat with braiding on sleeves」と説明されていますが，袖に細いステッチというか刺しゅうというか，とにかくそんなのが施されているのです．これがなかなか．．．
惜しいなぁ，おいらが予約した 4 番のコートにもこの刺しゅうが欲しい！！
ともあれ (JW)，もなじろうさんのもおいらのもまだ入荷していないとのことです．遅いなぁ．

それから DOLCE & GABBANA と DIOR HOMME を軽く眺めてみましたが，これといったものはなし．
まぁ，何かあっても困っちゃうわけですが．

そんなわけで (どんなわけで？)，またしてもアウターとパンツを買ってしまったわけですが，相変わらずインナー不足が解消しそうもありません．
インナーといってもニットは結構揃っているのですが，問題は 10〜11 月くらいに使えるようなカットソーなんかがないわけです．
なかなかこれといったものが見つからないので，今後はシャツを着るようにしようかなぁ．
今までシャツ，特にレギュラーカラーのものはほとんど着なかったので，手持ちのものは GUCCI の白，DIOR HOMME の黒，Ann Demeulemeester と JIL SANDER のネイビーくらいか．JIL SANDER のはコーデュロイ．
うーみゅ，ちょっと研究するか．．．