Programming language that uses first order logic.