Changeset 40056 in project


Ignore:
Timestamp:
04/25/21 22:14:18 (3 months ago)
Author:
Ivan Raikov
Message:

tiny-prolog: dependencies and tests

Location:
release/5/tiny-prolog/trunk
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • release/5/tiny-prolog/trunk/tests/run.scm

    r40055 r40056  
    66
    77
    8 (import tiny-prolog)
     8(import tiny-prolog test)
    99
    1010(new-database!)      ; set up fresh database
     
    4242(print "Which females are there?")
    4343(print-frames (? (female ?who)))
    44 (assert (equal? (? (female ?who))
    45                 '(((who . cathy)) ((who . denise)) ((who . fanny)))))
     44(test-assert (equal? (? (female ?who))
     45                     '(((who . cathy)) ((who . denise)) ((who . fanny)))))
    4646
    4747(print "Which relatives does Eric have?")
    4848(print-frames (? (_ eric ?who)))
    49 (assert (equal? (? (_ eric ?who))
    50                 '(((who . denise)) ((who . bertram)) ((who . cathy)) ((who . anthony)))))
     49(test-assert (equal? (? (_ eric ?who))
     50                     '(((who . denise)) ((who . bertram)) ((who . cathy)) ((who . anthony)))))
    5151
    5252(print "Cathy is related to whom in which way?")
    5353(print-frames (? (?relation cathy ?who)))
    54 (assert (equal? (? (?relation cathy ?who))
    55                 '(((relation . parent) (who . eric))
    56                   ((relation . wife) (who . bertram))
    57                   ((relation . mother) (who . eric))
    58                   ((relation . child) (who . anthony))
    59                   ((relation . descendant) (who . anthony)))))
     54(test-assert (equal? (? (?relation cathy ?who))
     55                     '(((relation . parent) (who . eric))
     56                       ((relation . wife) (who . bertram))
     57                       ((relation . mother) (who . eric))
     58                       ((relation . child) (who . anthony))
     59                       ((relation . descendant) (who . anthony)))))
    6060
     61(test-exit)
     62
  • release/5/tiny-prolog/trunk/tiny-prolog.egg

    r40055 r40056  
    1111 (maintainer "Ivan Raikov")
    1212
     13 (dependencies srfi-69)
     14
     15 (test-dependencies test)
     16
    1317 (components (extension tiny-prolog))
    1418
Note: See TracChangeset for help on using the changeset viewer.