Prolog

Wikibooks, manuali e libri di testo liberi.

[modifica] Finalità

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 logica proposizionale e la logica del primo ordine.

[modifica] Sommario

  1. Introduzione
  2. Primi passi

Questa pagina è uno stub Questo libro è solo un abbozzo. Contribuisci a migliorarlo secondo le convenzioni di Wikibooks

Strumenti personali
Altre lingue