Title: Logic programming
First published: 1987