This text illustrates the main issues and concepts behind deductive databases through the description of a real system. The text covers all related topics from basic theory to its coupling with a known database management system and its implementation on a commerical multiprocessor.