What have you used Prolog for? If the information is not under NDA.