Prolog

Wikibooks, manuali e libri di testo liberi.
CopertinaProlog/Copertina
  1. IntroduzioneProlog/Introduzione
BasiProlog/Basi
  1. BasiProlog/Primi passi
  2. RegoleProlog/Basi
  3. Regole ricorsiveProlog/Basi
  4. VariabiliProlog/Basi
  5. ListeProlog/Basi
  6. Matematica, Funzioni ed UguaglianzaProlog/Basi
  7. Mettere il tutto assiemeProlog/Basi
  8. Risoluzione di un rompicapo logicoProlog/Basi
ProgrammazioneProlog/Programmazione
  1. Tagli e NegazioneProlog/Programmazione
  2. Leggere e scrivere il codiceProlog/Programmazione
  3. Liste di differenzaProlog/Programmazione
  4. Grammatiche a clausole finiteProlog/Programmazione
  5. Motori di inferenzaProlog/Programmazione
Argomenti avanzatiProlog/Argomenti avanzati
  1. Mappe associativeProlog/Argomenti avanzati
  2. Tecniche di ricercaProlog/Argomenti avanzati
  3. OrdinamentoProlog/Argomenti avanzati
  4. Grafica: XPCEProlog/Argomenti avanzati
Predicati built-inProlog/Predicati built-in
  1. Predicati built-inProlog/Predicati built-in
  2. Funzioni ricorsiveProlog/Funzioni ricorsive
  1. Termini di collaudoProlog/Predicati built-in/Termini di collaudo
  2. Costrutti Bagof, Setof e FindallProlog/Predicati built-in/Costrutti Bagof, Setof e Findall
  3. OrdinamentoProlog/Predicati built-in/Ordinamento
  4. I/OProlog/Predicati built-in/I/O
Ulteriori risorseProlog/Ulteriori risorse
  1. Cos'e' il Prolog?Prolog/Ulteriori risorse
  2. Storia del PrologProlog/Ulteriori risorse
  3. Introduzione alla logicaProlog/Ulteriori risorse
  4. GlossarioProlog/Ulteriori risorse
  5. Alcune risposte a domande comuniProlog/Ulteriori risorse
  6. Esercizi (collegamento esterno)Prolog/Ulteriori risorse
ApprofondimentiProlog/Approfondimenti
  1. Programmazione di ordine superiore)Prolog/Approfondimenti
  2. Programazione su vincoli logiciProlog/Approfondimenti
  3. Grammatiche a clausole definiteProlog/Approfondimenti
  4. Combinazioni di linguaggiProlog/Approfondimenti
  5. Selezione di alcuni argomenti interessanti tratti dagli usergroupProlog/Approfondimenti
  6. Collegamenti EsterniProlog/Approfondimenti

Questo libro sulla programmazione in Prolog può essere usato sia come libro di testo che come guida. Non è richiesta alcuna precedente esperienza con la programmazione, tuttavia una basilare conoscenza dei concetti di logica può essere utile; a tale scopo è presente un'introduzione ai concetti della logica in cui verranno trattati due aspetti della logica: la logica proposizionale e la logica del primo ordine.

Nel primo capitolo, sotto la sezione "basi", sono descritte la sintassi e le caratteristiche del linguaggio. La sezione a seguire, "Programmazione", si concentra su concetti utili per la programmazione in Prolog. Tali sezioni introduttive sono pensate per essere lette in ordine di esposizione.

La sezione "Built-in" espone le funzioni comunemente disponibili all'interno dei vari compilatori Prolog. Quest'ultima, assieme alle rimanenti, possono essere lette in ordine arbitrario.


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