Prolog

Wikibooks, manuali e libri di testo liberi.

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.

Altri progetti[modifica]

I linguaggi di programmazione su Wikibooks

Ada | Assembly| C | C++ | C# | CSS | HTML | Java | JavaScript | Lisp | LOGO | Pascal | Perl | PHP | Prolog | Python | XML