Лучше уж Лисп сделать! - помощнее он будет ИМХО
(И есть масса его реализаций на самых разных языках (от Бейсика до Асма)
А ПРОЛОГ с его предикатами очень ограничен.(И статичен что-ли...)