“...International Conference on Logic Programming Las Cruces, Nové Mexiko)...”