Sto cercando alcuni consigli su come iniziare con la programmazione Logica, e mi piace davvero lavorare attraverso il libro Scheme "Struttura e interpretazione dei programmi per computer". C'è un libro simile orientato verso Prolog? Oppure, se c'è un linguaggio migliore da studiare rispetto a Prolog per la programmazione Logica, mi interessa anche ascoltare le tue opinioni su questo.
"The Art Of Prolog" di Leon Sterling & Ehud Shapiro è uno dei migliori libri sulla programmazione per computer che abbia mai letto.
Prolog e The Art of Prolog sono difficili da battere questo riguardo.
Un'alternativa possibile - essere un po 'più vicino al tema e alla tecnica di Scheme / SiCP che a Prolog / Art of Prolog - è Mozart / Oz con il libro Concetti, tecniche e modelli di programmazione per computer .
Oltre a Oz, altre lingue alternative a Prolog sono Curry che si trova tra Haskell e Prolog e AliceML che è fondamentalmente una variante ML di Oz (e potrebbe essere usato come tale con il CTM sopra citato). Curry ha AFAIK senza testo introduttivo equivalente.
Un libro Prolog che mi piace molto è quello di Richard O'Keefe, The Craft of Prolog . È esaurito, quindi prova per una copia della biblioteca. Se lo trovi utile come testo di riferimento, Amazon di solito ha usato copie in vendita.
Modifica: In realtà sembra che solo l'edizione cartonata sia esaurita e Amazon ha in vendita alcune copie in brossura.
Leggi altre domande sui tag prolog logic-programming