I see. So much nothing has happened in 50 years. When Turbo Prolog came out in 1983, first question was why are not all numbers and their relations already builtin. You can make list of integers, and operate within that domain, but infinity would solve all the world's problems. One day soon a quantum computer will go to infinity and come back with an answer in finite time.
You might want to check out Constraint logic programming over the integers (CLPZ) or over finite domains (CLPFD). They sovle many of the issues you mention.
based
I see. So much nothing has happened in 50 years. When Turbo Prolog came out in 1983, first question was why are not all numbers and their relations already builtin. You can make list of integers, and operate within that domain, but infinity would solve all the world's problems. One day soon a quantum computer will go to infinity and come back with an answer in finite time.
You might want to check out Constraint logic programming over the integers (CLPZ) or over finite domains (CLPFD). They sovle many of the issues you mention.