Similarly down this path I found Factor. A different approach but supports backt... | Hacker News

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

		_fx6v on Jan 6, 2021 \| parent \| context \| favorite \| on: Why Learn Prolog in 2021? Similarly down this path I found Factor. A different approach but supports backtracking. https://factorcode.org/

KMag on Jan 6, 2021 [–]

I'm familiar with factor. The thing about factor is that its execution semantics depend on execution order (i.e. imperative), which makes it impractical / unsafe to allow clients to provide verifiers with an optimal execution order for verifying a contract.

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