Getting a handle on logic programming.