プログラム「相撲」


micro-Quixote プログラムの例として、「相撲」を 紹介しましょう。

これが micro-Quixote プログラム「相撲」です。
(データは1993年秋に作成しました。)

&program;;
&subsumption;;
力士>={ローウェンチャドジョージハヘオ,花田光司,サレバアティサノエ,
   浪岡貞博,今野満也,鎌苅忠茂,岡本公似,村田昌巳,吉永一美,星村敏志,
   綛田清隆,坂本直人,長尾秀平,田村昌浩,山崎直樹,小泉政人,高橋徳夫,
   内間良三,久我準人,三浦孝行,小岩井康年,花田勝,松澤英行,
   フィヤマルペニタニ,山中勝巳,久嶋啓太,成松伸哉,金尾隆,小林孝也,
   馬場口洋一,福薗好文,波田和泰,三浦要平,岩永祥紀,吉岡宏典,尾曽武人,
   小岩井昭和,河辺幸夫,濱田真二,古賀博之};;

四股名>={曙太郎,貴ノ花光司,小錦八十吉,貴ノ浪貞博,琴の若實哉,貴闘力忠茂,
   三杉里公似,大翔鳳昌巳,霧島和博,剣晃敏志,栃乃和歌清隆,肥後ノ海直哉,
   舞の海秀平,琴稲妻佳弘,大翔山直生,水戸泉眞幸,大善尊太,鬼雷砲良蔵,
   北勝鬨準人,湊富士孝行,小城錦康年,若ノ花勝,琴錦功宗,武蔵丸光洋,
   安芸ノ島勝巳,久島海啓太,智ノ花伸哉,隆三杉太一,琴富士孝也,若翔洋俊一,
   寺尾常史,旭道山和泰,琴別府要平,春日富士晃大,時津洋宏典,武双山正士,
   小城ノ花昭和,玉海力剛,豊ノ海真二,魁皇博之};;

番付>={横綱,大関,張出大関,関脇,小結,前頭1,前頭2,前頭3,前頭4,前頭5,
   前頭6,前頭7,前頭8,前頭9,前頭10,前頭11,前頭12,前頭13,前頭14,
   前頭15,前頭16};;

決まり手>={寄り切り,寄り倒し,浴びせ倒し,吊り出し,割り出し,押し出し,
   押し倒し,突き出し,突き倒し,掛け投げ,送り出し,送り倒し,
   極め出し,極め倒し,腕捻り,突き落とし,引き落とし,外掛け,
   内掛け,足取り,はりま投げ,上手投げ,下手投げ,
   上手出し投げ,下手出し投げ,裾払い,上手捻り,下手捻り,
   取ったり,二丁投げ,蹴手繰り,蹴返し,網打ち,小股すくい,
   外小股,渡し込み,引っかけ,叩キ込み,捲き落とし,つかみ投げ};;

&rule;;
横綱/[上位=横綱,下位=大関];;
大関/[上位=横綱,下位=関脇];;
関脇/[上位=大関,下位=小結];;
小結/[上位=関脇,下位=前頭];;

