Re:HARC
by schoen on Thursday May 12, 2016 @12:40PM
(#11684765)
There's already logic programming and more generally declarative programming, which sort of have the features you describe (the programmer describes what is wanted, but not necessarily how to find or do it).
It's clear that these paradigms can be easier for solving certain kinds of problems. For example, they're very good for solving puzzles like Sudoku; instead of writing a full-fledged Sudoku solver, you can, in some of these environments, basically just describe what would constitute a solution to your problem, and then the programming environment can find one for you.
https://en.wikipedia.org/wiki/Logic_programming
https://en.wikipedia.org/wiki/Declarative_programming
It's clear that these paradigms can be easier for solving certain kinds of problems. For example, they're very good for solving puzzles like Sudoku; instead of writing a full-fledged Sudoku solver, you can, in some of these environments, basically just describe what would constitute a solution to your problem, and then the programming environment can find one for you.