This syntax is essentially the syntax of the book - Programming in Prolog by W.F.Clocksin and C.S.Mellish (published by Springer-Verlag).