Prolog数据库查询

Question

创建一个包含以下形式事实的约会数据库：

person(姓名、年龄、性别、身高、体重、教育程度、薪水)

给定输入：

datable(alex, X)。

datable_weight_limit(alex, 170, X). 其中170是体重的阈值

如何根据规则返回潜在匹配的姓名：

1. 只能匹配异性
2. 男性应该年龄较大比女性
3. 男性应该比女性接受更高的教育吗？

我已经建立了这些关系：

edu_less(hs, bachelor).
edu_less(bachelor, master).
edu_less(master, phd).

edu_lesser(A, B):-
    edu_less(A, X),
    edu_lesser(X, B).

我已经尝试过：

datable(X, Y):-

    person(X, Agel, Sexl, Heightl, Weightl, Educationl, Salaryl),

    person(Namem, Agem, Sexm, Heightm, Weightm, Educationm, Salarym),

    Sexm \== Sexl.

datable(X, Y):-

    person(X, Agel, Sexl, Heightl, Weightl, Educationl, Salaryl),

    Sexl == female,

    findall( X, person(X, _, male, _, _, _, _), Y).

但我似乎没有运气。是否有我遗漏的功能或我实施的错误？

Answer 1

我认为你几乎是正确的。试试这个：

datable(M, F):-
    person(M, AgeM, male, HeightM, WeightM, EducationM, SalaryM),
    person(F, AgeF, female, HeightF, WeightF, EducationF, SalaryF),
    AgeM >= AgeF,
    edu_lesser(EducationF, EducationM),
    datable_weight_limit(M, MaxWeight),
    MaxWeight >= WeightF. 

在这里我们假设教育也是数字。
如果您还需要函数 - datable(F,M)：

datable(F,M) :-
     person(F, _, female, _, _, _, _),
     datable(M, F).