このディレクトリの索引

'prologについてしっかりした記述のある本'(_題名,_副題名,_著者名,_翻訳者名,_発行年月日,_出版社名,_書籍コード) :-
    'prolog関連書籍'(_題名,_副題名,_著者名,_翻訳者名,_発行年月日,_出版社名,_書籍コード).

% *** user: 'prolog関連書籍' / 7 ***
% 'prolog関連書籍'('プログラムの理論','コンピュータ・サイエンス研究所シリーズ','Zohar Manna','五十嵐滋',1975 / 1 / 25,'日本コンピュータ協会','').
% 'prolog関連書籍'('人工知能の基礎','知識の表現と理解',['Daniel G.Bobrow','Allan Collins'],['淵一博','石崎俊','板橋秀一','太田耕三','大谷木重夫','黒川利明','桜井彰人','佐藤泰介','島田俊夫','田中穂積','田村浩一郎','溝口文雄','元吉文雄','山口喜教','横井俊夫','横山昌一'],1978 / 9 / 20,'近代科学社','').
% 'prolog関連書籍'('日常言語の論理学','','オールウド・アンデソン・ダール',['公平珠躬','野家啓一']',1979 / 9 / 25,'産業図書','ISBN4-7828-0011-8').
% 'prolog関連書籍'('日本語の文法と論理','','坂井英寿','',1979 / 11 / 25,'勁草書房','').
'prolog関連書籍'('人工知能','岩波講座 情報科学-22',['白井良明','辻井潤一'],[],1982 / 4 / 9,岩波書店,'').
% 'prolog関連書籍'('人工知能の原理','コンピュータ・サイエンス研究書シリーズ26','Nils.j.Nilsson',['白井良明','辻井潤一','佐藤泰介'],1983 / 1 / 15,日本コンピュータ協会,'').
'prolog関連書籍'('最適化','岩波講座 情報科学-19',['西川偉一','三宮信夫','茨木俊秀'],'',1982 / 9 / 10,'岩波書店','').
% 'prolog関連書籍'('言語工学','人工知能シリーズ2','長尾真','',1983 / 6 / 25,'昭晃堂','ISBN4-7856-3042-6').
'prolog関連書籍'('機械知能論','人工知能シリーズ1','志村正道','',1983 / 7 / 15,'昭晃堂','ISBN4-7856-3043-4').
'prolog関連書籍'('人工知能2','マグロウヒル コンピュータシリーズ','E.リッチ',['廣田薫','富村勲'],1984 / 9 / 1,'マグロウヒル','3055-005638-7952').
% 'prolog関連書籍'('エキスパート・システム','ソフトウェア サイエンス シリーズ',['フレデリック ヘイズーロス','レナルドA.ウォーターマン編','ダグラスB.レナート'],['中島秀之','白井英俊','田中卓史','中川裕志','鈴木浩之','松原仁','寺野隆雄','斎藤康巳','平賀譲','片桐恭弘'],1985 / 6 / 27,'産業図書','ISBN4-7828-5002-6').
'prolog関連書籍'('人工知能の世界','コンピュータに関心あるすべての人のために',['田村隆一','柳原圭雄','唐沢博'],'',1985 / 9 / 16,'技術評論社','ISBN4-87408-168-1').
% 'prolog関連書籍'('日常言語の推論','認知科学選書2','坂原茂','',1985 / 10 / 1,'東京大学出版会','ISBN4-13-013052-8').
'prolog関連書籍'('自然言語の基礎理論','',['石川彰','松本裕治','向井国昭','安川秀樹','安食敏宏'],'',1986 / 10 / 16,'共立出版','ISBN4-320-02264-5').
'prolog関連書籍'('知識情報処理','知識工学講座1','大須賀節雄','',1986 / 11 / 25,'オーム社','ISBN4-274-07321-1').
'prolog関連書籍'('知識工学','人工知能シリーズ10','小林重信','',1986 / 12 / 10,'昭晃堂','ISBN4-7856-3068-X').
'prolog関連書籍'('エキスパート・システム入門','',['安部憲広','滝寛和'],'',1986 / 12 / 15,'共立出版','ISBN4-320-02297-1').
'prolog関連書籍'('新世代プログラミング','',['井田哲雄','尾内理紀夫','黒川利明','竹内彰一','外山芳人','淵一博'],'',1986 / 2 / 10,'共立出版','ISBN4-320-02259-9').
'prolog関連書籍'('知識ベース入門','',['石塚満','上野春樹','大須賀節雄','奥野博','小山照夫','白井良明','辻井恭一','速水悟'],'',1986 / 4 / 20,'オーム社','ISBN4-274-07287-8').
'prolog関連書籍'('知識学習のメカニズム','知識情報処理シリーズ2',['国藤進','有川節夫','篠原武','北上始','原口誠','武脇敏晃','堀浩一'],'',1986 / 5 / 5,'共立出版','ISBN4-320-02262-7').
% 'prolog関連書籍'('協調型計算システム','--分散型ソフトウェアの技法と道具立て--','['R.E.フィルマン','D.P.フリードマン'],['雨宮真人','尾内理紀夫','高橋直久'],1986 / 7 / 1,'マグロウヒル','ISBN4-89501-030-9']).
'prolog関連書籍'('知識情報処理','知識工学講座1','大須賀節雄','',1986 / 11 / 25,'オーム社','ISBN4-274-07321-1').
% 'prolog関連書籍'('エキスパートシステム','--知識工学とその応用--','上野晴樹','',1986 / 12 / 25,'オーム社','ISBN4-274-07318-1').
'prolog関連書籍'('エキスパート・システム','基礎概念と実例',['J.L.アルティ','M.J.クームス'],'太原育夫','',1987/ 1 / 10,'啓学出版','ISBN4-7665-0312-0').
'prolog関連書籍'('知識の表現と利用','知識工学講座2',['上野春樹','小山照夫','岡本敏雄','松尾文雄','石塚満'],'',1987 / 2 / 10,'オーム社','ISBN4-274-07331-9').
'prolog関連書籍'('知識の獲得と学習','知識工学講座3',['大須賀節雄','佐伯胖','小橋康章','大槻説乎','北橋忠宏','田中譲','篠原武','宮原哲浩','原口誠'],'',1987 / 3 / 20,'オーム社','ISBN4-274-073246-7').
'prolog関連書籍'('人工知能コンピュータ','判断・推論のしくみ','秋田輿一郎','',1987 / 5 / 25,'電気書院','ISBN4-485-57102-5').
'prolog関連書籍'('AI入門','','矢田光治','',1987 / 5 / 25,'オーム社','ISBN4-274-07355-6').
'prolog関連書籍'('論理プログラミングの基礎','','J.W.ロイド',['佐藤雅彦','森下真一'],1987 / 6 / 30,'産業図書','ISBN4-7625-5003-4').
'prolog関連書籍'('プログラム変換','知識処理シリーズ7',['佐藤泰介','二木厚吉','玉木久夫','二村良彦','竹内彰一','安村通晃','吉田紀彦'],'',1987 / 8 / 1,'共立出版','ISBN4-320-02267-X').
'prolog関連書籍'('並列論理型言語GHCとその応用','知識情報処理シリーズ6',['竹内彰一','上田和紀','野田泰徳','松本裕治','杉本勉','田中二郎','太田由紀子'],'',1987 / 9 / 10,'共立出版','ISBN4-320-02266-1').
'prolog関連書籍'('コンピュータ言語進化論','思考増幅装置を求める知的冒険の旅',['Howard Levine','Howard Rheingold'],'椋田直子',1988 / 3 / 21,'アスキー出版局','ISBN4-87148-301-0').
'prolog関連書籍'('パソコンエキスパートシステム','-低価格ツールによるエキスパートシステムの構築手順-','OHM編集部編','',1988 / 4 / 30,'オーム社','ISBN4-274-07409-9').
'prolog関連書籍'('述語論理と論理プログラミング','',['有川節夫','原口誠'],'',1988 / 5 / 10,'オーム社','ISBN2-274-07386-6').
'prolog関連書籍'('知識の帰納的推論','知識処理シリーズ3','E.Y.Shapiro','有川節夫',1988 / 7 / 20,'共立出版','ISBN4-320-02263-7').
'Prolog関連書籍'('知識と推論','岩波講座 ソフトウェア科学-14','長尾真','',1988/7/25,'岩波書店','ISBN4-00010-354-7').
'prolog関連書籍'('記号処理プログラミング','岩波講座 ソフトウェア科学-8','後藤滋樹','',1988 / 8 / 10,'岩波書店','ISBN-4-00-010348-2').
'prolog関連書籍'('知識プログラミング','知識処理シリーズ8',['鈴木浩之','小野典彦','中島秀之','国藤進','石塚満','松田哲史','井下博史','有馬淳','佐藤健','房岡璋','高橋和子'],'',1988 / 9 / 1,'共立出版','ISBN4-320-02268-8').
'prolog関連書籍'('エキスパートシステム','知識工学講座5',['上野晴樹','小山照夫'],'',1998 / 12 / 20,'オーム社','ISBN4-274-07462-5').
'prolog関連書籍'('コンピュータによる推論技法','',['L.ウォス','R.オーバーピーク','E.ラスク','J.ボイル'],['川越恭二','久野茂','前田康行','光本圭子'],1989 / 1 / 20,'マグロウヒル','ISBN4-89501-292-1').
'prolog関連書籍'('新しいプログラミングパラダイム','',['相場亮','井田哲雄','大須賀昭彦','加藤和彦','柴山悦哉','田中二郎','富樫敦','横内寛文','横田一正'],'',1989 / 11 / 10,'共立出版','ISBN4-320-02493-1').
'prolog関連書籍'('制約論理プログラミング','',['坂井公','佐藤洋裕','田中二郎','相場亮','川村十志夫','橋田浩一','丸山文宏','渡辺俊典','佐藤由美子','森文彦','戸沢義夫','昭尾雅之','森下真一'],'',1989 / 11 / 20,'共立出版','ISBN-4-320-02469-9').
'prolog関連書籍'('自然言語解析の基礎','','田中穂積','',1989 / 11 / 27,'産業図書','ISBN4-7828-5127-8').
'prolog関連書籍'('定性推論','知識処理シリーズ別巻1',['淵一博','溝口文雄','古川康一','安西祐一郎','田中博','西田豊明','本田一賀','開一夫','堂下修司','清水周作','大木優','元田浩'],'',1989 / 2 / 15,'共立出版','ISBN4-320-02468-0').
'prolog関連書籍'('人工知能','','志村正道','',1989 / 4 / 20,'オーム社','ISBN4-274-07506-0').
% 'prolog関連書籍'('人事情報エキスパートシステム','','三重野博司','',1989 / 7 / 20,'オーム社','ISBN4-274-07521-4').
'prolog関連書籍'('データベースと知識ベース','新しい情報システムを目指して','大須賀節雄','',1989 / 7 / 30,'共立出版','ISBN4-274-07520-6').
'prolog関連書籍'('論理・代数・データベース','知の工学の基礎','ピーター・グレイ',[田中穂積,徳永健伸],1990 / 2 / 1,産業図書,'ISBN4-7828-5128-6').
'prolog関連書籍'('OA実務家の書いたエキスパート・システムの本','','三菱商事(株)システム企画部OA技術チーム編','',1990 / 2 / 1,'日本能率協会','ISBN4-8207-0664-0').
'prolog関連書籍'('法律家のためのコンピュータ利用法','論理プログラミング入門','加賀山茂','',1990 / 2 / 10,有斐閣,'ISBN4-641-07541-7').
'prolog関連書籍'('パソコン言語による人工知能(AI)プログラミング','PC-9800対応 Prolog/LISP/Smalltalk/C/FORTRAN/COBOL/BASIC','舟本奨','',1990 / 3 / 20,'ナツメ社','ISBN4-8163-1035-5').
'prolog関連書籍'('作品としてのプログラム','','黒川利明','',1990 / 4 / 27,'岩波書店','ISBN4-00-005403-1').
'prolog関連書籍'('自然言語理解と論理プログラミング','',['Y.Dahi','P.Saint-Dizier'],['西田豊明','松本裕治','上原邦昭'],1990 / 4 / 30,'近代科学社','ISBN4-7649-0163-3').
% 'prolog関連書籍'('人工知能における知識ベースシステム','',['ランドール・デービス','ダグラス・B・レナート'],['溝口文雄','諏訪基','実近憲昭','平井成興','仁木和久','豊田順一','上原邦昭','河合和久','山口高平','溝口理一郎'],1991 / 4 / 10,'啓学出版','ISBN4-7665-1100-x').
'prolog関連書籍'('情報の論理数学入門','ブール代数から述語論理まで',['小倉久和','高濱徹行'],'',1991 / 4 / 20,'近代科学社','ISBN-47649-0180-3').
'prolog関連書籍'('自然言語処理入門','情報・電子入門シリーズ','岡田直之','',1991 / 5 / 20,'共立出版','ISBN4-320-02434-6').
'prolog関連書籍'('エキスパートシステム','MARUZEN Advanced Technology 電子・情報・通信編',['石塚満','小林重信','薦田憲久','竹垣盛一','寺野隆雄','山崎知彦'],'',丸善株式会社,1991 / 9 / 30,'ISBN4-621-03622-X').
'prolog関連書籍'('人工知能概論','',荒屋真ニ,'',共立出版,1991 / 11 / 5,'ISBN4-320-02605-5').
'prolog関連書籍'('人工知能最前線','財務エキスパートシステム',['D.E.オゥレアリ','P.R.ワトキンス'],['佐伯光彌','光村司','西ヶ谷邦正','斎藤孝一','三藤利雄'],1993 / 4 / 30,'学友社','ISBN4-7620-0483-9').
'prolog関連書籍'('エキスパートシステムII 技術の動向','朝倉AIらいぶらり','溝口理一郎','',1993 / 6 / 20,'朝倉書店','ISBN4-254-12623-9').
'prolog関連書籍'('意思決定支援システムとエキスパートシステム','シリーズ・経営情報システム','飯島淳一',1993 / 10 / 23,'日科技連出版社','ISBN4-8171-6162-0').
'prolog関連書籍'('自然言語','情報数学セミナー','郡司隆男','',1994 / 1 / 15,'日本評論社','ISBN4-535-60811-3').
'Prolog関連書籍'('知識と推論,'',森下真一,'',1994 / 1 / 25,共立出版,'ISBN4-320-02660-8').
'prolog関連書籍'('知識処理論','知識・情報メディアシリーズ','萩野達也','',1995 / 6 / 30,'産業図書','ISBN4-7828-5302-5').
'prolog関連書籍'('スケジューリングとシミュレーション','',['田中克己','石井信明'],'',1995 / 10 / 20,'コロナ社','ISBN4-339-08357-7').
'prolog関連書籍'('形式言語と有限オートマトン入門','例題を中心とした情報の離散数学','小倉久和','',1996 / 10 / 15,コロナ社,'ISBN4-339-02339-6').
'prolog関連書籍'('エージェントアプローチ 人工知能','',['スチュワート・ラッセル','ピーター・ノーヴィグ'],['古川康一'],1997 / 12 / 15,'共立出版','ISBN4-320-02878-3').
'prolog関連書籍'('関数プログラミング','情報数学セミナー','萩谷昌己','',1998 / 3 /30,'日本評論社','ISBN4-535-60817-2').
'prolog関連書籍'('自然言語・意味論・論理','','赤間世紀','',1998 / 9 / 15,'共立出版','ISBN4-320-02908-9').
% 'prolog関連書籍'('形式言語の理論','情報科学コアカリキュラム講座',['西野哲朗','石坂裕毅'],'',1999 / 7 / 31,'丸善株式会社','ISBN4-621-04626-8').
'prolog関連書籍'('人工知能の基礎','情報科学コアカリキュラム講座','西田豊明','',1999 / 9 / 30,'丸善株式会社','ISBN4-621-04646-2').
'prolog関連書籍'('新しい人工知能','発展編',['前田隆','青木文夫'],'',2000 / 3 / 10,'オーム社','ISBN4-274-13198-X').
'prolog関連書籍'('計算論理に基づく 推論ソフトウェア論','',山崎進,'',2000 / 5 / 26,'コロナ社','ISBN4-339-02373-6').
'prolog関連書籍'('知的エージェントのための集合と論理','インターネット時代の数学シリーズ6','中島秀之','',2000 / 6 / 10,'共立出版','ISBN4-320-01645-9').
'prolog関連書籍'('人工知能の基礎理論','','赤間世紀','',2000 / 12 / 25,'電気書院','ISBN4-485-66246-2').
'prolog関連書籍'('Interlog','コンピュータ言語','吉川永一','',2002 / 3 / 29,'東京図書出版会','ISBN4-434-03554-1').
'prolog関連書籍'('帰納論理プログラミング','Inductive Logic Programming',['古川康一','尾崎知伸','植野研'],'',2001 / 5 / 25,'共立出版','ISBN4-320-12014-0').
'prolog関連書籍'('知識と推論','Information Science & Engineering-T1','新田克己','',2002 / 6 / 10,'サイエンス社','ISBN4-7819-1008-4').
'prolog関連書籍'('法律人工知能','法的知識の解明と法的推論の実現','吉野一','',2002 / 2 / 29,'創成社','ISBN4-7944-4030-8').
'prolog関連書籍'(''言語・知識・信念の論理','知の科学',東条敏,'',2006/ 3/ 15,オーム社,'ISBN4-274-20211-9').
'prolog関連書籍'('人工知能','IT Text',['本井田真一','松本一教','宮原哲浩','永井保夫'],'',2005 / 7 / 20,'オーム社','ISBN4-274-20106-6').
'prolog関連書籍'('組み込みソフトウェアの設計&検証','組込み動作からRTOSを使った,ツールによる動作検証まで','藤倉俊幸','',2006 / 9 / 1,CQ出版社,'ISBN978-4-7898-3344-8').
% 'prolog関連書籍'('言語・知識・信念の論理','知の科学',['東条敏','人工知能学会'],'',2006 / 3 / 15,'オーム社','ISBN4-274-20211-9').
% 'prolog関連書籍'('論理と計算のしくみ','',['萩谷昌己','西崎真也'],'',2007 / 6 / 27,'岩波書店','ISBN978-4-00-006191-9').
'prolog関連書籍'('コンピュータプログラミングの概念・技法・モデル','Concepts,Techniques,and Modelsof Computer Programming',['ピーター・ヴァン・ロイ','セイフ・ハリディ'],'羽永洋',2007 / 11 / 7,'翔泳社','ISBM978-4-7981-1346-3').
'prolog関連書籍'('On Lisp','','Paul Graham','野田開',2008 / 3 / 23,オーム社,'INBN978-4-274-6637-5').
'prolog関連書籍'(''新 人工知能の基礎知識'','',太原育夫,'',2008 / 6/ 30,'近代科学社','ISBN978-4-7649-0356-2').
'prolog関連書籍'('数理論理学','コンピュータサイエンス教科書シリーズ 18',['古川康一','向井国昭'],'',2008 / 6 / 27,'コロナ社','ISBN978-4-339-02718-1').
'Prolog関連書籍'('メディア情報学入門','','鈴木昇一','',2010 / 4 / 1,'東京図書出版会','ISBN-10: 4862234062').
'Prolog関連書籍'('渕一博 その人とコンピュータサイエンス','','[田中穂積,黒川利明,太田耕三,古川康一,岡田久雄],'',近代科学社,2010 / 3/ 31,'ISBN978-4-7649-0365-4').
'prolog関連書籍'('実用 Common Lisp','(IT Architects’Archive CLASSIC MODER)','ピーター・ノーヴィッグ','松本宣男',2010 / 5 / 11,'翔泳社','ISBN-13: 978-4798118901').
'prolog関連書籍'('7つの言語 7つの世界','Ryby,lo,Prolog,Scala,Erlang,Clojure,and Haskell','Bruce A. Tate','まつもとゆきひろ監訳,田和数',2011 / 7 / 25,'オーム社','ISBN978-4-274-06857-7').
'Prolog関連書籍'('知識基盤社会のための人工知能入門,'計測・制御テクノロジーシリーズ 16',[国藤進,中田豊久,羽山徹彩],'',2012 / 5 / 9,コロナ社,'ISBN978-4-339-03366-3').
'Prolog関連書籍'('イラストで学ぶ 人工知能概論','',谷口忠大,'',2014 / 9 / 25,'オーム社','ISBN978-406-1538238').
'prolog関連書籍'('数理論理学-合理的エージェントへの応用に向けて','',[加藤暢,高田司郎,新出尚之],'',2014 / 10 / 30,コロナ社,'ISBN978-4-339-02489-0').
'prolog関連書籍'('知能の物語','','中島秀之','',2015 / 5 / 31,'公立はこだて未来大学出版会','ISBN978-4-7649-5552-3').
'prolog関連書籍'('人工知能入門,'',小高知宏,'',2015 / 9 / 15,共立出版,'ISBN978-4-320-12389-2').
'prolog関連書籍'('現代意味論入門,'',[吉本啓,中村裕昭],'',2016 / 2 / 16,くろしお出版,'ISMN978-4-87424-676-4').
'prolog関連書籍'('はじめての人工知能,'Excelで体験しながら学ぶAI',浅井登,'',2016 / 3 / 8,翔泳社,'ISMN978-4-7981-4465-8').
'prolog関連書籍'('グッド・マス','ギークのための数・論理・計算機科学','Mark C.Chu-Carroll',cocoatomo,2016 / 6 / 25,オーム社,'ISBN978-4-274-21896-5').


% Prologの表示的意味論 須原浩道氏によるqiita上のサイト
% prolog書籍
% prolog書籍+prolog関連書籍
% このサイトは以下の基準で選択されています。 % Prologに関する記述が章立てしてある書籍は無条件でここに載せました。 % Prologのコードは現れないが、Prologプログラミングに極めて有用な情報を多く持つ書。 % 書名にPrologが入っている書籍(Prolog書籍)は別のサイトにあります % 他にPrologに関係深い概念の詳しい解説ある本をコメントアウトして付加しました。 % 文献やインターネット検索で得られる情報はこの他にも多数あります。 % 学会誌記事、シンポジウムproceeding、雑誌の特集などは公開準備中です。