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