H ? « ‹ ← → › »

Language peer sets for IC-Prolog:
United Kingdom↑
United Kingdom/1979↑
Designed 1979 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Genus Horn clause ↑
String and List Processing ↑
Horn clause↑
Context-based ↑
Data representation ↑
Horn clause/1979↑
Context-based /1979↑
Data representation/1979↑
Horn clause/United Kingdom↑
Context-based /United Kingdom↑
Data representation/United Kingdom↑
String and List Processing ↑
String and List Processing/1979↑
String and List Processing/uk ↑

IC-Prolog(ID:851/icp002)

alternate simple view
Country: United Kingdom
Designed 1979
Published: 1979
Genus: Horn clause
Sammet category: String and List Processing

for Imperial College Prolog

Clark & McCabe, Imperial College 1979.

Logic language with coroutining.
Imperial College. A Prolog with multithreading, TCP primitives for interprocess communication, mailboxes, and an interface to Parlog.
Related languages
Prolog → IC-Prolog   Augmentation of
IC-Prolog → IC Prolog ][   Extension of
IC-Prolog → L&O   Extension of
IC-Prolog → Relational Language   Evolution of
References:
  • Clark and McCabe (1980) Clark K. and McCabe F., "IC-Prolog - Language Features"
          in LPW 1980 (1980) Tarnlund, S.-A. Proceedings of the Logic Progranming Workshop, Hungary, John von Neumann Computer Science Society, July 1980
  • Clark K.L., McCabe F.G. and Gregory S. (1981) Clark K.L., McCabe F.G. and Gregory S. "IC-Prolog reference manual" Research report, Dept. of Computing, Imperial College, London 1981
          in LPW 1980 (1980) Tarnlund, S.-A. Proceedings of the Logic Progranming Workshop, Hungary, John von Neumann Computer Science Society, July 1980
  • Kahn (1981) Kahn, Kenneth M. "Uniform : a language based upon unification which unifies (much of) Lisp, Prolog, and Act 1" UPMAIL. Uppsala programming methodology and artificial intelligence laboratory. Technical reports 17 Uppsala University 1981 Abstract Extract: A Language based upon Unification Extract: Unification — What it is Extract: How Unification is Augmented in Uniform Extract: Uniform and Actor Languages Extract: Uniform and Logic Programming Extract: Conclusions and Future Research
          in LPW 1980 (1980) Tarnlund, S.-A. Proceedings of the Logic Progranming Workshop, Hungary, John von Neumann Computer Science Society, July 1980
  • Clark, K.L. et al (1982) Clark, K.L. et al "IC-Prolog Language Features" pp253-266
          in Clark, K.L. (1982) Clark, K.L. et al eds, Logic Programming, Academic Press 1982.
  • Cosmadopoulos, Y. et al, (1992) Cosmadopoulos, Y. et al, "IC Prolog ][: A Language for Implementing Multi-Agent Systems", in Tutorial and Workshop on Cooperating Knowledge Based Systems, Keele U 1992
          in Clark, K.L. (1982) Clark, K.L. et al eds, Logic Programming, Academic Press 1982.
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder