Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
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 |
0-262-28432-4
0-585-34984-3 |
| 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 | ||
| ||
Declarative programming for knowledge management : 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005 : revised selected papers / / Masanobu Umeda ... [et al.] (eds.)
| Declarative programming for knowledge management : 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005 : revised selected papers / / Masanobu Umeda ... [et al.] (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (X, 229 p.) |
| Disciplina | 005.13/1 |
| Altri autori (Persone) | UmedaMasanobu <1959-> |
| Collana |
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Declarative programming
Knowledge management Prolog (Computer program language) |
| ISBN | 3-540-69234-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP-Library for C++ -- Constraint Solving for Sequences in Software Validation and Verification -- Using a Logic Programming Language with Persistence and Contexts -- On a Rough Sets Based Data Mining Tool in Prolog: An Overview -- Not-First and Not-Last Detection for Cumulative Scheduling in -- Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming -- Overload Checking for the Cumulative Constraint and Its Application -- Inductive Logic Programming: Yet Another Application of Logic -- Industrial Case Studies -- Railway Scheduling with Declarative Constraint Programming -- User Profiles and Matchmaking on Mobile Phones -- A Design Product Model for Mechanism Parts by Injection Molding -- A Knowledge-Based System for Process Planning in Cold Forging Using the Adjustment of Stepped Cylinder Method -- Business Integration -- An Overview of Agents in Knowledge Management -- ubiCMS – A Prolog Based Content Management System -- Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications -- A Meta-logical Approach for Multi-agent Communication of Semantic Web Information. |
| Altri titoli varianti |
16th International Conference on Applications of Declarative Programming and Knowledge Management
Sixteenth International Conference on Applications of Declarative Programming and Knowledge Management International Conference on Applications of Declarative Programming and Knowledge Management INAP 2005 |
| Record Nr. | UNINA-9910483484103321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| 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 | ||
| ||
Functional grammar in Prolog : an integrated implementation for English, French, and Dutch / / by Simon C. Dik
| Functional grammar in Prolog : 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 |
| 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-9910825185503321 |
|
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 | ||
| ||
