Any particular keywords or authors to use when searching for such papers? Or sites that might have the papers? My favorite site for such papers is CiteSeerX
For others reading this, I added other sites that host research papers to Useful Prolog references
Googling: teaching prolog as first programming language pdf
Found:
Prolog as the First Programming Language
In the spirit of logic programming, several features of
Prolog are not covered. Most notable would be the Prolog
‘cut’ operation. While this can be explained using the goal
reduction model of Prolog, it does not have a meaningful
description at the logic level, and for our purposes is better
omitted. Also omitted are term inspection predicates (e.g.,
var(X)), DCG grammars, and character-level input-output.
Finally, the emphasis on a higher level of abstraction offers
limited circumstances that raise the issue of efficiency
considerations.