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 in predicate heads,
list comprehensions and optional destructive assignment.
Knowing some Prolog helps when learning Picat but is by no means required.