3 ms·
Having used Trino/Athena and BigQuery extensively, I am curious about the state of parallelism in the available prolog implementations. Being able to push the
by fifilura 2y ago
Having used Trino/Athena and BigQuery extensively, I am curious about the state of parallelism in the available prolog implementations.
Being able to push the calculations to CUDA or the google/AWS "cluster" feels like it could be the game changer for a system like this.
The declarative nature of the language should leave any imperative implementation far behind when it comes to complex calculations.
- tannhaeuser 2y agoIndeed. Not using CUDA but Quantum Prolog has parallel maplist and co [1], and the article also contains a short overview and brief comparison with other approaches, including a short discussion of imperative implementations like SWI's (historic?) threading package. Discussion is necessarily limited to that particular workload since parallel Prolog has a long history dating back to the 1990s (the book "Past, Present, Parallel" was an early survey at the time and already contains tens of approaches/academic implementations). [1]: https://quantumprolog.sgml.net/bioinformatics-demo/part2.html https://quantumprolog.sgml.net/bioinformatics-demo/part2.htm...