Program : I . JProlog.