[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki47\/archives\/3437#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/all2jp\/wiki47\/archives\/3437","headline":"Datalog -Wikipedia\u3001\u7121\u6599\u767e\u79d1\u4e8b\u5178","name":"Datalog -Wikipedia\u3001\u7121\u6599\u767e\u79d1\u4e8b\u5178","description":"before-content-x4 \u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30b5\u30a4\u30a8\u30f3\u30b9 – \u6f14ductive\u30c7\u30fc\u30bf\u30d9\u30fc\u30b9\u306b\u4f7f\u7528\u3055\u308c\u308b\u30d7\u30ed\u30ed\u30fc\u30b0\u8a00\u8a9e\u3067\u30e2\u30c7\u30eb\u5316\u3055\u308c\u305f\u30af\u30a8\u30ea\u306e\u8a00\u8a9e\u3002\u3053\u308c\u306f\u3001\u6b63\u5f0f\u306a\u30ed\u30b8\u30c3\u30af\u3067\u77e5\u3089\u308c\u3066\u3044\u308b\u63a8\u8ad6\u306e\u65b9\u6cd5\u306b\u57fa\u3065\u3044\u3066\u3044\u307e\u3059\u3002\u516c\u7406\u3068\u63a8\u8ad6\u30eb\u30fc\u30eb\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u307e\u3059\u3002 Datalog\u306e\u59cb\u307e\u308a\u306f\u3001\u8ad6\u7406\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u59cb\u307e\u308a\u306b\u95a2\u9023\u4ed8\u3051\u3089\u308c\u3066\u3044\u307e\u3059\u3002\u7de0\u3081\u5207\u308a\u306e\u4f5c\u6210\u8005\u3068\u3057\u3066 \u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30b5\u30a4\u30a8\u30f3\u30b9 \u30c7\u30d3\u30c3\u30c9\u30fb\u30de\u30a4\u30a2\u30fc\u306f\u8a8d\u3081\u3089\u308c\u3066\u3044\u307e\u3059\u3002\u3053\u306e\u7528\u8a9e\u306e\u958b\u767a\u306f\u3001\u6307\u5b9a\u3059\u308b\u3053\u3068\u3067\u3059 \u30c7\u30fc\u30bf\u30d9\u30fc\u30b9\u30ed\u30b8\u30c3\u30af – \u300c\u30c7\u30fc\u30bf\u30d9\u30fc\u30b9\u30ed\u30b8\u30c3\u30af\u300d\u3002 after-content-x4 \u3055\u307e\u3056\u307e\u306a\u51fa\u7248\u7269\u3067\u306f\u3001\u4ed6\u306e\u8a00\u8a9e\u3068\u30b3\u30f3\u30d4\u30e5\u30fc\u30c6\u30a3\u30f3\u30b0\u30e2\u30c7\u30eb\u306e\u8a8d\u8b58\u307e\u305f\u306f\u62e1\u5f35\u3068\u3057\u3066\u767b\u5834\u3057\u305f\u305f\u3081\u3001\u8a00\u8a9e\u81ea\u4f53\u306e\u4f5c\u6210\u8005\u306e\u7279\u5b9a\u306e\u30b0\u30eb\u30fc\u30d7\u3092\u793a\u3059\u3053\u3068\u306f\u3067\u304d\u307e\u305b\u3093\u3002\u79d1\u5b66\u7814\u7a76\u306e\u72ec\u7acb\u5206\u91ce\u3068\u3057\u3066\u306eDatalog\u306e\u6b74\u53f2\u306f\u30011977\u5e74\u306bHerv\u00e9Gallaire\u3068Jacek Minker\u306b\u3088\u3063\u3066\u7d44\u7e54\u3055\u308c\u305f\u8ad6\u7406\u3068\u30c7\u30fc\u30bf\u30d9\u30fc\u30b9\u306b\u95a2\u3059\u308b\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\u306b\u95a2\u9023\u3057\u3066\u3044\u307e\u3059\u3002 [\u521d\u3081] \u3002 Datalog\u306f\u30011980\u5e74\u4ee3\u534a\u3070\u304b\u308990\u5e74\u4ee3\u534a\u3070\u307e\u3067\u6700\u3082\u4eba\u6c17\u304c\u3042\u308a\u307e\u3059\u304c\u3001\u4eca\u65e5\u3067\u3082\u3001\u7814\u7a76\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u8cea\u554f\u3068\u30c7\u30fc\u30bf\u30d9\u30fc\u30b9\u306e\u6f14ductive\u7684\u306a\u5b9f\u88c5\u306e\u8a00\u8a9e\u3068\u3057\u3066\u4f7f\u7528\u3055\u308c\u3066\u3044\u307e\u3059\u3002 Datalog\u306f\u3001\u6a5f\u80fd\u7684\u306a\u30b7\u30f3\u30dc\u30eb\u304c\u306a\u3044\u30db\u30fc\u30ca\u6761\u9805\u3067\u4f5c\u3089\u308c\u305f\u8a00\u8a9e\u3068\u898b\u306a\u3055\u308c\u308b\u3053\u3068\u304c\u3088\u304f\u3042\u308a\u307e\u3059\u3002\u30c7\u30fc\u30bf\u30ed\u30b0\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\uff08\u30d7\u30ed\u30ed\u30fc\u30b0\u306e\u3088\u3046\u306b\uff09\u306f\u3001\u4e88\u6e2c\uff08\u8ad6\u7406\u95a2\u6570\u306e\u540d\u524d\uff09\u3001\u30ea\u30ec\u30fc\u30b7\u30e7\u30ca\u30eb\u539f\u5b50\uff08\u8ff0\u8a9e\u3068\u305d\u306e\u5f15\u6570\uff09\u3001\u304a\u3088\u3073\u7b97\u8853\u539f\u5b50\uff08\u5f15\u6570\u3092\u542b\u3080\u7b97\u8853\u5f0f\uff09\u3092\u542b\u3080\u300c\u301c\u300d\u30bf\u30a4\u30d7\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u307e\u3059\u3002 after-content-x4 \u5404\u30eb\u30fc\u30eb\u306f\u6b21\u306e\u3068\u304a\u308a\u3067\u3059\u3002 \u30d8\u30c3\u30c0","datePublished":"2020-10-12","dateModified":"2020-10-12","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki47\/archives\/author\/lordneo#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/all2jp\/wiki47\/archives\/author\/lordneo","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":100,"height":100},"url":"https:\/\/wiki.edu.vn\/all2jp\/wiki47\/archives\/3437","wordCount":530,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30b5\u30a4\u30a8\u30f3\u30b9  – \u6f14ductive\u30c7\u30fc\u30bf\u30d9\u30fc\u30b9\u306b\u4f7f\u7528\u3055\u308c\u308b\u30d7\u30ed\u30ed\u30fc\u30b0\u8a00\u8a9e\u3067\u30e2\u30c7\u30eb\u5316\u3055\u308c\u305f\u30af\u30a8\u30ea\u306e\u8a00\u8a9e\u3002\u3053\u308c\u306f\u3001\u6b63\u5f0f\u306a\u30ed\u30b8\u30c3\u30af\u3067\u77e5\u3089\u308c\u3066\u3044\u308b\u63a8\u8ad6\u306e\u65b9\u6cd5\u306b\u57fa\u3065\u3044\u3066\u3044\u307e\u3059\u3002\u516c\u7406\u3068\u63a8\u8ad6\u30eb\u30fc\u30eb\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u307e\u3059\u3002 Datalog\u306e\u59cb\u307e\u308a\u306f\u3001\u8ad6\u7406\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u59cb\u307e\u308a\u306b\u95a2\u9023\u4ed8\u3051\u3089\u308c\u3066\u3044\u307e\u3059\u3002\u7de0\u3081\u5207\u308a\u306e\u4f5c\u6210\u8005\u3068\u3057\u3066 \u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30b5\u30a4\u30a8\u30f3\u30b9 \u30c7\u30d3\u30c3\u30c9\u30fb\u30de\u30a4\u30a2\u30fc\u306f\u8a8d\u3081\u3089\u308c\u3066\u3044\u307e\u3059\u3002\u3053\u306e\u7528\u8a9e\u306e\u958b\u767a\u306f\u3001\u6307\u5b9a\u3059\u308b\u3053\u3068\u3067\u3059 \u30c7\u30fc\u30bf\u30d9\u30fc\u30b9\u30ed\u30b8\u30c3\u30af  – \u300c\u30c7\u30fc\u30bf\u30d9\u30fc\u30b9\u30ed\u30b8\u30c3\u30af\u300d\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u3055\u307e\u3056\u307e\u306a\u51fa\u7248\u7269\u3067\u306f\u3001\u4ed6\u306e\u8a00\u8a9e\u3068\u30b3\u30f3\u30d4\u30e5\u30fc\u30c6\u30a3\u30f3\u30b0\u30e2\u30c7\u30eb\u306e\u8a8d\u8b58\u307e\u305f\u306f\u62e1\u5f35\u3068\u3057\u3066\u767b\u5834\u3057\u305f\u305f\u3081\u3001\u8a00\u8a9e\u81ea\u4f53\u306e\u4f5c\u6210\u8005\u306e\u7279\u5b9a\u306e\u30b0\u30eb\u30fc\u30d7\u3092\u793a\u3059\u3053\u3068\u306f\u3067\u304d\u307e\u305b\u3093\u3002\u79d1\u5b66\u7814\u7a76\u306e\u72ec\u7acb\u5206\u91ce\u3068\u3057\u3066\u306eDatalog\u306e\u6b74\u53f2\u306f\u30011977\u5e74\u306bHerv\u00e9Gallaire\u3068Jacek Minker\u306b\u3088\u3063\u3066\u7d44\u7e54\u3055\u308c\u305f\u8ad6\u7406\u3068\u30c7\u30fc\u30bf\u30d9\u30fc\u30b9\u306b\u95a2\u3059\u308b\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\u306b\u95a2\u9023\u3057\u3066\u3044\u307e\u3059\u3002 [\u521d\u3081] \u3002 Datalog\u306f\u30011980\u5e74\u4ee3\u534a\u3070\u304b\u308990\u5e74\u4ee3\u534a\u3070\u307e\u3067\u6700\u3082\u4eba\u6c17\u304c\u3042\u308a\u307e\u3059\u304c\u3001\u4eca\u65e5\u3067\u3082\u3001\u7814\u7a76\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u8cea\u554f\u3068\u30c7\u30fc\u30bf\u30d9\u30fc\u30b9\u306e\u6f14ductive\u7684\u306a\u5b9f\u88c5\u306e\u8a00\u8a9e\u3068\u3057\u3066\u4f7f\u7528\u3055\u308c\u3066\u3044\u307e\u3059\u3002 Datalog\u306f\u3001\u6a5f\u80fd\u7684\u306a\u30b7\u30f3\u30dc\u30eb\u304c\u306a\u3044\u30db\u30fc\u30ca\u6761\u9805\u3067\u4f5c\u3089\u308c\u305f\u8a00\u8a9e\u3068\u898b\u306a\u3055\u308c\u308b\u3053\u3068\u304c\u3088\u304f\u3042\u308a\u307e\u3059\u3002\u30c7\u30fc\u30bf\u30ed\u30b0\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\uff08\u30d7\u30ed\u30ed\u30fc\u30b0\u306e\u3088\u3046\u306b\uff09\u306f\u3001\u4e88\u6e2c\uff08\u8ad6\u7406\u95a2\u6570\u306e\u540d\u524d\uff09\u3001\u30ea\u30ec\u30fc\u30b7\u30e7\u30ca\u30eb\u539f\u5b50\uff08\u8ff0\u8a9e\u3068\u305d\u306e\u5f15\u6570\uff09\u3001\u304a\u3088\u3073\u7b97\u8853\u539f\u5b50\uff08\u5f15\u6570\u3092\u542b\u3080\u7b97\u8853\u5f0f\uff09\u3092\u542b\u3080\u300c\u301c\u300d\u30bf\u30a4\u30d7\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u307e\u3059\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u5404\u30eb\u30fc\u30eb\u306f\u6b21\u306e\u3068\u304a\u308a\u3067\u3059\u3002 \u30d8\u30c3\u30c0  – \u30ea\u30ec\u30fc\u30b7\u30e7\u30ca\u30eb\u539f\u5b50 \u30b7\u30f3\u30dc\u30eb \u2190  – \u901a\u5e38\u3001\u300cif\u300d\u3068\u3044\u3046\u8a00\u8449\u3068\u3057\u3066\u8aad\u307f\u307e\u3059 \u30b3\u30f3\u30c6\u30f3\u30c4  – \u547c\u3073\u51fa\u3055\u308c\u308b1\u3064\u307e\u305f\u306f\u8907\u6570\u306e\u30ea\u30ec\u30fc\u30b7\u30e7\u30ca\u30eb\u307e\u305f\u306f\u7b97\u8853\u539f\u5b50 \u53d7\u3051\u305f \u8ad6\u7406\u7684\u63a5\u7d9a\u8a5e\u3068\uff08 “i”\uff09\u304a\u3088\u3073\uff08 “or”\uff09\u306b\u63a5\u7d9a\u3055\u308c\u3066\u3044\u307e\u3059\uff09 Datalog\u306e\u30eb\u30fc\u30eb\u306e\u4f8b\u306f\u6b21\u306e\u3068\u304a\u308a\u3067\u3059\u3002 \u5f7c\u306f\u30b7\u30f3\u30c0\uff08x\u3001y\uff09\u2190\u5f7c\u306f\u30e1\u30f3\u30d0\u30fc\uff08x\uff09\u3067\u3042\u308a\u3001\u56de\u8def\uff08y\u3001x\uff09\u3067\u3059\u3088\u308a\u9ad8\u4fa1\u306a\u751f\u7523\uff08x\u3001y\uff09\u2190\u88fd\u54c1\uff08x\u3001price1\uff09\u304a\u3088\u3073\u88fd\u54c1\uff08y\u3001rish2\uff09\u304a\u3088\u3073price1> cena2 \u3088\u308a\u4e00\u822c\u7684\u306b\u5f37\u8abf\u3055\u308c\u3066\u3044\u308bDatalog\u30d7\u30ed\u30d1\u30c6\u30a3\u306e1\u3064\u306f\u3001\u30d7\u30ed\u30b0\u30e9\u30e0\u30bb\u30de\u30f3\u30c6\u30a3\u30af\u30b9\u3092\u5b9a\u7fa9\u3059\u308b\u305f\u3081\u306e3\u3064\u306e\u540c\u7b49\u306e\uff08\u8457\u3057\u304f\u7570\u306a\u308b\uff09\u30a2\u30d7\u30ed\u30fc\u30c1\u306e\u5b58\u5728\u3067\u3059\u3002\u3053\u308c\u3089\u306e3\u3064\u306e\u30a2\u30d7\u30ed\u30fc\u30c1\u306f\u6b21\u306e\u3068\u304a\u308a\u3067\u3059\u3002 \u30a2\u30d7\u30ed\u30fc\u30c1\u3067 TheoryRodel \u30eb\u30fc\u30eb\u306f\u3001\u30bf\u30fc\u30b2\u30c3\u30c8\u4f9d\u5b58\u306e\u7279\u6027\u3092\u6c7a\u5b9a\u3059\u308b\u6700\u521d\u306e\u9806\u5e8f\u8ad6\u7406\u6587\u3068\u3057\u3066\u8a8d\u8b58\u3055\u308c\u307e\u3059\u3002\u3053\u306e\u30a2\u30d7\u30ed\u30fc\u30c1\u3067\u306f\u3001\u8ff0\u8a9e\u306e\u5165\u308a\u53e3\u30b3\u30ec\u30af\u30b7\u30e7\u30f3\u306b\u57fa\u3065\u3044\u3066\u3044\u307e\u3059\uff08\u547c\u3070\u308c\u307e\u3059 Predykatami ekstensjonalnymi \uff09\u6307\u5b9a\u3055\u308c\u305f\u30c7\u30fc\u30bf\u30ed\u30b0\u30eb\u30fc\u30eb\u304b\u3089\u751f\u3058\u308b\u8ff0\u8a9e\u306e\u30bb\u30c3\u30c8\u3092\u63a8\u6e2c\u3057\u307e\u3059\uff08 \u5f37\u5ea6\u3092\u4e88\u6e2c\u3057\u307e\u3059 \uff09 – \u3053\u306e\u30b3\u30ec\u30af\u30b7\u30e7\u30f3\u306f\u3068\u547c\u3070\u308c\u307e\u3059 \u30e2\u30c7\u30eb \u3002\u305d\u306e\u3088\u3046\u306a\u30e2\u30c7\u30eb\u304c\u305f\u304f\u3055\u3093\u3042\u308b\u305f\u3081\u3001\u7d50\u679c\u306e\u30e2\u30c7\u30eb\u306f\u6700\u5c0f\u30e2\u30c7\u30eb\u3067\u306a\u3051\u308c\u3070\u306a\u308a\u307e\u305b\u3093\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u30a2\u30d7\u30ed\u30fc\u30c1\u3067 \u56fa\u5b9a\u70b9 \u30a2\u30a4\u30c7\u30a2\u306f\u30011\u3064\u4ee5\u4e0a\u306e\u3088\u304f\u77e5\u3089\u308c\u305f\u95a2\u4fc2\uff08\u62bd\u51fa\u306e\u8ff0\u8a9e\uff09\u304b\u3089\u59cb\u3081\u308b\u3053\u3068\u3067\u3059\u3002\u4ed6\u306e\u4e88\u6e2c\u306f\u3001\u30eb\u30fc\u30eb\u306e\u30d8\u30c3\u30c0\u30fc\u3067\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u3053\u308c\u3089\u306e\u4e88\u6e2c\u306f\u3001\u7a7a\u306e\u5024\u306e\u5272\u308a\u5f53\u3066\u304b\u3089\u59cb\u307e\u308a\u3001\u6b21\u306e\u30b9\u30c6\u30c3\u30d7\u3067\u3001\u4ee5\u524d\u306e\u30b9\u30c6\u30c3\u30d7\u3067\u8a08\u7b97\u3055\u308c\u305f\u65e2\u5b58\u306e\u8ff0\u8a9e\u3068\u5024\u306b\u30eb\u30fc\u30eb\u3092\u9069\u7528\u3059\u308b\u3053\u3068\u306b\u3088\u3063\u3066\u8a08\u7b97\u3055\u308c\u305f\u65b0\u3057\u3044\u5024\u3092\u305d\u308c\u3089\u306b\u6dfb\u4ed8\u3057\u3066\u3001\u518d\u5e30\u7684\u306b\u8a08\u7b97\u3055\u308c\u307e\u3059\u3002\u65b0\u3057\u3044\u8981\u7d20\u304c\u4f5c\u6210\u3055\u308c\u306a\u304f\u306a\u3063\u305f\u3068\u304d\u306e\u8b70\u4e8b\u9332\u3092\u7d42\u4e86\u3057\u307e\u3059\u3002 \u30a2\u30d7\u30ed\u30fc\u30c1\u3067 \u8a3c\u62e0 \u5165\u308a\u53e3\u3067\u4e8b\u5b9f\u306e\u4e8b\u5b9f\u3092\u5f97\u308b\u3068\u4eee\u5b9a\u3057\u3001\u7279\u5b9a\u306e\u30c7\u30fc\u30bf\u30ed\u30b0\u30d7\u30ed\u30b0\u30e9\u30e0\u3078\u306e\u7b54\u3048\u306f\u3042\u306a\u305f\u304c\u3067\u304d\u308b\u4e8b\u5b9f\u306e\u30b3\u30ec\u30af\u30b7\u30e7\u30f3\u3067\u3042\u308b\u3068\u4eee\u5b9a\u3057\u307e\u3059 \u8a3c\u660e \u3053\u308c\u3089\u306e\u4e8b\u5b9f\u3068\u3053\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u30eb\u30fc\u30eb\u306b\u57fa\u3065\u3044\u3066\u3044\u307e\u3059\u3002\u65b0\u3057\u3044\u4e8b\u5b9f\u306e\u300c\u30b3\u30de\u30f3\u30c9\u300d\u65b9\u6cd5\u306e\u4e2d\u306b\u306fSO -CALLED\u3092\u4f5c\u6210\u3059\u308b\u65b9\u6cd5\u6c7a\u8b70\u306e\u8a3c\u62e0\u3068SLD\u3002 Datalog\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u4f8b\u306f\u6b21\u306e\u3068\u304a\u308a\u3067\u3059\u3002 i = {Film\uff08 \"Sexmission\"\u30011983\u3001 \"Juliusz Machulski\"\u3001120\uff09\u3001Film\uff08 \"Angels and Demons\"\u30012009\u3001 \"Ron Howard\"\u3001138\uff09\u3001\u30d5\u30a3\u30eb\u30e0\uff08\u300cRonin\u300d\u30011998\u3001\u300cJohn Frankenheimer\u300d\u3001121\uff09\u3001Film\uff08\u300cDa Vinci Code\u300d\u30012006\u3001\u300cRon Howard\u300d\u3001149\uff09\u3001gra\u0142w\uff08 \"da vinci code\"\u3001 \"Tom Hanks\"\uff09\u3001gra\u0142w\uff08 \"da Vinci code\"\u3001 \"Jean Reno\"\uff09\u3001Gra\u0142w\uff08 \"Angels and Demons\"\u3001 \"Tom Hanks\"\uff09\u3001Gra\u0142w\uff08 \"Ronin\"\u3001 \"Jean Reno\"\uff09\u3001Gra\u0142w\uff08 \"sexmission\"\u3001 \"Jerzy Stuhr\"\uff09} \u3053\u308c\u304c\u5f37\u5ea6\u8ff0\u8a9e\u306e\u30b3\u30ec\u30af\u30b7\u30e7\u30f3\u3067\u3059\uff08\u521d\u671f\u30c7\u30fc\u30bf\u30d9\u30fc\u30b9\u306e\u30a4\u30f3\u30b9\u30bf\u30f3\u30b9\uff09 \u5426\u5b9a\u306e\u3042\u308b\u30c7\u30fc\u30bf\u30ed\u30b0 [ \u7de8\u96c6 | \u30b3\u30fc\u30c9\u3092\u7de8\u96c6\u3057\u307e\u3059 ] Datalog\u306e\u57fa\u672c\u69cb\u9020\u306f\u3001\u5b9f\u969b\u306e\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u3067\u6709\u7528\u306a\u5426\u5b9a\u3092\u8003\u616e\u306b\u5165\u308c\u3066\u3044\u306a\u3044\u305f\u3081\u3001\u7406\u8ad6\u7684\u306a\u89b3\u70b9\u304b\u3089\u306f\u3001\u521d\u671f\u7406\u8ad6\u306e\u591a\u304f\u306e\u62e1\u5f35\u304c\u4f5c\u6210\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u305d\u308c\u3089\u306e\u307b\u3068\u3093\u3069\u306b\u30012\u3064\u306e\u78ba\u7acb\u3055\u308c\u305f\u7528\u8a9e\u304c\u3042\u308a\u307e\u3059\u3002 \u30d7\u30ed\u30b0\u30e9\u30e0 \u534a\u5bfe\u7167 -Datalog\u30d7\u30ed\u30b0\u30e9\u30e0\u3002\u65e2\u5b58\u306e\u4e88\u6e2c\u306e\u524d\u306b\u306e\u307f\u5426\u5b9a\u3092\u8a31\u53ef\u3059\u308b\uff08\u30eb\u30fc\u30eb\u3067\u5b9a\u7fa9\uff09 \u5c64\u5225\u5316 \uff08\u6577\u8a2d\uff09 – \u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u30ec\u30a4\u30e4\u30fc\/\u30b5\u30d6\u30ea\u30d7\u30ed\u3078\u306e\u533a\u5206\u3002 Datalog\u306e\u5b9f\u88c5\u306e\u307b\u3068\u3093\u3069\u306f\u3001\u30a2\u30ab\u30c7\u30df\u30c3\u30af\u74b0\u5883\u304b\u3089\u6d3e\u751f\u3057\u3066\u304a\u308a\u3001\u7279\u5b9a\u306e\u5f62\u5f0f\u306e\u5426\u5b9a\u3092\u6301\u3064Datalog\u62e1\u5f35\u6a5f\u80fd\u304c\u542b\u307e\u308c\u3066\u3044\u307e\u3059\u3002 bdddbdb -Stanford University\u3067\u958b\u767a\u3055\u308c\u305fDatalog\u306e\u5b9f\u88c5\u306f\u3001Java\u306e\u30d0\u30a4\u30c8\u30b3\u30fc\u30c9\u306b\u95a2\u3059\u308b\u30af\u30a8\u30ea\u3092\u4f5c\u6210\u3059\u308b\u305f\u3081\u306b\u4f7f\u7528\u3055\u308c\u307e\u3057\u305f [2] \u30b3\u30f3\u30bb\u30d7\u30c8\u30d9\u30fc\u30b9 -datalog\u3092\u8a00\u8a9e\u8a00\u8a9e\u3068\u3057\u3066\u4f7f\u7528\u3057\u305f\u30aa\u30d6\u30b8\u30a7\u30af\u30c8 –  deductive\u30c7\u30fc\u30bf\u30d9\u30fc\u30b9\u3002\u6982\u5ff5\u30e2\u30c7\u30eb\u3092\u4f5c\u6210\u3059\u308b\u305f\u3081\u306e\u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0\u306e\u610f\u56f3\u3067 [3] \u8679\u5f69  – \u578b\u5236\u5fa1\u30e1\u30ab\u30cb\u30ba\u30e0\u3092\u5099\u3048\u305f\u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9\u30e9\u30a4\u30bb\u30f3\u30b9\u306e\u4e0b\u3067\u306e\u81ea\u52d5\u30b3\u30de\u30f3\u30c9\u30b7\u30b9\u30c6\u30e0\u30a8\u30f3\u30b8\u30f3\u3002\u30af\u30a8\u30ea\u306e\u8a00\u8a9e\u306f\u3001\u3068\u308a\u308f\u3051\u62e1\u5f35\u3055\u308c\u305fDatalog\u30d0\u30fc\u30b8\u30e7\u30f3\u3067\u3059\u6a5f\u80fd\u7684\u306a\u30b7\u30f3\u30dc\u30eb\u306e\u5834\u5408\u3001\u4e88\u6e2c\u306b\u7d44\u307f\u8fbc\u307e\u308c\u3001\u300c\u5b89\u5168\u6761\u4ef6\u300d\u3092\u30d0\u30a4\u30d1\u30b9\u3059\u308b\u53ef\u80fd\u6027 [4] \u306e  – \u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9\u30e9\u30a4\u30bb\u30f3\u30b9\u306b\u57fa\u3065\u304f\u30d7\u30ed\u30ed\u30fc\u30b0\u306b\u304a\u3051\u308bdatalog\u306e\u5b9f\u88c5 [5] Pydatalog -Python\u3067\u306eDatalog\u5b9f\u88c5 \u30bb\u30eb\u30b8\u30e5\u30a2\u30ae\u30c8\u30d6\u30fc\u30eb\u3001\u30ea\u30c1\u30e3\u30fc\u30c9W.\u30cf\u30eb\u3001\u30d3\u30af\u30bf\u30fc\u30f4\u30a3\u30a2\u30f3\uff1a \u30c7\u30fc\u30bf\u30d9\u30fc\u30b9\u306e\u57fa\u790e \u3002\u8aad\u66f8\u3001\u30de\u30b5\u30c1\u30e5\u30fc\u30bb\u30c3\u30c4\u5dde\uff1a\u30a2\u30c7\u30a3\u30bd\u30f3\u30fb\u30a6\u30a7\u30b9\u30ea\u30fc\u30011995\u5e74\u3002ISBN 978-01-53771-0 \u3002 \u30b9\u30c6\u30d5\u30a1\u30ce\u30fb\u30bb\u30ea\u3001\u30b8\u30e7\u30fc\u30b8\u30fb\u30b4\u30c3\u30c8\u30ed\u30d6\u3001\u30ec\u30c6\u30a3\u30b7\u30a2\u30fb\u30bf\u30f3\u30ab\u3002 \u3042\u306a\u305f\u304c\u3044\u3064\u3082\u30c7\u30fc\u30bf\u30ed\u30b0\u306b\u3064\u3044\u3066\u77e5\u308a\u305f\u3044\u3053\u3068\u3092\u671b\u3093\u3067\u3044\u305f\u3053\u3068\uff08\u305d\u3057\u3066\u3001\u3042\u3048\u3066\u5c0b\u306d\u308b\u3053\u3068\u306f\u3042\u308a\u307e\u305b\u3093\uff09 \u3002 \u300c\u77e5\u8b58\u3068\u30c7\u30fc\u30bf\u30a8\u30f3\u30b8\u30cb\u30a2\u30ea\u30f3\u30b0\u306b\u95a2\u3059\u308bIEEE\u30c8\u30e9\u30f3\u30b6\u30af\u30b7\u30e7\u30f3\u300d\u3002 1\uff081\uff09\u3001s\u3002 146-166\u30011989\u3002\u7c73\u56fd\u30cb\u30e5\u30fc\u30b8\u30e3\u30fc\u30b8\u30fc\u5dde\u30d4\u30b9\u30ab\u30bf\u30a6\u30a7\u30a4\uff1aIEEE\u6559\u80b2\u6d3b\u52d5\u90e8\u3002 doi\uff1a 10.1109\/69.43410 \u3002 ISSN 1041-4347 \u3002 \uff08 \u3002 \uff09\uff09 \u3002       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki47\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki47\/archives\/3437#breadcrumbitem","name":"Datalog -Wikipedia\u3001\u7121\u6599\u767e\u79d1\u4e8b\u5178"}}]}]