このディレクトリの索引
#
#  井の頭線に関する情報が以下に纏められている。この述語定義について、
#  批判せよ。
#

:- op(300,xf,(m)).
:- op(300,xf,(mm)).

井の頭線(渋谷,神泉,500 m).
井の頭線(神泉,駒場東大前,900 m).
井の頭線(駒場東大前,池ノ上,1000 m).
井の頭線(池ノ上,下北沢,600 m).
井の頭線(下北沢,新代田,500 m).
井の頭線(新代田,東松原,500 m).
井の頭線(東松原,明大前,900 m).
井の頭線(明大前,永福町,1100 m).
井の頭線(永福町,西永福,700 m).
井の頭線(西永福,浜田山,800 m).
井の頭線(浜田山,高井戸,1200 m).
井の頭線(高井戸,富士見ヶ丘,800 m).
井の頭線(富士見ヶ丘,久我山,700 m).
井の頭線(久我山,三鷹台,1000 m).
井の頭線(三鷹台,井の頭公園,900 m).
井の頭線(井の頭公園,吉祥寺,600 m).

急行停車駅(渋谷).
急行停車駅(下北沢).
急行停車駅(明大前).
急行停車駅(永福町).
急行停車駅(久我山).
急行停車駅(吉祥寺).

乗り換え駅(吉祥寺,[中央線]).
乗り換え駅(明大前,[京王線]).
乗り換え駅(下北沢,[小田急線]).
乗り換え駅(渋谷,[山手線,埼京線,東横線,銀座線,田園都市線,半蔵門線,副都心線]).

軌間(井の頭線,1067 mm).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  
%  
%  一般論として、単位節データベースの引数として複合項(構造体)を
%  持つべきではない。
%  m,mmといった単位情報は別に述語定義するべきである。
%  乗り換え駅の定義も
%  

軌間単位(mm).

駅間距離単位(m).

%  
%  を追加して上で
%  

井の頭線(渋谷,神泉,500).
井の頭線(神泉,駒場東大前,900).
井の頭線(駒場東大前,池ノ上,1000).
井の頭線(池ノ上,下北沢,600).
井の頭線(下北沢,新代田,500).
井の頭線(新代田,東松原,500).
井の頭線(東松原,明大前,900).
井の頭線(明大前,永福町,1100).
井の頭線(永福町,西永福,700).
井の頭線(西永福,浜田山,800).
井の頭線(浜田山,高井戸,1200).
井の頭線(高井戸,富士見ヶ丘,800).
井の頭線(富士見ヶ丘,久我山,700).
井の頭線(久我山,三鷹台,1000).
井の頭線(三鷹台,井の頭公園,900).
井の頭線(井の頭公園,吉祥寺,600).

乗り換え駅(吉祥寺,中央線).
乗り換え駅(明大前,京王線).
乗り換え駅(下北沢,小田急線).
乗り換え駅(渋谷,山手線).
乗り換え駅(渋谷,埼京線).
乗り換え駅(渋谷,東横線).
乗り換え駅(渋谷,田園都市線).
乗り換え駅(渋谷,銀座線).
乗り換え駅(渋谷,半蔵門線).
乗り換え駅(渋谷,副都心線).

%  とした方がよい。
%  
%  急行停車駅/2,乗り換え駅/3には井の頭線である情報がない。
%  これを付加するべきである。

乗り換え駅(井の頭線,吉祥寺,中央線).
乗り換え駅(井の頭線,明大前,京王線).
乗り換え駅(井の頭線,下北沢,小田急線).
乗り換え駅(井の頭線,渋谷,山手線).
乗り換え駅(井の頭線,渋谷,埼京線).
乗り換え駅(井の頭線,渋谷,東横線).
乗り換え駅(井の頭線,渋谷,田園都市線).
乗り換え駅(井の頭線,渋谷,銀座線).
乗り換え駅(井の頭線,渋谷,半蔵門線).
乗り換え駅(井の頭線,渋谷,副都心線).

急行停車駅(井の頭線,渋谷).
急行停車駅(井の頭線,下北沢).
急行停車駅(井の頭線,明大前).
急行停車駅(井の頭線,永福町).
急行停車駅(井の頭線,久我山).
急行停車駅(井の頭線,吉祥寺).

%
%  とするか、
%  

井の頭線乗り換え駅(吉祥寺,中央線).
井の頭線乗り換え駅(明大前,京王線).
井の頭線乗り換え駅(下北沢,小田急線).
井の頭線乗り換え駅(渋谷,山手線).
井の頭線乗り換え駅(渋谷,埼京線).
井の頭線乗り換え駅(渋谷,東横線).
井の頭線乗り換え駅(渋谷,田園都市線).
井の頭線乗り換え駅(渋谷,銀座線).
井の頭線乗り換え駅(渋谷,半蔵門線).
井の頭線乗り換え駅(渋谷,副都心線).

井の頭線急行停車駅(渋谷).
井の頭線急行停車駅(下北沢).
井の頭線急行停車駅(明大前).
井の頭線急行停車駅(永福町).
井の頭線急行停車駅(久我山).
井の頭線急行停車駅(吉祥寺).

%  
%  とするべきである。
%  
%  書きなおしたもの