Programming with LogicLab