apycot desktop logic postgresql geography forward-chaining prolog xml code metrics sparql pylint geodata grammar window manager javascript python jquery backward-chaining agents web2 links that talk about us code coverage linked data e-commerce tests driven development code validation google language database debian