José A. Alonso<p>Temas de "Lógica informática" (curso 2015-16). <a href="https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/li-15/temas/temas-LI-2015-16.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.archive.org/web/http://www</span><span class="invisible">.cs.us.es/~jalonso/cursos/li-15/temas/temas-LI-2015-16.pdf</span></a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lógica</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nL%C3%B3gica" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónLógica</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a></p>