Prolog (translated as “programming in logic”) is the last serious language ... It takes advantage of certain properties of ...