Topology and Logic Programming Semantics