4.4 Logic Programming

4.4.3 Is Logic Programming Mathematical Logic?

Exercises:

• 4.64 . An infinite loop
• 4.65 . A query to find all the wheels
• 4.66 . The total salaries of all the computer programmers
• 4.67 . The query system loop detector
• 4.68 . Rules for reverse operation
• 4.69 . A rule for adding ''greats'' to a grandson relationship