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...
Kaydedildi:
| Yazar: | Jacquet, Jean-Marie, 19..-...., chercheur en informatique |
|---|---|
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
556 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
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 |
Benzer Materyaller
-
Program development in computational logic : a decade of research advances in logic-based program development
(Livre numérique)
Bruynooghe, Maurice - Programming language implementation and logic programming : [second] International Workshop PLILP '90, Linköping, Sweden, August 20 22, 1990 : proceedings (Livre numérique)
- Programming language implementation and logic programming : 4th International Symposium, PLILP'92, Leuven, Belgium, August 26 28, 1992 : proceedings (Livre numérique)
- Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26 28, 1991 : proceedings (Livre numérique)
- Programming language implementation and logic programming : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25 27, 1993 : proceedings (Livre numérique)

