Title: Logic programming and its applications
Subjects: Logic programming, Programming languages (Electronic computers), Computer programming, Symbolic and mathematical Logic