54 lines
1.8 KiB
Racket
54 lines
1.8 KiB
Racket
#lang racket
|
|
(require rackunit
|
|
"../parse.rkt"
|
|
"util.rkt"
|
|
"../runtime.rkt")
|
|
|
|
(provide runtime-tests)
|
|
|
|
(define pc (parse-clause (open-input-string "parent(john, douglas)")))
|
|
(define pl (parse-literal (open-input-string "parent(john, douglas)")))
|
|
|
|
(define runtime-tests
|
|
(test-suite
|
|
"runtime"
|
|
|
|
(test-suite
|
|
"safe-clause?"
|
|
(test-not-false "safe" (safe-clause? pc))
|
|
(test-not-false "safe" (safe-clause? (parse-clause (open-input-string "ancestor(A, B) :- parent(A, B)"))))
|
|
(test-false "not safe" (safe-clause? (parse-clause (open-input-string "ancestor(A, B) :- parent(jay, B)"))))
|
|
(test-not-false "safe" (safe-clause? (parse-clause (open-input-string "ancestor(A, B) :- parent(A, C), ancestor(C, B)")))))
|
|
|
|
(test-suite
|
|
"imm simple"
|
|
(test-equal? "empty" (prove (make-immutable-theory) pl) empty)
|
|
(test-literal "ass->prov"
|
|
(first (prove (assume (make-immutable-theory) pc) pl))
|
|
pl)
|
|
(test-equal? "ass->ret->prov" (prove (retract (assume (make-immutable-theory) pc) pc) pl) empty)
|
|
(test-equal? "ret->prov" (prove (retract (make-immutable-theory) pc) pl) empty))
|
|
|
|
(test-suite
|
|
"mut simple"
|
|
(test-equal? "empty" (prove (make-mutable-theory) pl) empty)
|
|
(test-literal "ass->prov"
|
|
(let ([thy (make-mutable-theory)])
|
|
(assume! thy pc)
|
|
(first (prove thy pl)))
|
|
pl)
|
|
(test-equal? "ass->ret->prov"
|
|
(let ([thy (make-mutable-theory)])
|
|
(assume! thy pc)
|
|
(retract! thy pc)
|
|
(prove thy pl))
|
|
empty)
|
|
(test-equal? "ret->prov"
|
|
(let ([thy (make-mutable-theory)])
|
|
(retract! thy pc)
|
|
(prove thy pl))
|
|
empty))
|
|
|
|
))
|
|
|