Seminar Room, Microsoft Research, Station Road, Cambridge 2014-10-09 14:00: Logic programming beyond Prolog (Maarten van Emden, University of Victoria, Canada) 2014-10-09 14:00: Logic programming beyond Prolog (Maarten van Emden ( University of Victoria, Canada))