The Logic(s) of Logic Programming João Alcântara Carlos Viegas Damásio Luís Moniz Pereira Centro de Inteligência Artificial (CENTRIA) Depto. Informática,