acm-header
Sign In

Communications of the ACM

Table of Contents


Technical correspondence


First specialize, then generalize: introduction


Logic and logic programming


The impact of logic programming on databases


Logic programming as the integrator of the Fifth Generation Computer Systems project


Memoing for logic programs


Notes on implementing sets in Prolog


The case for case studies of programming problems


Inside RISKS: inside “RISKS of RISKS”


Charles Babbage—the great uncle of computing?


Dynabook revisited—portable computers past, present and future