سمینار برنامه سازی منطق، سمینار ارائه شده به معرفی جنو پرولوگ و الگوریتم دیکسترا (با مثال) پرداخته است و نیز کدهای مسئله یافتن کوتاه ترین مسیر بین شهرها که در محیط جنو پرولوگ برنامه نویسی شده به همراه شرح کدها ارائه شده است.