Strict logic programs (including Prolog) do not implement concurrency, which motivated the invention of Actors. For more information see the following: "Infor

Strict logic programs (including Prolog) do not implement concurrency, which motivated the invention of Actors. For more information see the following: "Information Security Requires Strongly-Typed Actors and Theories" https://papers.ssrn.com/abstract=3418003 https://papers.ssrn.com/abstract=3418003