results for Programming in logic