Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
gsps
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
gsps
9y ago
As far as I understand, their approach is exactly that, i.e., another target language for extraction. Synthesis is a bit of an overloaded term.
2.
▲
by
gsps
12y ago
If you're interested in declarative programming, you should also have a look at answer set programming. Here's an ASP version of the problem that additionally requires prime factors. domain(100..999). digit(0..9). % Var