--- title: Eli Bendersky's website | daily.dev description: Learn about the process of unification in logic and computer science, its applications in logic programming and type inference, and the basic unification... canonical: https://daily.dev/posts/eli-bendersky-s-website-sp3agah11 twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: Eli Bendersky's website | daily.dev og:description: Learn about the process of unification in logic and computer science, its applications in logic programming and type inference, and the basic unification... og:url: https://daily.dev/posts/eli-bendersky-s-website-sp3agah11 og:image: https://api.daily.dev/og/posts/Sp3aGAH11.png og:image:alt: Eli Bendersky's website og:image:width: 1200 og:image:height: 630 og:locale: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # Eli Bendersky's website **[Planet Python](https://daily.dev/sources/planetpython)** · 7 min read · 0 upvotes · 0 comments ## Summary Learn about the process of unification in logic and computer science, its applications in logic programming and type inference, and the basic unification algorithm. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: --- Tags: [#data-science](https://daily.dev/tags/data-science), [#computer-science](https://daily.dev/tags/computer-science) [View this post on daily.dev](https://daily.dev/posts/eli-bendersky-s-website-sp3agah11) ```json {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]} {"@context":"https://schema.org","@type":"TechArticle","headline":"Eli Bendersky's website","url":"https://daily.dev/posts/eli-bendersky-s-website-sp3agah11","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/eli-bendersky-s-website-sp3agah11"},"datePublished":"2024-05-04T21:45:31.145Z","dateModified":"2024-05-09T08:29:02.242Z","description":"Learn about the process of unification in logic and computer science, its applications in logic programming and type inference, and the basic unification...","image":"https://media.daily.dev/image/upload/s--0_ODbtD2--/f_auto/v1722860399/public/Placeholder%2008","thumbnailUrl":"https://media.daily.dev/image/upload/s--0_ODbtD2--/f_auto/v1722860399/public/Placeholder%2008","isAccessibleForFree":true,"articleSection":"Planet Python","inLanguage":"en","publisher":{"@type":"Organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180}},"author":{"@type":"Organization","name":"Planet Python","logo":"https://media.daily.dev/image/upload/t_logo,f_auto/v1/logos/eac3cc584cb043b5a242d13752bd3d0c","url":"https://daily.dev/sources/planetpython"},"commentCount":0,"discussionUrl":"https://daily.dev/posts/eli-bendersky-s-website-sp3agah11","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":0},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"keywords":"data-science,computer-science","timeRequired":"PT7M"} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"Planet Python","item":"https://daily.dev/sources/planetpython"},{"@type":"ListItem","position":3,"name":"Eli Bendersky's website"}]} ```