{"id":400,"date":"2021-12-10T14:49:52","date_gmt":"2021-12-10T13:49:52","guid":{"rendered":"https:\/\/workerbase.org\/wordpress\/?p=400"},"modified":"2021-12-11T12:20:46","modified_gmt":"2021-12-11T11:20:46","slug":"datalog","status":"publish","type":"post","link":"https:\/\/arkenidar.com\/wordpress\/2021\/12\/10\/datalog\/","title":{"rendered":"datalog (inference from facts and rules)"},"content":{"rendered":"\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"725\" height=\"656\" src=\"https:\/\/workerbase.org\/wordpress\/wp-content\/uploads\/2021\/12\/Screenshot_20211210_143519-PYdataLOG.png\" alt=\"datalog (inference from facts and rules) using pyDatalog (pythonic datalog extension)\" class=\"wp-image-401\" srcset=\"https:\/\/arkenidar.com\/wordpress\/wp-content\/uploads\/2021\/12\/Screenshot_20211210_143519-PYdataLOG.png 725w, https:\/\/arkenidar.com\/wordpress\/wp-content\/uploads\/2021\/12\/Screenshot_20211210_143519-PYdataLOG-300x271.png 300w\" sizes=\"auto, (max-width: 725px) 100vw, 725px\" \/><figcaption><code>from pyDatalog import pyDatalog<br><br>pyDatalog.create_terms(\"parent\")<br>+ parent(\"xerces\", \"brooke\")<br>+ parent(\"brooke\", \"damocles\")<br><br>pyDatalog.create_terms(\"ancestor,X,Y,Z\")<br>ancestor(X,Y) &lt;= parent(X,Y)<br>ancestor(X,Y) &lt;= parent(X,Z) &amp; ancestor(Z,Y)<br><br>print(ancestor(\"xerces\", X))<br><\/code><\/figcaption><\/figure>\n\n\n\n<p><strong>datalog<\/strong> (<em>inference<\/em> from <strong>facts<\/strong> and <strong>rules<\/strong>) using <em>pyDatalog<\/em> (<em>pythonic<\/em> datalog extension)<\/p>\n","protected":false},"excerpt":{"rendered":"<p>datalog (inference from facts and rules) using pyDatalog (pythonic datalog extension)<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[22],"tags":[],"class_list":["post-400","post","type-post","status-publish","format-standard","hentry","category-computer"],"_links":{"self":[{"href":"https:\/\/arkenidar.com\/wordpress\/wp-json\/wp\/v2\/posts\/400","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/arkenidar.com\/wordpress\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/arkenidar.com\/wordpress\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/arkenidar.com\/wordpress\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/arkenidar.com\/wordpress\/wp-json\/wp\/v2\/comments?post=400"}],"version-history":[{"count":5,"href":"https:\/\/arkenidar.com\/wordpress\/wp-json\/wp\/v2\/posts\/400\/revisions"}],"predecessor-version":[{"id":409,"href":"https:\/\/arkenidar.com\/wordpress\/wp-json\/wp\/v2\/posts\/400\/revisions\/409"}],"wp:attachment":[{"href":"https:\/\/arkenidar.com\/wordpress\/wp-json\/wp\/v2\/media?parent=400"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/arkenidar.com\/wordpress\/wp-json\/wp\/v2\/categories?post=400"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/arkenidar.com\/wordpress\/wp-json\/wp\/v2\/tags?post=400"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}