Backtracking *and* unification (logic variables). The latter builds on the forme... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

colanderman on Oct 29, 2019 | parent | context | favorite | on: Swish: SWI Prolog Notebook

Backtracking and unification (logic variables). The latter builds on the former and is key to some of Prolog's amazing capabilities.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact