Aß
Size: a a a
Aß
EV
¥
(defun ==
Aß
М
¥
¥
¥
¥
Aß
¥
¥
¥
EV
(unify(с something не вышло, видимо, надо будет допиливать, чтобы можно было игнорировать часть выражений в
`(,(var 0) (,(var 1) 5 ,(var 1)) :b ((,(var 1) 4)))
`(:a (3 5 3) :b ((3 4)))
empty-s
)
; => (([1] . 3) ([0] . :a) ([-1] . dummy))
exp
)(reazon--with-variables (x N rest1 rest2)
(reazon--unify
`(,x (,N 5 ,N) :b ((,N 4)))
`(:a (3 5 3) :b ((3 4)))
'()))
; => (([N] . 3) ([x] . :a))
Aß
C-x '
это expand-abbrev
a
EV
y
М