Prolog & others
More
#logic #programming #OS
