Я решил выучить пролог. Какой хороший переводчик использовать? Еще лучше, если у него есть приличный c / c ++ ffi.
Я бы рекомендовал GNU Prolog , потому что это кажется стандартом, но я также слышал хорошие вещи о SWI-Prolog .
GNU Prolog звучит как достойная отправная точка.
лично я пользуюсь ЭКЛИПС .