Title: Iso Prolog
First published: February 1994