summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorpukkamustard <pukkamustard@posteo.net>2020-09-23 08:11:47 +0200
committerpukkamustard <pukkamustard@posteo.net>2020-09-23 08:11:47 +0200
commitc34c0a9e94460221cd25f473c8e2ebb04665adc6 (patch)
tree12ef52e56796d9835d545013517fbcdada8d858d
parentf5426dae26abb42524f0250776f008229b8a3ba9 (diff)
(schemantic lvar): rename slot to symbol
-rw-r--r--schemantic/lvar.scm11
-rw-r--r--schemantic/rdf.scm1
2 files changed, 7 insertions, 5 deletions
diff --git a/schemantic/lvar.scm b/schemantic/lvar.scm
index 1e63134..a487fc1 100644
--- a/schemantic/lvar.scm
+++ b/schemantic/lvar.scm
@@ -11,23 +11,24 @@
#:export (<lvar>
lvar
- lvar?))
+ lvar?
+ lvar-symbol))
;; Logical Variable
(define-class <lvar> (<term>)
- (name #:init-keyword #:name #:init-form (gensym "lvar") #:getter lvar-name))
+ (symbol #:init-keyword #:symbol #:init-form (gensym "lvar") #:getter lvar-symbol))
(define-method (write (self <lvar>) port)
- (format port "?~a" (lvar-name self)))
+ (format port "?~a" (lvar-symbol self)))
(define-method (equal? (x <lvar>) (y <lvar>))
- (equal? (lvar-name x) (lvar-name y)))
+ (equal? (lvar-symbol x) (lvar-symbol y)))
(define lvar
(case-lambda
(() (make <lvar>))
- ((name) (make <lvar> #:name name))))
+ ((s) (make <lvar> #:symbol s))))
(define (lvar? x)
(is-a? x <lvar>))
diff --git a/schemantic/rdf.scm b/schemantic/rdf.scm
index 38727e6..c352f81 100644
--- a/schemantic/rdf.scm
+++ b/schemantic/rdf.scm
@@ -50,6 +50,7 @@
<lvar>
lvar
lvar?
+ lvar-symbol
<generic-literal>
make-generic-literal