Design of quantum optical experiments with logic artificial intelligence