Prolog: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m cambio avanzamento a 25% |
+ |
||
Riga 1:
Poiché il '''prolog''' è pesantemente basato sulla logica formale, potrebbe essere utile fare prima qualche esperienza prima di iniziare ad impararlo. Prenderci la mano può aiutare a comprendere la parte strettamente teorica. La prima parte di questo testo deve aiutare a comprendere i fondamenti della logica allo scopo di capire meglio come funziona il prolog. Saranno discussi due aspetti della logica: la [[w:logica|logica proposizionale]] e la logica del primo ordine.
== Sommario ==
#[[Prolog/Introduzione|Introduzione]]
#[[Prolog/Primi passi|Primi passi]]
{{Linguaggi di programmazione}}
[[Categoria:Prolog| ]]
|