Picat ist eine auf Regeln und Logik beruhende Programmiersprache. Ihre Syntax ist von Mustersuchregeln abgeleitet, ermöglicht aber auch deklarative und imperative Programmierung. Sie ist für alle Programmieraufgaben geeignet. Sie läuft in einer virtuellen Maschine, in der der Speicher automatisch allokiert und aufgeräumt wird.