Title: Logical Foundations for RuleBased Systems
            
                Studies in Computational Intelligence
Subjects: Expert systems (computer science), Computer programming