Attachments for 2P-Kt / tuProlog