Inductive logic (Kendall/Hunt, 1973)