Prolog & others
More
#logic #concurrency #programming