H ?
«
‹
←
→
›
»
Language peer sets for Delta Prolog:
Portugal↑
Portugal/1984↑
Designed 1984 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑
Genus Horn clause ↑
String and List Processing ↑
Horn clause↑
Context-based ↑
Data representation ↑
Horn clause/1984↑
Context-based /1984↑
Data representation/1984↑
Horn clause/Portugal↑
Context-based /Portugal↑
Data representation/Portugal↑
String and List Processing ↑
String and List Processing/1984↑
String and List Processing/pt ↑
Delta Prolog(ID:4200/del015)
alternate simple view
Country: Portugal
Designed 1984
Genus: Horn clause
Sammet category: String and List Processing
Prolog extension with AND-parallelism, don't-know nondeterminism and interprocess communication using synchronous event goals. Distributed backtracking.
Related languages
References:
Monteiro, L., A Logic for Distributed Processes, P (1983) Monteiro, L., A Logic for Distributed Processes, Ph.D. thesis (in Portuguese), Technical Report, Dep. InformAtica, FCT, Universidade Nova de Lisboa, 1983.
Monteiro, L. (1984) Monteiro, L. "A Proposal for Distributed Programming in Logic"
in Campbell, J. A. ed (1984) Campbell, J. A. ed "Implementations of Prolog" Ellis Horwood 1984
Pereira, L.; Nasr, R., (1984) Pereira, L.; Nasr, R., "Delta Prolog: a Distributed Logic Programming Language", Proceedings of Fifth Generation Computer Systems, ICOT Tokyo 1984.
in Campbell, J. A. ed (1984) Campbell, J. A. ed "Implementations of Prolog" Ellis Horwood 1984
Monteiro, L., Distributed Logic: A Theory of Distr (1986) Monteiro, L., Distributed Logic: A Theory of Distributed Programming in Logic, Dep. Inform,~dca, Universidade Nova de Lisboa, Internal Report, Abril 1986.
in Campbell, J. A. ed (1984) Campbell, J. A. ed "Implementations of Prolog" Ellis Horwood 1984
Cunha, J., (1988) Cunha, J., "Concurrent Execution of a Logic Programming Language" (in Portuguese), Ph.D. thesis, Dep. Informatica, FCT, Universidad~ Nova de Lisboa, 1988.
in Campbell, J. A. ed (1984) Campbell, J. A. ed "Implementations of Prolog" Ellis Horwood 1984
Pereira, L.M., Monteiro, L., Cunha, J.C., and Apar (1988) Pereira, L.M., Monteiro, L., Cunha, J.C., and Aparicio, J.N. "Concurrency and Communication in Delta Prolog", Conf. Proc. IEE Int. Specialist Seminar on "The Design and Application of Parallel Digital Processors", Lisbon, 1988 pp. 99-104.
in Campbell, J. A. ed (1984) Campbell, J. A. ed "Implementations of Prolog" Ellis Horwood 1984
Brogi, Antonio; Gorrieri, Roberto
(1989) Brogi, Antonio; Gorrieri, Roberto
"A Distributed, Net Oriented Semantics for Delta Prolog"
in Diaz, J.; et al.: Lecture Notes in Computer Science, Vol. 351; TAPSOFT'89, Vol. 1: Advanced Seminar on Foundations of Innovative Software Development, I, and Colloquium on Trees in Algebra and Programming (CAAP'89), pages 162-177. Berlin: Springer-Verlag, 1989.
Abstract
in Campbell, J. A. ed (1984) Campbell, J. A. ed "Implementations of Prolog" Ellis Horwood 1984
Cunha, J.; Ferreira, M.; Pereira, L., (1989) Cunha, J.; Ferreira, M.; Pereira, L., "Programming in Delta Prolog", Proceedings of Sixth International Conference of Logic Programming, edited by Levi, G., Martelli, M., MIT Press, 1989.
in Campbell, J. A. ed (1984) Campbell, J. A. ed "Implementations of Prolog" Ellis Horwood 1984
Caxvalhosa, M., Design and Implementation of a Del (1991) Caxvalhosa, M., Design and Implementation of a Delta Prolog Abstract Machine (in Portuguese), MSc. thesis, Internal Report, Dep. Inform~itica, FCT, Universidad~ Nova de Lisboa, 1991.
in Campbell, J. A. ed (1984) Campbell, J. A. ed "Implementations of Prolog" Ellis Horwood 1984
Cunha, José C. and Carvalhosa, Manuel B. (1992) Cunha, José C. and Carvalhosa, Manuel B. "A sequential abstract machine for a distributed logic language"
Abstract
in [ACM] (1992) Proceedings of the 1992 ACM annual conference on Communications Kansas City, Missouri, United States 1992
Skillicorn, David B. and Talia, Domenico (1998) Skillicorn, David B. and Talia, Domenico "Models and languages for parallel computation" pp123-169
in [ACM] (1998) [ACM] ACM Computing Surveys (CSUR) 30(2) June 1998
Barbosa, Fernanda and Cunha, José C. (2000) Barbosa, Fernanda and Cunha, José C. "A coordination language for collective agent based systems: GroupLog" pp189-195
Extract:
Extensions to GHC
Extract:
GroupLog and other work
in [ACM] (2000) Proceedings of the 2000 ACM Symposium on Applied computing SAC'2000 Villa Olmo, Como, Italy
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|