This HTML5 document contains 246 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n42https://www.cs.tcd.ie/open-prolog/
n8http://kaminari.scitec.kobe-u.ac.jp/PrologCafe/
n28http://www.sics.se/sicstus/
n20http://www.ifcomputer.co.jp/
wikipedia-jahttp://ja.wikipedia.org/wiki/
schemahttp://schema.org/
n18http://ja.dbpedia.org/resource/Category:
n40http://
n9http://www.zogotounga.net/comp/squeak/
dcthttp://purl.org/dc/terms/
n26http://homepages.inf.ed.ac.uk/stg/research/Psharp/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n29http://ja.dbpedia.org/resource/ISO/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n30https://github.com/mthom/
xsdhhttp://www.w3.org/2001/XMLSchema#
n43http://www.clip.dia.fi.upm.es/Software/
n16http://prolog.hodroj.net/
n10https://www.ai-gakkai.or.jp/jsai2014/wp-content/uploads/2014/05/
dbohttp://dbpedia.org/ontology/
n36http://www.dobrev.com/
n6http://www.amzi.com/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n21http://ja.dbpedia.org/resource/Template:N/
n11http://alain.colmerauer.free.fr/alcol/ArchivesPublications/HistoireProlog/
n24http://www.gprolog.org/
n23http://www.az-prolog.com/
n5http://www.dcc.fc.up.pt/INAP-2013/
wikidatahttp://www.wikidata.org/entity/
template-jahttp://ja.dbpedia.org/resource/Template:
n27http://www.dcc.fc.up.pt/~vsc/Yap/
n38http://www.doc.ic.ac.uk/~rak/papers/
prop-jahttp://ja.dbpedia.org/property/
n33http://www.swi-prolog.org/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
n32http://www.probp.com/
n39http://ja.dbpedia.org/resource/CP/
n41http://ja.dbpedia.org/resource/ISO/IEC_JTC_1/
n31http://xsb.sourceforge.net/
n4http://www.itee.uq.edu.au/~pjr/HomePages/
freebasehttp://rdf.freebase.com/ns/
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-wikidata:Q163468
owl:sameAs
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:Concurrent_Prolog
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:Constraint_Handling_Rules
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
prop-ja:影響を受けた言語
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:Eclipse_(統合開発環境)
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:Google_ソースコード検索
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:Guarded_Horn_Clauses
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
n41:SC_22
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:KL1
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:LISPマシン
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:Linda
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:Logical_Inference_Per_Second
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:Oz_(プログラミング言語)
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:PARLOG
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
prop-ja:影響を受けた言語
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:PL
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
dbo:wikiPageDisambiguates
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:Picat
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
prop-ja:影響を受けた言語
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:Prolog
rdf:type
dbo:Language wikidata:Q9143 wikidata:Q315 schema:Language dbo:ProgrammingLanguage owl:Thing
rdfs:label
Prolog
rdfs:comment
Prolog(プロログ)は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。一階述語論理と形式論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。 Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキの門弟のデヴィッド・ワーレンが1977年に改訂開発したエディンバラProlog(DEC-10 Prolog)が標準になってPrologは広く普及した。
owl:sameAs
freebase:m.05vpz
dct:subject
n18:論理プログラミング言語 n18:計算機科学における論理 n18:ユニフィケーション
dbo:wikiPageID
1475
dbo:wikiPageRevisionID
91866084
dbo:wikiPageWikiLink
dbpedia-ja:並行プログラミング dbpedia-ja:Unicode dbpedia-ja:計算言語学 dbpedia-ja:並列処理 dbpedia-ja:PARLOG dbpedia-ja:電子技術総合研究所 dbpedia-ja:1972年 dbpedia-ja:C_Sharp dbpedia-ja:Logtalk dbpedia-ja:自動定理証明 dbpedia-ja:フランス dbpedia-ja:並行論理プログラミング dbpedia-ja:IBM dbpedia-ja:新世代コンピュータ技術開発機構 dbpedia-ja:ESP dbpedia-ja:並行制約プログラミング dbpedia-ja:句構造文法 dbpedia-ja:Guarded_Horn_Clauses dbpedia-ja:ワトソン_(コンピュータ) dbpedia-ja:ソフトバンク dbpedia-ja:単一化 dbpedia-ja:第五世代コンピュータ dbpedia-ja:Strand dbpedia-ja:デービス・パトナムのアルゴリズム n18:論理プログラミング言語 dbpedia-ja:論理式_(数学) dbpedia-ja:ジャック・エルブラン dbpedia-ja:ホーン節 dbpedia-ja:ウェブアプリケーション dbpedia-ja:制約論理プログラミング dbpedia-ja:共通言語基盤 dbpedia-ja:制約プログラミング dbpedia-ja:動的型付け dbpedia-ja:宣言型言語 dbpedia-ja:連言 dbpedia-ja:導出原理 dbpedia-ja:関数_(数学) dbpedia-ja:マルセイユ大学 dbpedia-ja:人工知能 dbpedia-ja:再帰 dbpedia-ja:京都大学 dbpedia-ja:導出 dbpedia-ja:関係データベース dbpedia-ja:エディンバラ大学 dbpedia-ja:論理型言語 dbpedia-ja:エルブランの定理 dbpedia-ja:エジンバラ大学 dbpedia-ja:一階述語論理 n18:計算機科学における論理 dbpedia-ja:Visual_Prolog n18:ユニフィケーション dbpedia-ja:数理論理学 dbpedia-ja:命題論理 dbpedia-ja:インペリアル・カレッジ・ロンドン dbpedia-ja:Oz_(プログラミング言語) dbpedia-ja:命題 dbpedia-ja:述語論理 dbpedia-ja:左再帰 dbpedia-ja:論理プログラミング dbpedia-ja:自動計画 dbpedia-ja:オペレーティングシステム dbpedia-ja:失敗による否定 dbpedia-ja:Planner dbpedia-ja:定理証明系 dbpedia-ja:渕一博 dbpedia-ja:KL1 dbpedia-ja:宣言型プログラミング dbpedia-ja:C言語 dbpedia-ja:Erlang dbpedia-ja:ギルモアのアルゴリズム dbpedia-ja:Concurrent_Prolog dbpedia-ja:演繹 dbpedia-ja:エキスパートシステム dbpedia-ja:ユニフィケーション dbpedia-ja:自然言語処理 dbpedia-ja:クロスプラットフォーム dbpedia-ja:プログラム_(コンピュータ) dbpedia-ja:パターンマッチング
dbo:wikiPageExternalLink
n4:QuPrologHome.html n5: n6: n8: n9:prolog.htm n10:413fefda6830ad81ebda8b5491323b22.pdf n11:19november92.pdf n16: n20:MINERVA n23: n24: n26: n27:index.html n28: n30:scryer-prolog n31: n32: n33: n36: n38:the%20early%20years.pdf n40:www.visual-prolog.com n42: n43:Ciao
foaf:name
Prolog
prop-ja:wikiPageUsesTemplate
n21:A template-ja:仮リンク template-ja:Authority_control template-ja:百科事典的でない template-ja:Reflist template-ja:Refbegin template-ja:Refend template-ja:Wikibooks template-ja:Otheruses template-ja:Infobox_プログラミング言語 template-ja:プログラミング言語一覧 template-ja:プログラミング言語 template-ja:複数の問題
prop-ja:プラットフォーム
dbpedia-ja:クロスプラットフォーム
prop-ja:処理系
AZ-Prolog, BProlog, Ciao Prolog, ECLiPSe, GNU Prolog, K-Prolog, Open Prolog, Poplog, Prolog Cafe, Prolog.NET, P#, SICStus Prolog, Strawberry Prolog, SWI-Prolog, YAP-Prolog
prop-ja:登場時期
1972
prop-ja:date
2016
prop-ja:section
1
prop-ja:type
IINFO
prop-ja:出典の明記
2016
prop-ja:名前
Prolog
prop-ja:大言壮語
2016
prop-ja:独自研究
2016
prop-ja:言葉を濁さない
2016
prop-ja:設計者
Alain Colmerauer 他
prop-ja:パラダイム
dbpedia-ja:論理プログラミング
prop-ja:型付け
dbpedia-ja:動的型付け
prop-ja:影響を与えた言語
Erlang, KL0, ESP, Guarded Horn Clauses, KL1, Concurrent Prolog, PARLOG, , Oz, Strand,
dbo:abstract
Prolog(プロログ)は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。一階述語論理と形式論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。 Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキの門弟のデヴィッド・ワーレンが1977年に改訂開発したエディンバラProlog(DEC-10 Prolog)が標準になってPrologは広く普及した。
foaf:isPrimaryTopicOf
wikipedia-ja:Prolog
dbo:wikiPageLength
36810
prov:wasDerivedFrom
wikipedia-ja:Prolog?oldid=91866084&ns=0
Subject Item
dbpedia-ja:SFL
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:SMC-777
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:Standard_ML
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:Strand
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
prop-ja:影響を受けた言語
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:Atari_ST
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:BDS-C
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
n39:M
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:ファイルフォーマット一覧
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:ファジィ論理
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:フランス関係記事の一覧
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:フランツ_(企業)
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:フレーム問題
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:プログラミング用語_(分野別)
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:プログラミング言語
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:プログラミング言語の比較
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:プログラミング言語一覧
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:プログラミング言語年表
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:プログラム電卓
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:プロセスモデル
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:プロローグ
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:ホーン節
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:ポケットコンピュータの製品一覧
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:メタクラス
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:一階述語論理
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:並行制約プログラミング
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:並行論理プログラミング
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:人工知能の歴史
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:利用者定義演算子
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:制約プログラミング
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:制約論理プログラミング
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:剰余演算
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:動的プログラミング言語
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:同図像性
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:国際標準化機構が定める国際標準一覧_(ISO_13000_から_ISO_13999_まで)
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:失敗による否定
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:安藤聖
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:宣言型プログラミング
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:導出原理
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:帰納プログラミング
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:抽象機械
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:日本産業規格(情報処理)の一覧
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:森一夫
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:相互再帰
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:知識表現
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:第五世代コンピュータ
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:節標準形
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:終止符
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:自然言語理解
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:論理プログラミング
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:連結リスト
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:関数オブジェクト
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:UKNC
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:Wolfram_(プログラミング言語)
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:XL_(プログラミング言語)
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:Yet_another
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:けものフレンズ_(アニメ)
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:エキスパートシステム
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:エルブランの定理
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:カット除去定理
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:ケース・センシティブ
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:コロン_(記号)
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:コンパイラ
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:コンピュータ
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:コンピュータプログラミングの概念・技法・モデル
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:コンピュータ用語一覧
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:セガAIコンピュータ
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:バックトラッキング
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:パターンマッチング
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:JIS_X_3013
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
dbo:wikiPageRedirects
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:Planner
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:後向き連鎖
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
n29:IEC_13211
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
dbo:wikiPageRedirects
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:プロログ
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
dbo:wikiPageRedirects
dbpedia-ja:Prolog
Subject Item
dbpedia-ja:Class_Q
dbo:wikiPageWikiLink
dbpedia-ja:Prolog
Subject Item
wikipedia-ja:Prolog
foaf:primaryTopic
dbpedia-ja:Prolog