Prolog uses only 13% of CPU and takes an hour to complete

Here is my backstory of first using concurrent_forall/2,3.

The entire topic is an interesting read as it has woven into it discussion of the predicates related to concurrency and threads.

HTH