Prolog的数据库查询

Question

为了用事实一个约会数据库的形式：

person(name, age, sex, height, weight, education, salary)

鉴于输入：

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).