suzanne.soy/datalog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Big newline at EOF scan.

Browse Source 
original commit: f7c67b49a49a723534454ce561cd060e63889480
This commit is contained in:
Eli Barzilay 2012-02-29 00:28:11 -05:00
parent 4a985badae
commit b4ad4cf27e
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/datalog/serialize.rkt
View File

@ -34,4 +34,4 @@
(provide/contract
[write-theory (-> theory/c void)]
[read-theory (-> theory/c)])
[read-theory (-> theory/c)])

2
collects/tests/datalog/examples/student.rkt
View File

@ -1,4 +1,4 @@
#lang datalog
friend(arnold,arnold).
student(arnold,arnold,arnold) :- friend(arnold,arnold).
student(arnold,arnold,arnold)?
student(arnold,arnold,arnold)?