“...Symposium on Logic Programming San Francisco, Kalifornie)...”