diff options
| -rw-r--r-- | minikanren/sequentcalc.scm | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/minikanren/sequentcalc.scm b/minikanren/sequentcalc.scm index e0099c0..fa882c9 100644 --- a/minikanren/sequentcalc.scm +++ b/minikanren/sequentcalc.scm @@ -18,6 +18,8 @@ ;; always not terminate (as there are usually an infinite amount ;; of possible completions). +(use-modules (ice-9 match)) + ;; goal: is q a member of the list l? (define (membero q l) @@ -110,3 +112,16 @@ (display "does not follow from sequent calculus") (display "follows from sequent calculus")) (newline))) + + +(define (pretty formula) + (match formula + (('and a b) (string-append "(" (pretty a) " ∧ " (pretty b) ")")) + (('or a b) (string-append "(" (pretty a) " ∨ " (pretty b) ")")) + (('not a) (string-append "¬" (pretty a))) + (('arrow a b) (string-append "(" (pretty a) " → " (pretty b) ")")) + ('bottom "⊥") + (a (if (symbol? a) (symbol->string a) "[]")))) + +(define (prettylist formulae) + (map (lambda (f) (map pretty f)) formulae)) |