Inductive logic programming

Inductive logic programming is a type of artificial intelligence programming that uses things called "rules" to come up with conclusions. Rules in this case are like small pieces of information, like facts, that can be combined to solve a problem. For example, if you have the rule that "all cats have fur" and another rule that "Max is a cat," then the program can use these two rules to come up with the conclusion that "Max has fur." It is like a game of puzzles, where pieces of information are put together to form an answer.