Info
The art of Prolog : advanced programming techniques / / Leon Sterling, Ehud Shapiro ; with a foreword by David H.D. Warren
| The art of Prolog : advanced programming techniques / / Leon Sterling, Ehud Shapiro ; with a foreword by David H.D. Warren |
| Autore | Sterling Leon |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Cambridge, Mass., : MIT Press, c1994 |
| Descrizione fisica | 1 online resource (xxxix, 509 p. ) : ill. ; |
| Disciplina | 005.13/3 |
| Altri autori (Persone) | ShapiroEhud Y |
| Collana |
Logic programming The art of Prolog
Logic programming |
| Soggetto topico |
Prolog (Computer program language)
Engineering & Applied Sciences Computer Science |
| ISBN |
9780262284325
0262284324 9780585349848 0585349843 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910766000503321 |
Sterling Leon
|
||
| Cambridge, Mass., : MIT Press, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Functional grammar in Prolog [[electronic resource] ] : an integrated implementation for English, French, and Dutch / / by Simon C. Dik
| Functional grammar in Prolog [[electronic resource] ] : an integrated implementation for English, French, and Dutch / / by Simon C. Dik |
| Autore | Dik S. C (Simon C.) |
| Edizione | [Reprint 2011] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Mouton de Gruyter, 1992 |
| Descrizione fisica | 1 online resource (276 p.) |
| Disciplina | 418/.02/0285635 |
| Collana |
Natural Language Processing
Natural language processing |
| Soggetto topico |
Functionalism (Linguistics) - Data processing
Prolog (Computer program language) Languages, Modern - Data processing |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-11-085045-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Foreword -- Chapter 1. Introducing ProfGlot -- Chapter 2. Some elements of Prolog -- Chapter 3. Introducing Functional Grammar -- Chapter 4. Overall structure of the ProfGlot program -- Chapter 5. BasFac: basic facilities -- Chapter 6. EngLex: the English lexicon -- Chapter 7. FreLex: the French lexicon -- Chapter 8. DutLex: the Dutch lexicon -- Chapter 9. UniGen: the universal generator -- Chapter 10. ParSel, UniExp and EngExp: universal and English expression -- Chapter 11. FreExp: French expression -- Chapter 12. DutExp: Dutch expression -- Chapter 13. UniPar: a universal parser -- Chapter 14. UniTra: a trilingual translator -- Chapter 15. UniLog: universal logic -- Notes -- References -- Index and brief description of Prolog predicates -- Index of names and subjects -- Back matter |
| Record Nr. | UNINA-9910461911703321 |
|
Dik S. C (Simon C.)
|
||
| Berlin ; ; New York, : Mouton de Gruyter, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Functional grammar in Prolog [[electronic resource] ] : an integrated implementation for English, French, and Dutch / / by Simon C. Dik
| Functional grammar in Prolog [[electronic resource] ] : an integrated implementation for English, French, and Dutch / / by Simon C. Dik |
| Autore | Dik S. C (Simon C.) |
| Edizione | [Reprint 2011] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Mouton de Gruyter, 1992 |
| Descrizione fisica | 1 online resource (276 p.) |
| Disciplina | 418/.02/0285635 |
| Collana |
Natural Language Processing
Natural language processing |
| Soggetto topico |
Functionalism (Linguistics) - Data processing
Prolog (Computer program language) Languages, Modern - Data processing |
| ISBN | 3-11-085045-1 |
| Classificazione | ES 940 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Foreword -- Chapter 1. Introducing ProfGlot -- Chapter 2. Some elements of Prolog -- Chapter 3. Introducing Functional Grammar -- Chapter 4. Overall structure of the ProfGlot program -- Chapter 5. BasFac: basic facilities -- Chapter 6. EngLex: the English lexicon -- Chapter 7. FreLex: the French lexicon -- Chapter 8. DutLex: the Dutch lexicon -- Chapter 9. UniGen: the universal generator -- Chapter 10. ParSel, UniExp and EngExp: universal and English expression -- Chapter 11. FreExp: French expression -- Chapter 12. DutExp: Dutch expression -- Chapter 13. UniPar: a universal parser -- Chapter 14. UniTra: a trilingual translator -- Chapter 15. UniLog: universal logic -- Notes -- References -- Index and brief description of Prolog predicates -- Index of names and subjects -- Back matter |
| Record Nr. | UNINA-9910785847003321 |
|
Dik S. C (Simon C.)
|
||
| Berlin ; ; New York, : Mouton de Gruyter, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The implementation of Prolog / Patrice Boizumault ; co-translated by Ara M. Djamboulian and Jamal Fattouh
| The implementation of Prolog / Patrice Boizumault ; co-translated by Ara M. Djamboulian and Jamal Fattouh |
| Autore | Boizumault, Patrice |
| Pubbl/distr/stampa | Princeton, N. J. : Princeton Univ. Press, c1993 |
| Descrizione fisica | xii, 299 p. : ill. ; 25 cm. |
| Disciplina | 005.133 |
| Collana | Princeton series in computer science |
| Soggetto topico | Prolog (Computer program language) |
| ISBN | 0691087571 |
| Classificazione |
AMS 68N15
CR D.3 QA76.73.P76B65 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000991139707536 |
|
Boizumault, Patrice
|
||
| Princeton, N. J. : Princeton Univ. Press, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Memory performance of prolog architectures / by Evan Tick
| Memory performance of prolog architectures / by Evan Tick |
| Autore | Tick, Evan, 1959- |
| Pubbl/distr/stampa | Boston : Kluwer Academic Publishers, c1988 |
| Descrizione fisica | xviii, 231 p. : ill. ; 25 cm |
| Disciplina | 005.1 |
| Collana | The Kluwer international series in engineering and computer science ; SECS 40 |
| Soggetto topico |
Prolog (Computer program language)
Computer architecture |
| ISBN | 0898382548 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991004406628907536 |
|
Tick, Evan, 1959-
|
||
| Boston : Kluwer Academic Publishers, c1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
