Logic Programming and Knowledge Representation (LPKR'97)