Балуюсь с прологом всё, что бы получше освоить написал небольшой интерспретатор оного на Java для использования в качестве мета-языка, кому интересно может глянуть тут http://igormaznitsa.com/projects/prol/index.html