我在合金中有一段代码我试图做一个餐馆预订系统，我有这个信号和他们之间的关系。 abstract sig Table{
breakfast: one breakFast,
lunch: one Lunch,
dinner: one Dinner
}
sig Free{
}
sig Reserved{
}
sig breakFast {
breakfastfree:one
问题是我需要编写一个能够咨询数据库中产品的谓词，以便它返回一个填充了价格降低的产品名称的列表（表示为在“状态”。 domains
state = reduced ; normal
element = string
list = element*
database
producte (string, integer, state)
predicates
我需要在Prolog中开发一个谓词，能够将一个列表与事实进行比较。换句话说，如果列表中的产品名称也都在数据库中（事实），那么它必须说“是”，否则“否”。 谓词明显地收到产品名称的列表。目前，我有这段代码。 domains
state = reduced ; normal
element = string
list = element*
database
p