genpark-robinson-first-order-unification-skill
Robinson's first-order term unification algorithm with occurs-check for automated theorem proving, Prolog engines, and type inference.
Details
- External ID
- 1363482287
- Source
- GITHUB
- Company
- —
- Product
- genpark-robinson-first-order-unification-skill
- Website domain
- github.com
- Launched
- Sept. 10, 2026
- Cohort
- —
- Upvotes
- 7
- Upvotes percentile
- 0.05976172175249808
- Tags
- agentic-ai, first-order-logic, genpark-skill, prolog, robinson-unification, theorem-proving, type-inference
- Fetched at
- Sept. 14, 2026, 1:02 a.m.
- Updated at
- Sept. 14, 2026, 1:02 a.m.
Enrichment
- Theme
- decision model runtimes and tools
- Vertical
- Horizontal
- Function
- Dev tools
- Audience
- Developer
- AI stance
- Not AI
- Project type
- Hobby / open-source project
- Normalized one-liner
- first-order term unification algorithm for automated theorem proving and type inference
- Manually corrected
- False
Could you build this?
Yes Robinson's first-order term unification algorithm with occurs-check is a well-defined recursive algorithm widely documented and simple to vibe code.
Competitors
Other products that read as similar to this one — 948 launches clear the similarity bar, closest 8 shown.
Attention rank: #786 of 949 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 315 days after the earliest competitor.
- genpark-first-order-logic-resolution-refutation-skill · github · 2026-09-28 · 7 upvotes · similarity 0.76
- genpark-type-checker-hindley-milner-skill · github · 2026-09-28 · 7 upvotes · similarity 0.63
- genpark-hoare-logic-axiomatic-verifier-skill · github · 2026-09-28 · 7 upvotes · similarity 0.59
- Vector-logic, a lightweight rules engine from first principles · hn · 2025-11-11 · 8 upvotes · similarity 0.59
- Spivak's Calculus formalized in Lean 4 · hn · 2026-09-26 · 22 upvotes · similarity 0.56
- Salt · hn · 2026-07-01 · 44 upvotes · similarity 0.56
- genpark-loop-invariant-induction-prover-skill · github · 2026-09-09 · 8 upvotes · similarity 0.56
- genpark-loop-invariant-induction-prover-skill · github · 2026-09-09 · 8 upvotes · similarity 0.56
Other launches for this product
- No other launches for this product.
Same idea, different domain
Nobody's really built a dev tools tool for Sales yet.