A new logic programming language.