Artifact 071eed503deadc1ee8727201548ca2ba4e521c925510b83a398aed2d900b5f07:

• File psl-1983/3-1/glisp/gltype.sl — part of check-in [eb17ceb7f6] at 2020-04-21 19:40:01 on branch master — Add Reduce 3.0 to the historical section of the archive, and some more
  files relating to version sof PSL from the early 1980s. Thanks are due to
  Paul McJones and Nelson Beebe for these, as well as to all the original
  authors.

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/historical@5328 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 1097) [annotate] [blame] [check-ins using] [more...]

% Define the GLISP types.   GSN   07 march 83
(glispobjects

(gltype
  (atom (proplist
(glstructure (cons (strdes anything)
                   (proplist (prop (listof glpropentry))
                             (adj (listof glpropentry))
                             (isa (listof glpropentry))
                             (msg (listof glpropentry))
                             (supers (listof gltype)))))
(glispatomnumber integer)
(glpropfns (alist (str (listof glpropfnentry))
                  (prop (listof glpropfnentry))
                  (adj (listof glpropfnentry))
                  (isa (listof glpropfnentry))
                  (msg (listof glpropfnentry))))))
prop ((props (prop))
      (adjs (adj))
      (isas (isa))
      (msgs (msg))))

(glpropentry
    (cons (name atom)
          (cons (code anything)
                (proplist (result gltype)
                          (open boolean)))))

(glpropfnentry (list (name atom)
                     (code anything)
                     (result gltype)))
)

(put 'atom 'glstructure
     '(atom prop ((pname id2string result string))))