functional logic programming (関数型ロジックプログラミング)

関数型プログラミングとロジック プログラミングのパラダイムを単一の言語に組み合わせたものです。