Describir: Modely logického a bivalentního programování