Minor improvement to first-order logic
More content for logic programming section
New Inductive logic programming section
New reference from ILP to LP sections