History

for article: Prolog syntax and semantics