我正在学习序言,想知道是否有人给我指导如何去做这个问题,这是这个领域的第一个,知道如何做这个问题真的会帮助我进步。先感谢您。
使用 Prolog 定义一个谓词 mapof(K, M, V) ,这样,当调用 K 实例化为键,M 实例化为映射时,mapof 会将变量 V 实例化为与关联的值(或值之一) K 在映射 M 中。如果 K 在映射 M 中没有作为键出现,则谓词应该失败。
list prolog
list ×1
prolog ×1