Title: Prolog syntax checker
First published: 2000