https://github.com/orionw/byucs236

A interpreter for the Datalog Language - made for CS236 at BYU
https://github.com/orionw/byucs236

byu c-plus-plus database datalog-language

Last synced: 5 months ago
JSON representation

A interpreter for the Datalog Language - made for CS236 at BYU

• Host: GitHub
• URL: https://github.com/orionw/byucs236
• Owner: orionw
• Created: 2018-10-03T12:58:12.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2018-12-16T17:21:58.000Z (over 6 years ago)
• Last Synced: 2024-12-30T01:36:32.895Z (7 months ago)
• Topics: byu, c-plus-plus, database, datalog-language
• Language: C++
• Homepage:
• Size: 11.9 MB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# BYUCS236

A interpreter for the Datalog Language - made for CS236 at BYU

Details on the individual labs are found on the website at:

https://cswiki.cs.byu.edu/cs-236/projects

I have tagged in the releases the final version of each lab.  Each tag/release also contains the zip file for the code that I used to pass of the lab.  

Please note that the most recent commits were an experimental change to the lab and do not reflect the most complete project - see Lab5Done tag for the most complete code.

An example testcase of the Datalog language is:

```

Schemes:

    f(A,B)

    g(C,D)

    r(E,F)

Facts:

    f('1','2').

    f('4','3').

    g('3','2').

    r('1','4').

    r('2','5').

    r('3','5').

    r('4','1').

 

Rules:

    r(A,B) :- f(A,X),g(B,X).

    f(C,D) :- r(D,C).

    g(E,F) :- f(E,X),r(X,F).

Queries:

    f('3',Z)?

    r(Y,'3')?

    f(W,X)?

```

    

    

For more test cases and examples on the individual labs see https://faculty.cs.byu.edu/~barker/cs236/tests/tests.php.

For a sample test case driver, in case you'd like to run multiple tests at once see https://github.com/JustBrenkman/cs236_testbench