J. Funct. Log. Program.