Newbie question: isn't it deterministic though in the sense that if you execute the same prolog program multiple times, it will always return you the same answers in the same order?
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.
great presentation and presenter
Newbie question: isn't it deterministic though in the sense that if you execute the same prolog program multiple times, it will always return you the same answers in the same order?
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.