@prefix dbo: .
@prefix dbpedia-ja: .
dbpedia-ja:ARIEL dbo:wikiPageWikiLink .
dbpedia-ja:ETL_Mark_III dbo:wikiPageWikiLink .
dbpedia-ja:Guarded_Horn_Clauses dbo:wikiPageWikiLink .
dbpedia-ja:KL1 dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbpedia-ja:Logical_Inference_Per_Second dbo:wikiPageWikiLink .
dbpedia-ja:MELCOM dbo:wikiPageWikiLink .
dbpedia-ja:Prolog dbo:wikiPageWikiLink .
dbpedia-ja:Strand dbo:wikiPageWikiLink .
@prefix rdf: .
@prefix foaf: .
rdf:type foaf:Document ;
foaf:primaryTopic .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink ;
.
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
@prefix rdfs: .
rdfs:label "\u7B2C\u4E94\u4E16\u4EE3\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF"@ja ;
rdfs:comment "\u7B2C\u4E94\u4E16\u4EE3\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF\uFF08\u3060\u3044\u3054\u305B\u3060\u3044\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF\uFF09\u8A08\u753B\u3068\u306F\u3001\u5F53\u6642\u306E\u901A\u5546\u7523\u696D\u7701\uFF08\u73FE\u7D4C\u6E08\u7523\u696D\u7701\uFF09\u6240\u7BA1\u306E\u65B0\u4E16\u4EE3\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF\u6280\u8853\u958B\u767A\u6A5F\u69CB\uFF08ICOT\uFF09\u304C\u30011982\u5E74\u304B\u30891992\u5E74\u306B\u304B\u3051\u3066\u9032\u3081\u305F\u56FD\u5BB6\u30D7\u30ED\u30B8\u30A7\u30AF\u30C8\u3067\u3042\u308B\u3002\u3044\u308F\u3086\u308B\u4EBA\u5DE5\u77E5\u80FD\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF\u306E\u958B\u767A\u304C\u76EE\u7684\u306B\u3055\u308C\u3066\u304A\u308A\u3001\u7DCF\u984D\u3067540\u5104\u5186\u306E\u56FD\u5BB6\u4E88\u7B97\u304C\u6295\u5165\u3055\u308C\u3066\u3044\u308B\u3002\u975E\u30CE\u30A4\u30DE\u30F3\u578B\u8A08\u7B97\u30CF\u30FC\u30C9\u30A6\u30A7\u30A2\u3001\u77E5\u8B58\u60C5\u5831\u51E6\u7406\u30BD\u30D5\u30C8\u30A6\u30A7\u30A2\u3001\u4E26\u884C\u8AD6\u7406\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u304C\u30D7\u30ED\u30B8\u30A7\u30AF\u30C8\u306E\u4E09\u672C\u67F1\u3068\u3055\u308C\u305F\u3002\u3053\u306E\u30D7\u30ED\u30B8\u30A7\u30AF\u30C8\u306E\u7D50\u679C\u306B\u306F\u8CDB\u5426\u4E21\u8AD6\u304C\u3042\u308B\u304C\u3001\u5B9F\u7528\u7684\u306A\u30A2\u30D7\u30EA\u30B1\u30FC\u30B7\u30E7\u30F3\u306E\u751F\u7523\u6BB5\u968E\u307E\u3067\u9032\u6357\u3067\u304D\u306A\u304B\u3063\u305F\u3068\u3044\u3046\u70B9\u3067\u6982\u306D\u5426\u5B9A\u7684\u306B\u8AD6\u8A55\u3055\u308C\u308B\u50BE\u5411\u304C\u3042\u308B\u3002\u4ED6\u65B9\u3067\u8AD6\u7406\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u7814\u7A76\u306B\u3088\u308B\u5B66\u8853\u632F\u8208\u3092\u3082\u305F\u3089\u3057\u3066\u60C5\u5831\u5DE5\u5B66\u306E\u5F8C\u9032\u80B2\u6210\u306B\u5BC4\u4E0E\u3057\u305F\u3068\u3059\u308B\u80AF\u5B9A\u7684\u306A\u898B\u65B9\u3082\u3042\u308B\u304C\u3001\u56FD\u969B\u5B66\u4F1A\u3067\u306F\u65E5\u672C\u306E\u7814\u7A76\u6210\u679C\u304C\u6CE8\u76EE\u3055\u308C\u305F\u3068\u306F\u8A00\u3044\u96E3\u304F\u3001\u65E5\u672C\u304C\u7279\u306B\u7814\u7A76\u3057\u305FProlog\u306EISO\u898F\u683C\u5316\u306E\u969B\u306B\u3082\u305D\u308C\u307B\u3069\u5927\u304D\u306A\u5F71\u97FF\u529B\u3092\u6301\u3066\u306A\u304B\u3063\u305F\u3002 \u7B2C\u4E94\u4E16\u4EE3\u3068\u306FICOT\u304C\u5B9A\u7FA9\u3057\u305F\u96FB\u5B50\u8A08\u7B97\u6A5F\u306E\u5206\u985E\u306B\u7531\u6765\u3057\u3066\u304A\u308A\u3001\u7B2C\u4E00\u4E16\u4EE3\uFF08\u771F\u7A7A\u7BA1\uFF09\u3001\u7B2C\u4E8C\u4E16\u4EE3\uFF08\u30C8\u30E9\u30F3\u30B8\u30B9\u30BF\uFF09\u3001\u7B2C\u4E09\u4E16\u4EE3\uFF08\u96C6\u7A4D\u56DE\u8DEF\uFF09\u3001\u7B2C\u56DB\u4E16\u4EE3\uFF08\u5927\u898F\u6A21\u96C6\u7A4D\u56DE\u8DEF\uFF09\u306B\u7D9A\u304F\u3001\u4EBA\u5DE5\u77E5\u80FD\u5BFE\u5FDC\u306E\u6B21\u4E16\u4EE3\u6280\u8853\u3092\u610F\u5473\u3057\u3066\u3044\u305F\u3002"@ja .
@prefix owl: .
owl:sameAs .
@prefix dct: .
dct:subject ,
,
,
,
,
;
dbo:wikiPageID 383163 ;
dbo:wikiPageRevisionID 90904364 ;
dbo:wikiPageWikiLink dbpedia-ja:Logical_Inference_Per_Second ,
,
,
,
,
dbpedia-ja:LISP ,
,
,
,
,
,
,
,
,
,
,
dbpedia-ja:IBM ,
,
,
,
,
dbpedia-ja:Guarded_Horn_Clauses ,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
dbpedia-ja:UNIX ,
,
,
,
,
,
,
,
,
,
,
,
dbpedia-ja:Prolog ,
,
,
,
dbpedia-ja:KL1 ,
,
dbpedia-ja:CPU ,
dbpedia-ja:BASIC ,
,
,
,
,
,
,
;
dbo:wikiPageExternalLink ,
.
@prefix ns7: .
dbo:wikiPageExternalLink ns7:J0005062 ,
,
.
@prefix prop-ja: .
@prefix template-ja: .
prop-ja:wikiPageUsesTemplate template-ja:NCID ;
foaf:isPrimaryTopicOf ;
dbo:abstract "\u7B2C\u4E94\u4E16\u4EE3\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF\uFF08\u3060\u3044\u3054\u305B\u3060\u3044\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF\uFF09\u8A08\u753B\u3068\u306F\u3001\u5F53\u6642\u306E\u901A\u5546\u7523\u696D\u7701\uFF08\u73FE\u7D4C\u6E08\u7523\u696D\u7701\uFF09\u6240\u7BA1\u306E\u65B0\u4E16\u4EE3\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF\u6280\u8853\u958B\u767A\u6A5F\u69CB\uFF08ICOT\uFF09\u304C\u30011982\u5E74\u304B\u30891992\u5E74\u306B\u304B\u3051\u3066\u9032\u3081\u305F\u56FD\u5BB6\u30D7\u30ED\u30B8\u30A7\u30AF\u30C8\u3067\u3042\u308B\u3002\u3044\u308F\u3086\u308B\u4EBA\u5DE5\u77E5\u80FD\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF\u306E\u958B\u767A\u304C\u76EE\u7684\u306B\u3055\u308C\u3066\u304A\u308A\u3001\u7DCF\u984D\u3067540\u5104\u5186\u306E\u56FD\u5BB6\u4E88\u7B97\u304C\u6295\u5165\u3055\u308C\u3066\u3044\u308B\u3002\u975E\u30CE\u30A4\u30DE\u30F3\u578B\u8A08\u7B97\u30CF\u30FC\u30C9\u30A6\u30A7\u30A2\u3001\u77E5\u8B58\u60C5\u5831\u51E6\u7406\u30BD\u30D5\u30C8\u30A6\u30A7\u30A2\u3001\u4E26\u884C\u8AD6\u7406\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u304C\u30D7\u30ED\u30B8\u30A7\u30AF\u30C8\u306E\u4E09\u672C\u67F1\u3068\u3055\u308C\u305F\u3002\u3053\u306E\u30D7\u30ED\u30B8\u30A7\u30AF\u30C8\u306E\u7D50\u679C\u306B\u306F\u8CDB\u5426\u4E21\u8AD6\u304C\u3042\u308B\u304C\u3001\u5B9F\u7528\u7684\u306A\u30A2\u30D7\u30EA\u30B1\u30FC\u30B7\u30E7\u30F3\u306E\u751F\u7523\u6BB5\u968E\u307E\u3067\u9032\u6357\u3067\u304D\u306A\u304B\u3063\u305F\u3068\u3044\u3046\u70B9\u3067\u6982\u306D\u5426\u5B9A\u7684\u306B\u8AD6\u8A55\u3055\u308C\u308B\u50BE\u5411\u304C\u3042\u308B\u3002\u4ED6\u65B9\u3067\u8AD6\u7406\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u7814\u7A76\u306B\u3088\u308B\u5B66\u8853\u632F\u8208\u3092\u3082\u305F\u3089\u3057\u3066\u60C5\u5831\u5DE5\u5B66\u306E\u5F8C\u9032\u80B2\u6210\u306B\u5BC4\u4E0E\u3057\u305F\u3068\u3059\u308B\u80AF\u5B9A\u7684\u306A\u898B\u65B9\u3082\u3042\u308B\u304C\u3001\u56FD\u969B\u5B66\u4F1A\u3067\u306F\u65E5\u672C\u306E\u7814\u7A76\u6210\u679C\u304C\u6CE8\u76EE\u3055\u308C\u305F\u3068\u306F\u8A00\u3044\u96E3\u304F\u3001\u65E5\u672C\u304C\u7279\u306B\u7814\u7A76\u3057\u305FProlog\u306EISO\u898F\u683C\u5316\u306E\u969B\u306B\u3082\u305D\u308C\u307B\u3069\u5927\u304D\u306A\u5F71\u97FF\u529B\u3092\u6301\u3066\u306A\u304B\u3063\u305F\u3002 \u7B2C\u4E94\u4E16\u4EE3\u3068\u306FICOT\u304C\u5B9A\u7FA9\u3057\u305F\u96FB\u5B50\u8A08\u7B97\u6A5F\u306E\u5206\u985E\u306B\u7531\u6765\u3057\u3066\u304A\u308A\u3001\u7B2C\u4E00\u4E16\u4EE3\uFF08\u771F\u7A7A\u7BA1\uFF09\u3001\u7B2C\u4E8C\u4E16\u4EE3\uFF08\u30C8\u30E9\u30F3\u30B8\u30B9\u30BF\uFF09\u3001\u7B2C\u4E09\u4E16\u4EE3\uFF08\u96C6\u7A4D\u56DE\u8DEF\uFF09\u3001\u7B2C\u56DB\u4E16\u4EE3\uFF08\u5927\u898F\u6A21\u96C6\u7A4D\u56DE\u8DEF\uFF09\u306B\u7D9A\u304F\u3001\u4EBA\u5DE5\u77E5\u80FD\u5BFE\u5FDC\u306E\u6B21\u4E16\u4EE3\u6280\u8853\u3092\u610F\u5473\u3057\u3066\u3044\u305F\u3002"@ja .
@prefix xsd: .
dbo:wikiPageLength "6362"^^xsd:nonNegativeInteger .
@prefix prov: .
prov:wasDerivedFrom .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink ;
dbo:wikiPageRedirects .
@prefix dbpedia-wikidata: .
dbpedia-wikidata:Q110952894 owl:sameAs .
dbo:wikiPageWikiLink ;
dbo:wikiPageRedirects .
foaf:primaryTopic .