---
title: "Eli Bendersky's website"
url: https://daily.dev/posts/eli-bendersky-s-website-sp3agah11
source_url: https://eli.thegreenplace.net/2018/unification/
type: article
source: "Planet Python"
published: 2024-05-04T21:45:31.145Z
updated: 2024-05-09T08:29:02.242Z
tags: ["data-science", "computer-science"]
reading_time: 7
upvotes: 0
comments: 0
language: 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: <https://eli.thegreenplace.net/2018/unification/>

## Similar posts on daily.dev

- [Don’t just attend KubeCon \+ CloudNativeCon, Merge Forward your experience\!](https://daily.dev/posts/don-t-just-attend-kubecon-cloudnativecon-merge-forward-your-experience--l0rpp73x8) · CNCF · 0 upvotes · 0 comments
- [Announcing H2 2026 KCDs](https://daily.dev/posts/announcing-h2-2026-kcds-m96goajm1) · CNCF · 1 upvotes · 0 comments
- [Two months of Open Community Groups](https://daily.dev/posts/two-months-of-open-community-groups-asf52zhbs) · CNCF · 0 upvotes · 0 comments

---

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)