Conclog : a methodological approach to concurrent logic programming
This book presents a new concurrent logic programming language called Conclog and a methodology for programming in it. Conclog was designed bytaking the ideal features of logic programming as reference, rather than by concentrating directly on operational tricks to ensure efficiency. This leads to q...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
556 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Conclog, a methodological approach to concurrent logic programming, J.-M. Jacquet, Berlin, Springer-Verlag, 1991, 1 vol. (XII-781 p.), Lecture notes in computer science, 3-540-54938-2 • Conclog: A Methodological Approach to Concurrent Logic Programming, Texte imprimé, 9783662196069 |
Taula de continguts:
- Logic programming
- A reconciliation calculus
- A basic scheme for concurrent logic programming
- Incorporating negation
- Adding extra-logical features
- Event-driven reconciliation
- Comparison with related work
- Conclusion
- Towards a methodology of concurrent logic programming
- Programming non-behavioral applications
- Programming behavorial applications
- Conclusion
- Conclusion.