Logical Programming 01.04.2014. Home tests and study. Not the proper laboratory.