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
Prolog II+ → Delta Prolog   Extension of
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