Semantic Web Interface for Prolog