From 95ac55f300fd6116f456e17d714cb8f1d1a32380 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Wed, 6 Apr 2016 16:54:52 +0200 Subject: [PATCH] Added datalog test case, it does not work yet and needs #:separator and other options to be implemented first. --- test/todo-datalog.rkt.fail | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 test/todo-datalog.rkt.fail diff --git a/test/todo-datalog.rkt.fail b/test/todo-datalog.rkt.fail new file mode 100644 index 0000000..d9ff448 --- /dev/null +++ b/test/todo-datalog.rkt.fail @@ -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). \ No newline at end of file