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

Removing some of planet

Browse Source
This commit is contained in:
Jay McCarthy 2010-06-24 13:56:02 -06:00
parent 09f6e5bee4
commit 498c3019b4
10 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,4 +1,4 @@
#lang planet jaymccarthy/datalog #lang eudatalog
% Equality test % Equality test
ancestor(A, B) :- ancestor(A, B) :-
parent(A, B). parent(A, B).

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

@ -1,4 +1,4 @@
#lang planet jaymccarthy/datalog #lang datalog
% path test from Chen & Warren % path test from Chen & Warren
edge(a, b). edge(b, c). edge(c, d). edge(d, a). edge(a, b). edge(b, c). edge(c, d). edge(d, a).
path(X, Y) :- edge(X, Y). path(X, Y) :- edge(X, Y).

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

@ -1,4 +1,4 @@
#lang planet jaymccarthy/datalog #lang datalog
% Laps Test % Laps Test
contains(ca, store, rams_couch, rams). contains(ca, store, rams_couch, rams).
contains(rams, fetch, rams_couch, will). contains(rams, fetch, rams_couch, will).

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

@ -1,4 +1,4 @@
#lang planet jaymccarthy/datalog #lang datalog
abcdefghi(z123456789, abcdefghi(z123456789,
z1234567890123456789, z1234567890123456789,
z123456789012345678901234567890123456789, z123456789012345678901234567890123456789,

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

@ -1,4 +1,4 @@
#lang planet jaymccarthy/datalog #lang datalog
% path test from Chen & Warren % path test from Chen & Warren
edge(a, b). edge(b, c). edge(c, d). edge(d, a). edge(a, b). edge(b, c). edge(c, d). edge(d, a).
path(X, Y) :- edge(X, Y). path(X, Y) :- edge(X, Y).

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

@ -1,4 +1,4 @@
#lang planet jaymccarthy/datalog #lang datalog
% p q test from Chen & Warren % p q test from Chen & Warren
q(X) :- p(X). q(X) :- p(X).
q(a). q(a).

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

@ -1,4 +1,4 @@
#lang planet jaymccarthy/datalog #lang datalog
% path test from Chen & Warren % path test from Chen & Warren
edge(a, b). edge(b, c). edge(c, d). edge(d, a). edge(a, b). edge(b, c). edge(c, d). edge(d, a).
path(X, Y) :- edge(X, Y). path(X, Y) :- edge(X, Y).

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

@ -1,4 +1,4 @@
#lang planet jaymccarthy/datalog #lang datalog
tpme(tpme1). tpme(tpme1).
ms(m1,'TPME',tpme1,ek,tp). ms(m1,'TPME',tpme1,ek,tp).
says(TPME,M) :- tpme(TPME),ms(M,'TPME',TPME,A,B). says(TPME,M) :- tpme(TPME),ms(M,'TPME',TPME,A,B).

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

@ -1,3 +1,3 @@
#lang planet jaymccarthy/datalog #lang datalog
true. true.
true? true?

6
collects/datalog/tool/tool.rkt
View File

@ -91,9 +91,9 @@
(define/public (get-language-numbers) (list 1000 42)) (define/public (get-language-numbers) (list 1000 42))
(define/public (get-teachpack-names) null) (define/public (get-teachpack-names) null)
(define/public (on-execute settings run-in-user-thread) (define/public (on-execute settings run-in-user-thread)
(let ([module-forms `(planet ,(this-package-version-symbol drracket/module-forms))] (let ([module-forms `datalog/tool/module-forms]
[runtime `(planet ,(this-package-version-symbol eval))] [runtime `datalog/eval]
[lang `(planet ,(this-package-version-symbol lang/lang))]) [lang `datalog/lang/lang])
(dynamic-require module-forms #f) (dynamic-require module-forms #f)
(dynamic-require runtime #f) (dynamic-require runtime #f)
(dynamic-require lang #f) (dynamic-require lang #f)