Scribd Logo
Upload

Welcome to Scribd!

  • T 5

    Uploaded by

    guest
    11 views1 page
    test document for a Datalog Interpreter Program. Uncomment (#) lines to create different sets of Rules and make sure your code is working correctly.

    Original Title

    t5

    Copyright

    © © All Rights Reserved

    Available Formats

    TXT, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    test document for a Datalog Interpreter Program. Uncomment (#) lines to create different sets of Rules and make sure your code is working correctly.

    Copyright:

    © All Rights Reserved
    Download as TXT, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    11 views1 page

    T 5

    Uploaded by

    guest
    test document for a Datalog Interpreter Program. Uncomment (#) lines to create different sets of Rules and make sure your code is working correctly.

    Copyright:

    © All Rights Reserved
    Download as TXT, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 1

    Schemes:

    A(a,b)
    B(a,b)
    rA(a,b)
    Reflexive(a,b)
    blah(a,b)
    colB(b)
    Symmetric(a,b)
    Transitive(a,b)
    SymTran(a,b)
    Facts:
    A('1','2').
    A('2','3').
    A('3','4').
    B('1','2').
    B('2','1').
    B('2','2').
    B('3','2').
    B('5','3').
    Rules:
    #Symmetric(X,Y) :- A(X,Y).
    #Symmetric(X,Y) :- Symmetric(Y,X).
    #rA(a,b) :- blah(b,a).
    rA(a,b) :- A(b,a),B(a,b).
    #rA(a,b) :- A(b,a),blah(b,a).
    #blah(a,b) :- A(b,a),B(a,b).
    #blah(a,b) :- A(b,a),B(b,a).
    Reflexive(X,Y) :- A(X,Z),rA(Z,Y).
    #Transitive(X,Y) :- A(X,Y).
    #Transitive(X,Z) :- Transitive(X,Y),Transitive(Y,Z).
    #SymTran(X,Y) :- SymTran(Y,X).
    #SymTran(X,Z) :- SymTran(X,Y),SymTran(Y,Z).
    #SymTran(X,Y) :- A(Y,X).
    Queries:
    Symmetric(Q,R)?
    Reflexive(Q,R)?
    Transitive('1',P)?
    A('1','2')?
    Symmetric('2','1')?
    SymTran(X,Y)?
    rA(A,B)?
    blah('3',A)?

    You might also like