Development of Methods and Algorithms Based on Object-Oriented Logic Programming for Video Monitoring of Laboratory Rodents.