对城市进行分组的序言程序

Question

我在这里需要帮助，这是一个作业

序言程序，显示哪些城市位于

尼日利亚东南部。以下是城市（abraka、oyo、awka、

orlu、markurdi、jalingo、oweri、aba、mushin、okigwe）。

abraka (city not in south-east)
oyo (city not in south-east)
awka (city in south-east)
orlu (city in south-east)
markudi (city not in south-east)
jalingo (city not in south-east)
owerri (city in south-east)
aba (city in south-east)
mushin (city not in south-east)
okaigwe (city in south-east)

拜托，我不知道该怎么办。感谢您的任何

帮助。

Answer 1

处理（序言）问题时要做的第一件事就是根据您需要的查询为您的数据选择合适的表示形式。

在这种情况下，您将需要像 is_city_in_south_east(City) 这样的谓词。
因此，您可以将数据表示为：

is_city_in_SOuth_east(abraka).
is_city_in_south_east(awka).
city_is_not_in_south_east(oyo).
....

但是，这种表示方式过于具体。
更普遍的是，

city_location(abraka, south_east).
city_location(awka).
city_location(oyo, not_south_east).

我假设这

abraka (city not in south-east)
oyo (city not in south-east)
awka (city in south-east)
orlu (city in south-east)
markudi (city not in south-east)
jalingo (city not in south-east)
owerri (city in south-east)
aba (city in south-east)
mushin (city not in south-east)
okaigwe (city in south-east)

只是数据库的人类可读表示。

如果这是程序的实际输入（例如在文本文件中），那么它会非常混乱；我认为最简单的方法是构建一个迷你解析器。