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