I want to fix programming

As CPU excess increases, I guess I've always thought that eventually code blocks could be grown using genetics inspired algorithmic processes that could just try everything possible until something works well.

OP here. It's not just Prolog, but indeed Prolog is the closest thing now.

We all want, buddy. Now go implement it :)

Sounds like you're talking about genetic programming: https://en.wikipedia.org/wiki/Genetic_programming

Dear Jon:

What you have is fabulous and immediately useful: You are describing a language for describing constraints on the results of computer programs.

In other words, you can express the correctness of a computer program and check whether a program is, in fact, correct.

It’s true that IF a sufficiently smart compiler could infer a working program from the definition of correctness, no further “programming” would be required. However, we don’t have that yet, and in fact I’m not urging you to write it.

Instead, consider the benefits of your language just the way it is. You can use it to write test suites. You can embed it in other languages to express design-by-contract.

It looks valuable in its current form.