started using prolog and pyswip