doi dblp Portability of Syntax and Semantics in Datalog Carole D. Hafner | Kurt Godden 1985 Volume 3 Issue 2