我如何在prolog中证明我最好的第一次搜索

Question

我有以下问题。

我需要在节点A到节点E的prolog中对上图进行最佳优先搜索

我手动完成并拥有以下4条路径

A（0） - C（6） - G（9） - I（13） - H（15） - E（16）

A（0） - C（6） - G（9） - I（13） - H（15） - B（19） - D（24） - E（26）

A（0）-B（1）-H（5）-E（6）

A（0）-B（1）-D（6）-E（8）

显然最好的路径是第3路（A（0） - B（1） - H（5） - E（6））。

我需要实施一个prolog最佳优先搜索程序来证明这种情况。

我想我会用事实

connects(a, c, 6).
connects(a, b, 1).
connects(b, h, 4).

等等。

但在那之后我被困住了，如果你可以帮助我甚至指导我到一个如何实现这个的网站/ youtube视频，我将会登上月球。

提前谢谢