elisp/clyde.el

   1 ;; clyde.el - Example of scholium seach using a classic semantic network
   2
   3 ;; Copyright (C) 2013 Raymond S. Puzio
   4
   5 ;; This program is free software: you can redistribute it and/or modify
   6 ;; it under the terms of the GNU Affero General Public License as published by
   7 ;; the Free Software Foundation, either version 3 of the License, or
   8 ;; (at your option) any later version.
   9
  10 ;; This program is distributed in the hope that it will be useful,
  11 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 ;; GNU Affero General Public License for more details.
  14
  15 ;; You should have received a copy of the GNU Affero General Public License
  16 ;; along with this program.  If not, see <http://www.gnu.org/licenses/>.
  17
  18 ;;; COMMENTARY:
  19
  20 ;; See http://arxana.net/semnet.jpg for a vital map.
  21
  22 ;;; CODE:
  23
  24 (load-file "bootstart.el")
  25 (load-file "search.expanded.el")
  26
  27 ;; We enter the semantic net in node by node.
  28
  29 ;; Start with "ground"
  30 (setq article-list '(1 (0 (0) () (0))))
  31  =>
  32 (1 (0 (0) nil (0)))
  33
  34 (ins-nod (get-gnd) 'CLYDE (get-gnd))
  35  => 1
  36
  37 (ins-nod (get-gnd) 'ROBIN (get-gnd))
  38  => 2
  39
  40 (ins-nod (get-gnd) 'BIRD (get-gnd))
  41  => 3
  42
  43 (ins-nod (get-gnd) 'OWN1 (get-gnd))
  44  => 4
  45
  46 (ins-nod (get-gnd) 'NEST1 (get-gnd))
  47  => 5
  48
  49 (ins-nod (get-gnd) 'OWN (get-gnd))
  50  => 6
  51
  52 (ins-nod (get-gnd) 'OWNERSHIP (get-gnd))
  53  => 7
  54
  55 (ins-nod (get-gnd) 'SITUATION (get-gnd))
  56  => 8
  57
  58 (ins-nod 1 'isa 2)
  59  => 9
  60
  61 (ins-nod 2 'isa 3)
  62  => 10
  63
  64 (ins-nod 4 'owner 1)
  65  => 11
  66
  67 (ins-nod 4 'ownee 5)
  68  => 12
  69
  70 (ins-nod 5 'isa 6)
  71  => 13
  72
  73 (ins-nod 4 'isa 7)
  74  => 14
  75
  76 (ins-nod 7 'isa 8)
  77  => 15
  78
  79 ;; each of the components -- whether nodes or links -- is represented using a similar syntax
  80 ;; 16 at the start of the list represents the next available identifier
  81
  82 article-list
  83   =>
  84 (16 (15 (7) isa (8))
  85     (14 (4) isa (7))
  86     (13 (5) isa (6))
  87     (12 (4) ownee (5))
  88     (11 (4) owner (1))
  89     (10 (2) isa (3))
  90     (9 (1) isa (2))
  91     (8 (0) SITUATION (0 15))
  92     (7 (0 15) OWNERSHIP (0 14))
  93     (6 (0) OWN (0 13))
  94     (5 (0 13) NEST1 (0 12))
  95     (4 (0 14 12 11) OWN1 (0))
  96     (3 (0) BIRD (0 10))
  97     (2 (0 10) ROBIN (0 9))
  98     (1 (0 9) CLYDE (0 11))
  99     (0 (0 8 7 6 5 4 3 2 1) nil (0 8 7 6 5 4 3 2 1)))
 100
 101 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 102
 103 ;; What sort of entity can something be in this example? (I.e. what kind of nodes do `isa' links point to?)
 104 ;; This `lambda' makes a predicate on the fly.
 105 ;; Send Ray a Trello screenshot for a use case
 106 (search '(((a (lambda (x)
 107                        (equal x 'isa)))
 108               (b))
 109             ((b snk a))))
 110   =>
 111 (((b 2) (a 9))
 112  ((b 3) (a 10))
 113  ((b 6) (a 13))
 114  ((b 7) (a 14))
 115  ((b 8) (a 15)))
 116
 117 (mapcar (lambda (x)
 118             (eval `(let ,x
 119                         (get-txt b))))
 120         (search '(((a (lambda (x)
 121                         (equal x 'isa)))
 122                       (b))
 123                     ((b snk a)))))
 124  =>
 125 (ROBIN BIRD OWN OWNERSHIP SITUATION)
 126
 127 ;; What does Clyde own?
 128 ;; (This could be written [clyde owns ?] but the macro expansion language would have to know that ownership is stored in two parts here.)
 129
 130 (search '(((a (lambda (x) (equal x 'CLYDE)))
 131               (b (lambda (x) (equal x 'owner)))
 132                  (c)
 133                     (d (lambda (x) (equal x 'ownee)))
 134                        (e)
 135                           (f (lambda (x) (equal x 'isa)))
 136                              (g (lambda (x) (equal x 'OWNERSHIP))))
 137             ((a snk b)
 138                 (c src d)
 139                    (c src b)
 140                       (e snk d)
 141                          (c src f)
 142                             (g snk f))))
 143   =>
 144 (((g 7) (f 14) (e 5) (d 12) (c 4) (b 11) (a 1)))
 145
 146 (mapcar '(lambda (x)
 147               (eval `(let ,x
 148                            (get-txt e))))
 149         (search '(((a (lambda (x) (equal x 'CLYDE)))
 150                       (b (lambda (x) (equal x 'owner)))
 151                          (c)
 152                             (d (lambda (x) (equal x 'ownee)))
 153                                (e)
 154                                   (f (lambda (x) (equal x 'isa)))
 155                                      (g (lambda (x) (equal x 'OWNERSHIP))))
 156                     ((a snk b)
 157                         (c src d)
 158                            (c src b)
 159                               (e snk d)
 160                                  (c src f)
 161                                     (g snk f)))))
 162   => (NEST1)
 163