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

Added datalog test case, it does not work yet and needs #:separator and other options to be implemented first.

Browse Source
This commit is contained in:
Georges Dupéron 2016-04-06 16:54:52 +02:00
parent 8c638c2537
commit 95ac55f300
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
test/todo-datalog.rkt.fail Normal file
View File

@ -0,0 +1,10 @@
#lang repltest datalog
parent(amy, anabella).
parent(john, anabella).
parent(anabella, jack).
parent(jack, ted).
grandparent(X, Z) :- parent(X, Y), parent(Y, Z).
> grandparent(X, ted)?
grandparent(anabella, ted).