标签: prolog
我想根据这些谓词中的原子列出一个列表:
country(italy, 30, 40). country(spain, 10, 30).
然后生成:
L = [italy, spain]
有可能吗?