“...International Conference on Logic Programming Londýn, Anglie)...”