Integrating Logic Programming and Structured Knowledge Representation