Dyna – Logic Programming for Machine Learning