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 |
Esta obra está bajo una
licencia de Creative Commons.