Noem vier soorten vragen die een logisch programma kan beantwoorden

    • Of R(a,b) waar is bij een gegeven a en b
    • Alle y waarvoor R(a,y) waar is bij een gegeven a
    • Alle x waarvoor R(x,b) waar is bij een gegeven b
    • Alle x en y waarvoor R(x,y) waar is
    [C15.zelftoets]

    Rapporteer Plaats commentaar