Picat is a new logic-based programming language. In many ways, Picat is similar to Prolog, especially B-Prolog, but it has functions in addition to predicates, pattern-matching instead of unification ...

Filippo Yacob, the managing director of London-based Primo.io, told Wired.co.uk that the idea originally came from Seymour Papert's work developing a programming language called Logo during the 1970s.