Picat
Hello worldは、次のように書くことができる。
次の例は、引数が、空リストまたはすべての要素が0であるリストならば成功する、allzeroという述語を定義するプログラムである。
次の例は、最大公約数を求めるgcmという関数を定義するプログラムである。
次の例は、ソルバーモジュールとしてcpを使用して、部分和問題の解をすべて出力するプログラムである。
このプログラムは、{2, 3, 5, 8, 13, 21, 34}という集合の部分集合のうちで、要素の和が50になるものを求めるという部分和問題の解をすべて出力する(解は3個存在する)。このプログラムが出力する解の一つである[0,1,0,0,1,0,1]というリストは、{3, 13, 34}という部分集合を意味している。