Раздел посвящён теоретическим основам и конкретным реализациям языков логической парадигмы программирования.