Prolog & others
More
#programming #lambda #logic #2009