次場所[name=X,番付=Z] <= X/[地位=Y,勝数=WIN],Y/[上位=Z]||
	{X=<力士,Y=<番付, WIN#>#13};;
                         % 数値外部制約呼びだし (<-->bc)

ローウェンチャドジョージハヘオ/[
   勝数=14,四股名=曙太郎, 地位=横綱, 出身=米国, 部屋=東関, 
   生年月日="44.5.8", 年齢=24, 身長=204, 体重=224, 通算出場=392, 
   通算勝=272, 通算負=120, 通算休=15, 幕内在位=20, 幕内勝=184, 
   幕内負=86, 幕内休=15, 幕内勝率=".681", 初土俵="63春", 
   最高位=横綱, 得意技=突き押し, 優勝=5, 三賞="殊4敢2", 金星=4, 
   星座=牡牛, 血液型="O", 愛称=チャド, 趣味="音楽", 
   前2場所="名13.2 秋14.1", 家族="独身"];;

花田光司/[
   四股名=貴ノ花光司, 地位=大関, 出身=東京, 部屋=二子山, 
   生年月日="47.8.12", 年齢=21, 身長=185, 体重=143, 通算出場=423, 
   通算勝=278, 通算負=145, 幕内在位=20, 幕内勝=185, 幕内負=100, 
   幕内勝率=".649", 初土俵="63春", 最高位=大関, 得意技=右四つ寄り, 
   優勝=3, 三賞="殊4 敢2 技3", 金星=1, 星座=獅子, 血液型="O", 
   愛称=コウジ, 趣味="音楽", 前2場所="名13.2 秋12.3", 家族="独身"];;

サレバアティサノエ/[
   四股名=小錦八十吉, 地位=張出大関, 出身=米国, 部屋=高砂, 
   生年月日="38.12.31", 年齢=29, 身長=185, 体重=264, 通算出場=856, 
   通算勝=574, 通算負=289, 通算休=89, 幕内在位=57, 幕内勝=490, 
   幕内負=267, 幕内休=83, 幕内勝率=".647", 初土俵="57名", 
   最高位=大関, 得意技=右四つ突き押し, 優勝=3, 三賞="殊4 敢5 技1", 
   金星=2, 星座=山羊, 血液型="AB", 愛称=サリー, 趣味="音楽", 
   前2場所="名9.6 秋0.2.13休", 家族="寿美歌夫人"];;

浪岡貞博/[
   四股名=貴ノ浪貞博, 地位=関脇, 出身=青森, 部屋=二子山, 
   生年月日="46.10.27", 年齢=22, 身長=195, 体重=159, 通算出場=396, 
   通算勝=232, 通算負=164, 通算休=5, 幕内在位=13, 幕内勝=102, 
   幕内負=78, 幕内勝率=".567", 初土俵="62春", 最高位=関脇, 
   得意技=左四つ寄り, 三賞="敢1", 星座=蠍, 血液型="O", 
   愛称=ナミオカ, 趣味="映画", 前2場所="名9.6 秋10.5", 家族="独身"];;

今野満也/[
   四股名=琴の若實哉, 地位=小結, 出身=山形, 部屋=佐渡ヶ嶽, 
   生年月日="43.5.15", 年齢=25, 身長=192, 体重=167, 通算出場=539, 
   通算勝=306, 通算負=233, 通算休=16, 幕内在位=18, 幕内勝=129, 
   幕内負=126, 幕内勝率=".506", 初土俵="59夏", 最高位=小結, 
   得意技=右四つ寄り, 星座=牡牛, 血液型="B", 愛称=ワカ, 
   趣味="マンガ", 前2場所="名8.7 秋8.7", 家族="独身"];;

鎌苅忠茂/[
   四股名=貴闘力忠茂, 地位=前頭1, 出身=兵庫, 部屋=二子山, 
   生年月日="42.9.28", 年齢=26, 身長=182, 体重=144, 通算出場=649, 
   通算勝=363, 通算負=286, 幕内在位=20, 幕内勝=151, 幕内負=134, 
   幕内勝率=".530", 初土俵="58春", 最高位=関脇, 得意技=突き押し, 
   三賞="殊1 敢3 技1", 金星=2, 星座=天秤, 血液型="A", 愛称=カマキリ, 
   趣味="音楽", 前2場所="名8.7 秋7.8", 家族="美絵子夫人"];;

岡本公似/[
   四股名=三杉里公似, 地位=前頭2, 出身=滋賀, 部屋=二子山, 
   生年月日="37.7.1", 年齢=31, 身長=185, 体重=157, 通算出場=977, 
   通算勝=509, 通算負=468, 通算休=2, 幕内在位=34, 幕内勝=240, 
   幕内負=255, 幕内勝率=".485", 初土俵="54初", 最高位=小結, 
   得意技=右四つ寄り, 三賞="敢1", 金星=4, 星座=蟹, 血液型="A", 
   愛称=コージ, 趣味="音楽 マンガ", 前2場所="名5.10 秋8.7", 
   家族="友美夫人 1男1女"];;

村田昌巳/[
   四股名=大翔鳳昌巳, 地位=前頭3, 出身=北海道, 部屋=立浪, 
   生年月日="42.5.7", 年齢=26, 身長=187, 体重=144, 通算出場=297, 
   通算勝=166, 通算負=131, 幕内在位=15, 幕内勝=103, 幕内負=107, 
   幕内勝率=".490", 初土俵="2初", 最高位=小結, 
   得意技=突き押し右四つ寄り, 三賞="敢1", 星座=牡牛, 血液型="O", 
   愛称=チョウジ, 趣味="読書", 前2場所="名5.10 秋9.6", 家族="独身"];;

吉永一美/[
   四股名=霧島和博, 地位=前頭4, 出身=鹿児島, 部屋=井筒, 
   生年月日="34.4.3", 年齢=34, 身長=187, 体重=126, 通算出場=1222, 
   通算勝=657, 通算負=568, 通算休=40, 幕内在位=57, 幕内勝=421, 
   幕内負=379, 幕内休=40, 幕内勝率=".526", 初土俵="50春", 
   最高位=大関, 得意技=左四つ出し投げ, 優勝=1, 三賞="殊3 敢1 技4", 
   金星=2, 星座=牡羊, 血液型="A", 愛称=アランドロン, 
   趣味="ゴルフ絵画", 前2場所="名3.12 秋9.6", 
   家族="菜穂子夫人 1女"];;

星村敏志/[
   四股名=剣晃敏志, 地位=前頭5, 出身=大阪, 部屋=高田川, 
   生年月日="42.6.27", 年齢=26, 身長=190, 体重=134, 通算出場=495, 
   通算勝=267, 通算負=228, 幕内在位=6, 幕内勝=34, 幕内負=41, 
   幕内勝率=".453", 初土俵="59九", 最高位=前頭4, 得意技=右四つ寄り, 
   星座=蟹, 血液型="A", 愛称=サトシ, 趣味="読書", 
   前2場所="名9.6 秋7.8", 家族="独身"];;

綛田清隆/[
   四股名=栃乃和歌清隆, 地位=前頭6, 出身=和歌山, 部屋=春日野, 
   生年月日="37.5.22", 年齢=31, 身長=191, 体重=157, 通算出場=688, 
   通算勝=371, 通算負=318, 通算休=19, 幕内在位=42, 幕内勝=308, 
   幕内負=298, 幕内休=19, 幕内勝率=".517", 初土俵="60春", 
   最高位=関脇, 得意技=右四つ突き押し, 三賞="殊2 敢3 技1", 金星=3, 
   星座=双子, 血液型="O", 愛称=カセ, 趣味="陶芸", 
   前2場所="名10.5 秋6.9", 家族="紀子夫人"];;

坂本直人/[
   四股名=肥後ノ海直哉, 地位=前頭7, 出身=熊本, 部屋=三保ヶ関, 
   生年月日="44.9.23", 年齢=24, 身長=183, 体重=137, 通算出場=141, 
   通算勝=83, 通算負=58, 幕内在位=5, 幕内勝=30, 幕内負=30, 
   幕内勝率=".500", 初土俵="4初", 最高位=前頭5, 得意技=左四つ寄り投げ, 
   星座=天秤, 血液型="A", 愛称=ナオト, 趣味="音楽", 
   前2場所="名8.7 秋6.9", 家族="独身"];;

長尾秀平/[
   四股名=舞の海秀平, 地位=前頭8, 出身=青森, 部屋=出羽海, 
   生年月日="43.2.17", 年齢=25, 身長=171, 体重=98, 通算出場=275, 
   通算勝=144, 通算負=131, 幕内在位=14, 幕内勝=92, 幕内負=103, 
   幕内勝率=".472", 初土俵="2夏", 最高位=前頭6, 得意技=左四つ下手投げ, 
   三賞="技3", 星座=水瓶, 血液型="B", 愛称=シュウヘイ, 趣味="映画", 
   前2場所="名4.11 秋9.6", 家族="独身"];;

田村昌浩/[
   四股名=琴稲妻佳弘, 地位=前頭9, 出身=群馬, 部屋=佐渡ヶ嶽, 
   生年月日="37.4.26", 年齢=31, 身長=180, 体重=132, 通算出場=1026, 
   通算勝=522, 通算負=507, 通算休=30, 幕内在位=31, 幕内勝=206, 
   幕内負=229, 幕内休=15, 幕内勝率=".474", 初土俵="53春", 
   最高位=前頭3, 得意技=左四つ寄り, 星座=牡牛, 血液型="O", 愛称=ピヨ, 
   趣味="音楽 ゴルフ", 前2場所="名5.10 秋9.6", 家族="晴美夫人"];;

山崎直樹/[
   四股名=大翔山直生, 地位=前頭10, 出身=石川, 部屋=立浪, 
   生年月日="41.7.7", 年齢=27, 身長=181, 体重=180, 通算出場=369, 
   通算勝=196, 通算負=179, 通算休=2, 幕内在位=20, 幕内勝=135, 
   幕内負=150, 幕内勝率=".474", 初土俵="元初", 最高位=前頭2, 
   得意技=右四つ寄り下手投げ, 三賞="敢1", 金星=3, 星座=蟹, 血液型="B", 
   愛称=ヤマ, 趣味="音楽", 前2場所="名5.10 秋8.7", 家族="裕美夫人"];;

小泉政人/[
   四股名=水戸泉眞幸, 地位=前頭11, 出身=茨城, 部屋=高砂, 
   生年月日="37.9.2", 年齢=31, 身長=194, 体重=185, 通算出場=972, 
   通算勝=542, 通算負=436, 通算休=130, 幕内在位=47, 幕内勝=312, 
   幕内負=294, 幕内休=84, 幕内勝率=".515", 初土俵="53春", 
   最高位=関脇, 得意技=右四つ吊り寄り, 優勝=1, 三賞="殊1 敢6", 
   星座=乙女, 血液型="B", 愛称=イズミちゃん, 趣味="映画 音楽", 
   前2場所="名9.6 秋4.10.1休", 家族="独身"];;

高橋徳夫/[
   四股名=大善尊太, 地位=前頭12, 出身=大阪, 部屋=二所ノ関, 
   生年月日="39.12.14", 年齢=28, 身長=188, 体重=154, 通算出場=654, 
   通算勝=353, 通算負=302, 通算休=30, 幕内在位=12, 幕内勝=79, 
   幕内負=86, 幕内勝率=".479", 初土俵="56春", 最高位=前頭4, 
   得意技=左四つ寄り, 星座=射手, 血液型="O", 愛称=トク, 趣味="酒", 
   前2場所="名9.6 秋5.10", 家族="独身"];;

内間良三/[
   四股名=鬼雷砲良蔵, 地位=前頭13, 出身=神奈川, 部屋=高田川, 
   生年月日="41.1.5", 年齢=27, 身長=189, 体重=154, 通算出場=738, 
   通算勝=386, 通算負=352, 通算休=3, 幕内在位=13, 幕内勝=86, 
   幕内負=94, 幕内勝率=".478", 初土俵="56春", 最高位=前頭4, 
   得意技=右四つ寄り, 星座=山羊, 血液型="A", 愛称=ヤザワ, 
   趣味="トランプ占い", 前2場所="名8.7 秋5.10", 家族="独身"];;

久我準人/[
   四股名=北勝鬨準人, 地位=前頭14, 出身=北海道, 部屋=伊勢ノ海, 
   生年月日="41.1.1", 年齢=27, 身長=183, 体重=149, 通算出場=826, 
   通算勝=431, 通算負=396, 通算休=22, 幕内在位=22, 幕内勝=136, 
   幕内負=164, 幕内休=15, 幕内勝率=".453", 初土俵="56夏", 
   最高位=前頭4, 得意技=右四つ寄り, 星座=山羊, 血液型="A", 
   愛称=ファジー, 趣味="釣り", 前2場所="名5.10 秋6.9", 
   家族="佳代夫人"];;

三浦孝行/[
   四股名=湊富士孝行, 地位=前頭15, 出身=群馬, 部屋=湊, 
   生年月日="43.7.6", 年齢=25, 身長=186, 体重=157, 通算出場=454, 
   通算勝=249, 通算負=205, 通算休=17, 幕内在位=3, 幕内勝=14, 
   幕内負=16, 幕内勝率=".467", 初土俵="59春", 最高位=前頭8, 
   得意技=右四つ下手投げ, 星座=蟹, 血液型="A", 愛称=ミウラ, 
   趣味="カメラ", 前2場所="名9.6 秋5.10", 家族="独身"];;

小岩井康年/[
   四股名=小城錦康年, 地位=前頭16, 出身=千葉, 部屋=出羽海, 
   生年月日="46.7.8", 年齢=22, 身長=186, 体重=135, 通算出場=357, 
   通算勝=204, 通算負=155, 通算休=12, 幕内在位=3, 幕内勝=13, 
   幕内負=17, 幕内勝率=".433", 初土俵="62春", 最高位=前頭10, 
   得意技=左四つ寄り, 星座=蟹, 血液型="A", 愛称=ヤス, 趣味="テレビ", 
   前2場所="名4.11 秋9.6(十)", 家族="独身"];;

花田勝/[
   四股名=若ノ花勝, 地位=大関, 出身=東京, 部屋=二子山, 
   生年月日="46.1.20", 年齢=22, 身長=179, 体重=118, 通算出場=397, 
   通算勝=247, 通算負=155, 通算休=7, 幕内在位=20, 幕内勝=161, 
   幕内負=117, 幕内休=7, 幕内勝率=".579", 初土俵="63春", 最高位=大関, 
   得意技=左四つ寄り上手投げ, 優勝=1, 三賞="殊3技6", 金星=2, 
   星座=山羊, 血液型="B", 愛称=マサル, 趣味="音楽 車", 
   前2場所="名13.2 秋9.6", 家族="独身"];;

松澤英行/[
   四股名=琴錦功宗, 地位=関脇, 出身=群馬, 部屋=佐渡ヶ嶽, 
   生年月日="43.6.8", 年齢=25, 身長=176, 体重=136, 通算出場=655, 
   通算勝=381, 通算負=274, 幕内在位=28, 幕内勝=233, 幕内負=172, 
   幕内勝率=".575", 初土俵="59春", 最高位=関脇, 得意技=突き押し, 
   優勝=1, 三賞="殊4敢3技3", 金星=2, 星座=双子, 血液型="B", 
   愛称="ニシキ マツ", 趣味="音楽 ファミコン", 
   前2場所="名12.3 秋9.6", 家族="佳子夫人 1女"];;

フィヤマルペニタニ/[
   四股名=武蔵丸光洋, 地位=張出関脇, 出身=米国, 部屋=武蔵川, 
   生年月日="46.5.2", 年齢=22, 身長=191, 体重=187, 通算出場=280, 
   通算勝=185, 通算負=95, 幕内在位=13, 幕内勝=112, 幕内負=68, 
   幕内勝率=".622", 初土俵="元秋", 最高位=関脇, 得意技=突き押し, 
   三賞="敢1技1", 星座=牡牛, 血液型="A", 愛称=マル, 
   趣味="トレーニング", 前2場所="名8.7 秋8.7", 家族="独身"];;

山中勝巳/[
   四股名=安芸ノ島勝巳, 地位=小結, 出身=広島, 部屋=二子山, 
   生年月日="42.3.16", 年齢=26, 身長=174, 体重=142, 通算出場=758, 
   通算勝=423, 通算負=336, 通算休=28, 幕内在位=34, 幕内勝=248, 
   幕内負=219, 幕内休=28, 幕内勝率=".531", 初土俵="57春", 
   最高位=関脇, 得意技=左四つ寄り, 三賞="殊6敢5技1", 金星=15, 
   星座=魚, 血液型="A", 愛称=アキちゃん, 趣味="音楽 ビデオ", 
   前2場所="名9.6 秋9.6", 家族="素子さんと婚約中"];;

久嶋啓太/[
   四股名=久島海啓太, 地位=前頭1, 出身=和歌山, 部屋=出羽海, 
   生年月日="40.8.6", 年齢=28, 身長=187, 体重=192, 通算出場=464, 
   通算勝=248, 通算負=218, 通算休=3, 幕内在位=26, 幕内勝=184, 
   幕内負=188, 幕内休=3, 幕内勝率=".495", 初土俵="63初", 
   最高位=前頭1, 得意技=右四つ寄り, 三賞="敢2", 金星=2, 星座=獅子, 
   血液型="AB", 愛称=クッシー, 趣味="音楽", 前2場所="名5.10 秋12.3", 
   家族="綾子夫人"];;

成松伸哉/[
   四股名=智ノ花伸哉, 地位=前頭2, 出身=熊本, 部屋=立浪, 
   生年月日="39.6.23", 年齢=29, 身長=173, 体重=113, 通算出場=118, 
   通算勝=77, 通算負=41, 幕内在位=3, 幕内勝=18, 幕内負=12, 
   幕内勝率=".600", 初土俵="4春", 最高位=前頭2, 得意技=右四つ下手投げ, 
   三賞="技1", 星座=蟹, 血液型="A", 愛称=センセイ, 趣味="音楽", 
   前2場所="名9.6 秋9.6", 家族="千秋夫人 1男"];;

金尾隆/[
   四股名=隆三杉太一, 地位=前頭3, 出身=神奈川, 部屋=二子山, 
   生年月日="36.3.1", 年齢=32, 身長=179, 体重=147, 通算出場=1288, 
   通算勝=645, 通算負=644, 通算休=46, 幕内在位=60, 幕内勝=397, 
   幕内負=462, 幕内休=26, 幕内勝率=".462", 初土俵="51春", 
   最高位=小結, 得意技=右ノド輪押し, 金星=1, 星座=魚, 血液型="AB", 
   愛称=ドラえもん, 趣味="カラオケ 食べ歩き", 前2場所="名7.8 秋8.7", 
   家族="留美子夫人"];;

小林孝也/[
   四股名=琴富士孝也, 地位=前頭4, 出身=千葉, 部屋=佐渡ヶ嶽, 
   生年月日="39.10.28", 年齢=29, 身長=190, 体重=140, 通算出場=894, 
   通算勝=463, 通算負=432, 幕内在位=32, 幕内勝=223, 幕内負=242, 
   幕内勝率=".480", 初土俵="55春", 最高位=関脇, 得意技=左四つ寄り, 
   優勝=1, 三賞="敢2", 金星=2, 星座=蠍, 血液型="B", 愛称=オースギ, 
   趣味="音楽 ゴルフ", 前2場所="名11.4 秋6.9", 
   家族="美由紀夫人 1女"];;

馬場口洋一/[
   四股名=若翔洋俊一, 地位=前頭5, 出身=東京, 部屋=二子山, 
   生年月日="41.3.8", 年齢=27, 身長=182, 体重=165, 通算出場=605, 
   通算勝=346, 通算負=259, 通算休=36, 幕内在位=11, 幕内勝=71, 
   幕内負=79, 幕内勝率=".473", 初土俵="56夏", 最高位=関脇, 
   得意技=左四つ寄り, 三賞="敢2", 星座=魚, 血液型="B", 愛称=ババ, 
   趣味="音楽", 前2場所="名7.8 秋5.10", 家族="独身"];;

福薗好文/[
   四股名=寺尾常史, 地位=前頭6, 出身=鹿児島, 部屋=井筒, 
   生年月日="38.2.2", 年齢=30, 身長=186, 体重=114, 通算出場=1046, 
   通算勝=528, 通算負=518, 幕内在位=52, 幕内勝=360, 幕内負=405, 
   幕内勝率=".471", 初土俵="54名", 最高位=関脇, 
   得意技=モロ差し突っ張り, 三賞="殊1敢2技1", 金星=5, 星座=水瓶, 
   血液型="A", 愛称=アビ, 趣味="プロレス 音楽", 
   前2場所="名8.7 秋6.9", 家族="独身"];;

波田和泰/[
   四股名=旭道山和泰, 地位=前頭7, 出身=鹿児島, 部屋=大島, 
   生年月日="39.10.14", 年齢=29, 身長=183, 体重=107, 通算出場=819, 
   通算勝=419, 通算負=400, 幕内在位=30, 幕内勝=206, 幕内負=229, 
   幕内勝率=".474", 初土俵="55夏", 最高位=小結, 得意技=右四つ寄り, 
   三賞="殊2敢2", 金星=1, 星座=天秤, 血液型="O", 愛称=南海のハブ, 
   趣味="映画 音楽", 前2場所="名4.11 秋8.7", 家族="独身"];;

三浦要平/[
   四股名=琴別府要平, 地位=前頭8, 出身=大分, 部屋=佐渡ヶ嶽, 
   生年月日="40.10.17", 年齢=28, 身長=178, 体重=175, 通算出場=522, 
   通算勝=306, 通算負=218, 通算休=81, 幕内在位=7, 幕内勝=37, 
   幕内負=37, 幕内休=16, 幕内勝率=".500", 初土俵="56春", 
   最高位=前頭3, 得意技=突き押し, 三賞="敢1", 星座=天秤, 血液型="B", 
   愛称=ベップ, 趣味="音楽", 前2場所="名9.6 秋5.10", 
   家族="鈴さんと婚約中"];;

岩永祥紀/[
   四股名=春日富士晃大, 地位=前頭9, 出身=宮城, 部屋=安治川, 
   生年月日="41.2.20", 年齢=27, 身長=177, 体重=144, 通算出場=805, 
   通算勝=403, 通算負=402, 幕内在位=27, 幕内勝=179, 幕内負=211, 
   幕内勝率=".459", 初土俵="56春", 最高位=前頭1, 得意技=突き押し, 
   三賞="敢1", 星座=魚, 血液型="O", 愛称=トリ, 趣味="音楽", 
   前2場所="名9.6 秋7.8", 家族="智子夫人"];;

吉岡宏典/[
   四股名=時津洋宏典, 地位=前頭10, 出身=徳島, 部屋=時津風, 
   生年月日="44.8.2", 年齢=24, 身長=188, 体重=184, 通算出場=477, 
   通算勝=257, 通算負=220, 幕内在位=9, 幕内勝=56, 幕内負=64, 
   幕内勝率=".467", 初土俵="60春", 最高位=前頭4, 得意技=右四つ寄り, 
   星座=獅子, 血液型="O", 愛称=ヨシオカ, 趣味="ビデオ", 
   前2場所="名5.10 秋7.8", 家族="独身"];;

尾曽武人/[
   四股名=武双山正士, 地位=前頭11, 出身=茨城, 部屋=武蔵川, 
   生年月日="47.2.14", 年齢=21, 身長=183, 体重=160, 通算出場=59, 
   通算勝=43, 通算負=16, 幕内在位=2, 幕内勝=9, 幕内負=6, 
   幕内勝率=".600", 初土俵="5初", 最高位=前頭11, 
   得意技=突き押し左四つ寄り, 星座=水瓶, 血液型="O", 
   愛称=パワーエンジェル, 趣味="バラエティ番組観賞", 
   前2場所="名11.4(十) 秋9.6", 家族="独身"];;

小岩井昭和/[
   四股名=小城ノ花昭和, 地位=前頭12, 出身=千葉, 部屋=出羽海, 
   生年月日="42.11.18", 年齢=25, 身長=189, 体重=138, 通算出場=613, 
   通算勝=336, 通算負=279, 通算休=23, 幕内在位=20, 幕内勝=128, 
   幕内負=152, 幕内休=5, 幕内勝率=".457", 初土俵="58名", 
   最高位=前頭2, 得意技=左四つ寄り上手投げ, 星座=蠍, 血液型="AB", 
   愛称=オギ, 趣味="テレビ", 前2場所="名4.11 秋7.8", 
   家族="由里子夫人"];;

河辺幸夫/[
   四股名=玉海力剛, 地位=前頭13, 出身=東京, 部屋=片男波, 
   生年月日="41.7.16", 年齢=27, 身長=183, 体重=144, 通算出場=672, 
   通算勝=354, 通算負=319, 通算休=2, 幕内在位=7, 幕内勝=33, 
   幕内負=55, 幕内休=2, 幕内勝率=".375", 初土俵="57春", 最高位=前頭8, 
   得意技=右四つ寄り, 星座=蟹, 血液型="A", 愛称=ガンテツ, 趣味="酒", 
   前2場所="名8.7(十) 秋8.7", 家族="独身"];;

濱田真二/[
   四股名=豊ノ海真二, 地位=前頭14, 出身=福岡, 部屋=二子山, 
   生年月日="40.9.22", 年齢=28, 身長=189, 体重=219, 通算出場=821, 
   通算勝=426, 通算負=395, 幕内在位=28, 幕内勝=189, 幕内負=216, 
   幕内勝率=".467", 初土俵="56春", 最高位=前頭1, 得意技=左四つ寄り, 
   星座=乙女, 血液型="A", 愛称=ハマー, 趣味="マンガ", 
   前2場所="名7.8 秋7.8", 家族="独身"];;

古賀博之/[
   四股名=魁皇博之, 地位=前頭15, 出身=福岡, 部屋=友綱, 
   生年月日="47.7.24", 年齢=21, 身長=184, 体重=154, 通算出場=302, 
   通算勝=172, 通算負=130, 通算休=17, 幕内在位=2, 幕内勝=4, 
   幕内負=11, 幕内勝率=".267", 初土俵="63春", 最高位=前頭15, 
   得意技=左四つ上手投げ, 星座=獅子, 血液型="A", 愛称=キンタ, 
   趣味="マンガ", 前2場所="名10.5(十) 秋10.5(十)", 家族="独身"];;

&end.


質問は以下の通り。

%%%%%% Question 1. 〔若の花の次の番付は?〕
?-次場所[name=花田勝,番付=X].

(Answer):
yes.
X = 横綱 if { 花田勝.勝数==_V1, _V1#>#13 }
    % 〔もし13より多ければ次の番付は横綱〕

%%%%%% Question 2. 〔14勝したとしたら、若の花の次の番付は?〕
%%%%%%   プログラムを付け加えて質問を行なう。
?-次場所[name=花田勝,番付=X];;
  &program;;
  &rule;;
  花田勝/[勝数=14]<=花田勝;;
  &end.

(Answer):
yes.
X = 横綱 if { 花田勝.勝数==_V1, _V1#>#13 }
    %  depth-first探索、解のマージがないために1と同じ答えも
    %  出てしまう。(KL1版のQuixoteとは動きが異なる)
X = 横綱
    % 〔次の番付は横綱〕