Sistemas usados en el "Seminario de lógica computacional" (2015-16)
- Programación:
- SWI Prolog.
- SWISH: SWI-Prolog for SHaring (a SWI-Prolog web IDE).
- SldDraw: Herramienta para representar árboles SLD.
José A. Alonso Jiménez |
Grupo de Lógica Computacional |
Dpto. de Ciencias de la Computación e Inteligencia Artificial |
Universidad de Sevilla |
Sevilla, 27-1-2022 |