domains
    student,subject = symbol
    marks,rollno = real
    
predicates
    go(subject,marks)
    greater(marks,marks)
    name_of(rollno,student)
    subject_liked(rollno,subject)
    marks_obt(rollno,marks)
clauses
    name_of(1,pinakin).
    name_of(2,muntaquim).
    name_of(4,dhaval).
    name_of(7,chitrangada).
    name_of(9,anand).
    name_of(10,neha).
    name_of(13,hetal).
    name_of(14,shomit).
    name_of(15,sajith).
    name_of(17,dhiren).
    name_of(18,hitul).
    name_of(21,divya).
    name_of(22,jignesh).
    name_of(23,priya).
    name_of(24,jyoti).
    name_of(25,vishal).
    name_of(26,aditi).
    name_of(27,shalin).
    name_of(28,apurva).
    name_of(29,yesha).
    name_of(32,taranum).
    
    subject_liked(1,dbms).
    subject_liked(2,dfs).
    subject_liked(4,ai).
    subject_liked(7,ai).
    subject_liked(9,ai).
    subject_liked(10,cg).
    subject_liked(13,dms).
    subject_liked(14,java).
    subject_liked(15,nt).
    subject_liked(17,dbms).
    subject_liked(18,sad).
    subject_liked(21,ai).
    subject_liked(22,cbms).
    subject_liked(23,dfs).
    subject_liked(24,nt).
    subject_liked(25,cbms).
    subject_liked(26,cbms).
    subject_liked(27,ss).
    subject_liked(28,os).
    subject_liked(29,sad).
    subject_liked(32,ooad).
    
    marks_obt(1,75).
    marks_obt(2,60).
    marks_obt(4,65).
    marks_obt(7,80).
    marks_obt(9,50).
    marks_obt(10,65).
    marks_obt(13,70).
    marks_obt(14,55).
    marks_obt(15,80).
    marks_obt(17,72).
    marks_obt(18,61).
    marks_obt(21,85).
    marks_obt(22,55).
    marks_obt(23,68).
    marks_obt(24,70).
    marks_obt(25,90).
    marks_obt(26,64).
    marks_obt(27,30).
    marks_obt(28,56).
    marks_obt(29,45).
    marks_obt(32,65).
    
    go(Subject,Marks):-
        subject_liked(Roll,Subject),
        marks_obt(Roll,What),
        greater(What,Marks),
        name_of(Roll,Name),
        write(Name," likes ",Subject ," and has " ,  What," marks"),nl,
        fail.
    
    go(Subject,Marks).
        
    greater(X,Y) :-
        X >= Y.
        
Output :

Goal: go(ai,60)

dhaval likes ai and has 65 marks
chitrangada likes ai and has 80 marks
divya likes ai and has 85 marks
Yes