جواب هايي كه من بلدم:
1-زبان پرولوگ جززبانهاي منطقي (استنتاجي) مي باشد و شايد جز تابعي هم باشد.
2-بله
3-چون پايگاه دانش آن قابل تغيير و خودآموزي مي باشد.
4 و 5 و6-بله يك زبان (پوسته ) برنامه نويسي است و نسخه visual آن هم ارائه شده.
تا اينجا رو من دونستم.شما مي توايد به مراجع پرولوگ مراجعه...