cl-unification

BSD

The CL-UNIFICATION system. The system contains the definitions for the 'unification' machinery.

$ area51 add cl-unificationコピー

使い方

;; area51 add で .asd が自動更新されます。
;; コード内でパッケージを使用:
(in-package :my-project)
(cl-unification:some-function ...)

依存関係

cl-ppcreptester

利用しているパッケージ

esrap-pegjingoh