From Logic to Logic Programming - Doets (IEEE, 2003)