Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
arnobastenhof
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
2 ms
·
1.
▲
by
arnobastenhof
8y ago
Languages like Prolog and Haskell represent different views on the relation between logic and computation. Prolog models computation as proof search, whereas Haskell models it as proof normalization. In the former case your program basicall