Prolog: An Annotated Bibliography. - Fatima Z. Mansouri; Colin A. Higgins (ACM SIGPLAN Notices, 1997)

PRAM: prolog automatic marker. - Fatima Z. Mansouri; Cleveland Augustine Gibbon; Colin A. Higgins (ITiCSE, 1998)