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

Tests

Browse Source 
original commit: 73b4059adece873e39485e471deb2079710bdad0
This commit is contained in:
Jay McCarthy 2010-06-24 15:31:42 -06:00
parent cd74d2dd5b
commit a14e87e56f
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/datalog/pretty.rkt
View File

@ -27,7 +27,7 @@
[(struct literal (_ pred terms))
(h-append (format-datum pred)
lparen
(v-concat/s (apply-infix comma (map format-term terms)))
(v-concat/s (apply-infix ", " (map format-term terms)))
rparen)]))
(define (format-literals ls)
(v-concat
@ -40,8 +40,8 @@
(format-literal (clause-head c))
(nest 4
(v-concat/s
(list* (h-append (format-literal (clause-head c)) space (text ":-"))
(apply-infix comma (map format-literal (clause-body c))))))))
(list* (h-append (format-literal (clause-head c)) space (text ":-") space)
(apply-infix ", " (map format-literal (clause-body c))))))))
(define (format-assertion a)
(h-append (format-clause (assertion-clause a))
dot))