Logical programming in plain language.