Title: Web Reasoning and Rule Systems
Subjects: Logic programming, Data structures (computer science), World wide web, Computer programming