
The copyright of Picat is owned by picat-lang.org.
Picat is provided, free of charge, for any purposes,
including commercial ones. The C source files of Picat are
covered by the Mozilla Public License, v. 2.0:

http://mozilla.org/MPL/2.0/. 

In essence, anyone is allowed to build works, including
proprietary ones, based on Picat, as long as the Source
Code Form is retained. The copyright holders, developers,
and distributors will not be held liable for any direct or
indirect damages.
