Context                Previous, Next                Top


21_a_history_of_qed
This, like Ken's CTSS QED, was written in assembly language and compiled its regular expressions to machine code.

n21_a_history_of_qed n21_a_history_of_qed__1_1_1_1 This n21_a_history_of_qed__1_2_1 , n21_a_history_of_qed__1_3_1_1 like n21_a_history_of_qed__1_3_2_1_1_1 Ken n21_a_history_of_qed__1_3_2_1_2_1 's n21_a_history_of_qed__1_3_2_2_1 CTSS n21_a_history_of_qed__1_3_2_3_1 QED n21_a_history_of_qed__1_4_1 , n21_a_history_of_qed__1_5_1 was n21_a_history_of_qed__1_6_1_1_1_1 written n21_a_history_of_qed__1_6_1_1_2_1_1 in n21_a_history_of_qed__1_6_1_1_2_2_1_1 assembly n21_a_history_of_qed__1_6_1_1_2_2_2_1 language n21_a_history_of_qed__1_6_1_2_1_1 and n21_a_history_of_qed__1_6_1_2_2_1_1 compiled n21_a_history_of_qed__1_6_1_2_2_2_1_1_1 its n21_a_history_of_qed__1_6_1_2_2_2_2_1_1 regular n21_a_history_of_qed__1_6_1_2_2_2_3_1 expressions n21_a_history_of_qed__1_6_1_2_2_3_1_1 to n21_a_history_of_qed__1_6_1_2_2_3_2_1_1 machine n21_a_history_of_qed__1_6_1_2_2_3_2_2_1 code n21_a_history_of_qed__1_7_1 . n21_a_history_of_qed__1 IP-MAT n21_a_history_of_qed__1_1 NP-SBJ n21_a_history_of_qed__1->n21_a_history_of_qed__1_1 n21_a_history_of_qed__1_2 PUNC n21_a_history_of_qed__1->n21_a_history_of_qed__1_2 n21_a_history_of_qed__1_3 PP-NIM n21_a_history_of_qed__1->n21_a_history_of_qed__1_3 n21_a_history_of_qed__1_4 PUNC n21_a_history_of_qed__1->n21_a_history_of_qed__1_4 n21_a_history_of_qed__1_5 BED;_cat_VePASS_ n21_a_history_of_qed__1->n21_a_history_of_qed__1_5 n21_a_history_of_qed__1_6 IP-PPL-CAT n21_a_history_of_qed__1->n21_a_history_of_qed__1_6 n21_a_history_of_qed__1_7 PUNC n21_a_history_of_qed__1->n21_a_history_of_qed__1_7 n21_a_history_of_qed__1_1_1 D;_nphd_ n21_a_history_of_qed__1_1->n21_a_history_of_qed__1_1_1 n21_a_history_of_qed__1_1_1->n21_a_history_of_qed__1_1_1_1 n21_a_history_of_qed__1_2->n21_a_history_of_qed__1_2_1 n21_a_history_of_qed__1_3_1 P-ROLE n21_a_history_of_qed__1_3->n21_a_history_of_qed__1_3_1 n21_a_history_of_qed__1_3_2 NP n21_a_history_of_qed__1_3->n21_a_history_of_qed__1_3_2 n21_a_history_of_qed__1_3_1->n21_a_history_of_qed__1_3_1_1 n21_a_history_of_qed__1_3_2_1 NP-GEN n21_a_history_of_qed__1_3_2->n21_a_history_of_qed__1_3_2_1 n21_a_history_of_qed__1_3_2_2 NPR n21_a_history_of_qed__1_3_2->n21_a_history_of_qed__1_3_2_2 n21_a_history_of_qed__1_3_2_3 NPR n21_a_history_of_qed__1_3_2->n21_a_history_of_qed__1_3_2_3 n21_a_history_of_qed__1_3_2_1_1 NPR n21_a_history_of_qed__1_3_2_1->n21_a_history_of_qed__1_3_2_1_1 n21_a_history_of_qed__1_3_2_1_2 GENM n21_a_history_of_qed__1_3_2_1->n21_a_history_of_qed__1_3_2_1_2 n21_a_history_of_qed__1_3_2_1_1->n21_a_history_of_qed__1_3_2_1_1_1 n21_a_history_of_qed__1_3_2_1_2->n21_a_history_of_qed__1_3_2_1_2_1 n21_a_history_of_qed__1_3_2_2->n21_a_history_of_qed__1_3_2_2_1 n21_a_history_of_qed__1_3_2_3->n21_a_history_of_qed__1_3_2_3_1 n21_a_history_of_qed__1_4->n21_a_history_of_qed__1_4_1 n21_a_history_of_qed__1_5->n21_a_history_of_qed__1_5_1 n21_a_history_of_qed__1_6_1 ILYR n21_a_history_of_qed__1_6->n21_a_history_of_qed__1_6_1 n21_a_history_of_qed__1_6_1_1 ILYR n21_a_history_of_qed__1_6_1->n21_a_history_of_qed__1_6_1_1 n21_a_history_of_qed__1_6_1_2 CONJP n21_a_history_of_qed__1_6_1->n21_a_history_of_qed__1_6_1_2 n21_a_history_of_qed__1_6_1_1_1 VVN;__ n21_a_history_of_qed__1_6_1_1->n21_a_history_of_qed__1_6_1_1_1 n21_a_history_of_qed__1_6_1_1_2 PP-NIM n21_a_history_of_qed__1_6_1_1->n21_a_history_of_qed__1_6_1_1_2 n21_a_history_of_qed__1_6_1_1_1->n21_a_history_of_qed__1_6_1_1_1_1 n21_a_history_of_qed__1_6_1_1_2_1 P-ROLE n21_a_history_of_qed__1_6_1_1_2->n21_a_history_of_qed__1_6_1_1_2_1 n21_a_history_of_qed__1_6_1_1_2_2 NP n21_a_history_of_qed__1_6_1_1_2->n21_a_history_of_qed__1_6_1_1_2_2 n21_a_history_of_qed__1_6_1_1_2_1->n21_a_history_of_qed__1_6_1_1_2_1_1 n21_a_history_of_qed__1_6_1_1_2_2_1 N n21_a_history_of_qed__1_6_1_1_2_2->n21_a_history_of_qed__1_6_1_1_2_2_1 n21_a_history_of_qed__1_6_1_1_2_2_2 N n21_a_history_of_qed__1_6_1_1_2_2->n21_a_history_of_qed__1_6_1_1_2_2_2 n21_a_history_of_qed__1_6_1_1_2_2_1->n21_a_history_of_qed__1_6_1_1_2_2_1_1 n21_a_history_of_qed__1_6_1_1_2_2_2->n21_a_history_of_qed__1_6_1_1_2_2_2_1 n21_a_history_of_qed__1_6_1_2_1 CONJ n21_a_history_of_qed__1_6_1_2->n21_a_history_of_qed__1_6_1_2_1 n21_a_history_of_qed__1_6_1_2_2 ILYR n21_a_history_of_qed__1_6_1_2->n21_a_history_of_qed__1_6_1_2_2 n21_a_history_of_qed__1_6_1_2_1->n21_a_history_of_qed__1_6_1_2_1_1 n21_a_history_of_qed__1_6_1_2_2_1 VVN;__ n21_a_history_of_qed__1_6_1_2_2->n21_a_history_of_qed__1_6_1_2_2_1 n21_a_history_of_qed__1_6_1_2_2_2 NP-OB1 n21_a_history_of_qed__1_6_1_2_2->n21_a_history_of_qed__1_6_1_2_2_2 n21_a_history_of_qed__1_6_1_2_2_3 PP-NIM n21_a_history_of_qed__1_6_1_2_2->n21_a_history_of_qed__1_6_1_2_2_3 n21_a_history_of_qed__1_6_1_2_2_1->n21_a_history_of_qed__1_6_1_2_2_1_1 n21_a_history_of_qed__1_6_1_2_2_2_1 NP-GEN n21_a_history_of_qed__1_6_1_2_2_2->n21_a_history_of_qed__1_6_1_2_2_2_1 n21_a_history_of_qed__1_6_1_2_2_2_2 ADJP n21_a_history_of_qed__1_6_1_2_2_2->n21_a_history_of_qed__1_6_1_2_2_2_2 n21_a_history_of_qed__1_6_1_2_2_2_3 NS n21_a_history_of_qed__1_6_1_2_2_2->n21_a_history_of_qed__1_6_1_2_2_2_3 n21_a_history_of_qed__1_6_1_2_2_2_1_1 PRO;_genm_ n21_a_history_of_qed__1_6_1_2_2_2_1->n21_a_history_of_qed__1_6_1_2_2_2_1_1 n21_a_history_of_qed__1_6_1_2_2_2_1_1->n21_a_history_of_qed__1_6_1_2_2_2_1_1_1 n21_a_history_of_qed__1_6_1_2_2_2_2_1 ADJ n21_a_history_of_qed__1_6_1_2_2_2_2->n21_a_history_of_qed__1_6_1_2_2_2_2_1 n21_a_history_of_qed__1_6_1_2_2_2_2_1->n21_a_history_of_qed__1_6_1_2_2_2_2_1_1 n21_a_history_of_qed__1_6_1_2_2_2_3->n21_a_history_of_qed__1_6_1_2_2_2_3_1 n21_a_history_of_qed__1_6_1_2_2_3_1 P-ROLE n21_a_history_of_qed__1_6_1_2_2_3->n21_a_history_of_qed__1_6_1_2_2_3_1 n21_a_history_of_qed__1_6_1_2_2_3_2 NP n21_a_history_of_qed__1_6_1_2_2_3->n21_a_history_of_qed__1_6_1_2_2_3_2 n21_a_history_of_qed__1_6_1_2_2_3_1->n21_a_history_of_qed__1_6_1_2_2_3_1_1 n21_a_history_of_qed__1_6_1_2_2_3_2_1 N n21_a_history_of_qed__1_6_1_2_2_3_2->n21_a_history_of_qed__1_6_1_2_2_3_2_1 n21_a_history_of_qed__1_6_1_2_2_3_2_2 N n21_a_history_of_qed__1_6_1_2_2_3_2->n21_a_history_of_qed__1_6_1_2_2_3_2_2 n21_a_history_of_qed__1_6_1_2_2_3_2_1->n21_a_history_of_qed__1_6_1_2_2_3_2_1_1 n21_a_history_of_qed__1_6_1_2_2_3_2_2->n21_a_history_of_qed__1_6_1_2_2_3_2_2_1 n21_a_history_of_qed__1_7->n21_a_history_of_qed__1_7_1 
( (IP-MAT (NP-SBJ;{GECOS_QED} (D;_nphd_ This;{this}))
          (PUNC ,)
          (PP-NIM (P-ROLE like;{like})
                  (NP;{CTSS_QED} (NP-GEN;{KEN} (NPR Ken;{Ken})
                                               (GENM <apos>s))
                                 (NPR CTSS;{CTSS})
                                 (NPR QED;{QED})))
          (PUNC ,)
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (ILYR (ILYR (VVN;__ written;{write})
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (N assembly;{assembly})
                                              (N language;{language}))))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VVN;__ compiled;{compile})
                                         (NP-OB1 (NP-GEN;{GECOS_QED} (PRO;_genm_ its;{its}))
                                                 (ADJP (ADJ regular;{regular}))
                                                 (NS expressions;{expression}))
                                         (PP-NIM (P-ROLE to;{to})
                                                 (NP (N machine;{machine})
                                                     (N code;{code})))))))
          (PUNC .))
  (ID 21_a_history_of_qed))


%3 r_0021_0018__expressions expressions r_0021_0017__regular regular r_0021_0018__expressions->r_0021_0017__regular [attrib] r_0021_0001__This This r_0021_0018__expressions->r_0021_0001__This [gen] r_0021_0015__compiled compiled r_0021_0015__compiled->r_0021_0018__expressions [arg1] r_0021_0015__compiled->r_0021_0001__This [arg0] r_0021_0020__machine_r_0021_0021__code machine code r_0021_0015__compiled->r_0021_0020__machine_r_0021_0021__code to [nim] r_0021_0014__and and r_0021_0014__and->r_0021_0015__compiled [conj2] r_0021_0010__written written r_0021_0014__and->r_0021_0010__written [conj1] r_0021_0010__written->r_0021_0001__This [arg0] r_0021_0012__assembly_r_0021_0013__language assembly language r_0021_0010__written->r_0021_0012__assembly_r_0021_0013__language in [nim] r_0021_0009__was was r_0021_0009__was->r_0021_0014__and [scope] r_0021_0006__CTSS_r_0021_0007__QED CTSS QED r_0021_0009__was->r_0021_0006__CTSS_r_0021_0007__QED like [nim] r_0021_0004__Ken Ken r_0021_0006__CTSS_r_0021_0007__QED->r_0021_0004__Ken [gen] 
arc(r_0021_0006__CTSS_r_0021_0007__QED,r_0021_0004__Ken,gen).
arc(r_0021_0009__was,r_0021_0006__CTSS_r_0021_0007__QED,r_0021_0003__like__nim).
arc(r_0021_0009__was,r_0021_0014__and,scope).
arc(r_0021_0010__written,r_0021_0001__This,arg0).
arc(r_0021_0010__written,r_0021_0012__assembly_r_0021_0013__language,r_0021_0011__in__nim).
arc(r_0021_0014__and,r_0021_0010__written,conj1).
arc(r_0021_0014__and,r_0021_0015__compiled,conj2).
arc(r_0021_0015__compiled,r_0021_0001__This,arg0).
arc(r_0021_0015__compiled,r_0021_0018__expressions,arg1).
arc(r_0021_0015__compiled,r_0021_0020__machine_r_0021_0021__code,r_0021_0019__to__nim).
arc(r_0021_0018__expressions,r_0021_0001__This,gen).
arc(r_0021_0018__expressions,r_0021_0017__regular,attrib).


%3 r_0021_0006__CTSS_r_0021_0007__QED CTSS QED r_0021_0004__Ken Ken r_0021_0006__CTSS_r_0021_0007__QED->r_0021_0004__Ken [gen] r_0021_0009__was was r_0021_0009__was->r_0021_0006__CTSS_r_0021_0007__QED like [nim] r_0021_0014__and and r_0021_0009__was->r_0021_0014__and [keep_scope] r_0021_0010__written written r_0021_0001__This This r_0021_0010__written->r_0021_0001__This [arg0] r_0021_0012__assembly_r_0021_0013__language assembly language r_0021_0010__written->r_0021_0012__assembly_r_0021_0013__language in [nim] r_0021_0014__and->r_0021_0010__written [conj1] r_0021_0015__compiled compiled r_0021_0014__and->r_0021_0015__compiled [conj2] r_0021_0015__compiled->r_0021_0001__This [arg0] r_0021_0018__expressions expressions r_0021_0015__compiled->r_0021_0018__expressions [arg1] r_0021_0020__machine_r_0021_0021__code machine code r_0021_0015__compiled->r_0021_0020__machine_r_0021_0021__code to [nim] r_0021_0018__expressions->r_0021_0001__This [gen] r_0021_0017__regular regular r_0021_0018__expressions->r_0021_0017__regular [attrib] 
fof(formula,axiom,
    ? [R_0021_0004__KEN,R_0021_0006__CTSS_R_0021_0007__QED,R_0021_0001__THIS,R_0021_0012__ASSEMBLY_R_0021_0013__LANGUAGE,R_0021_0010__WRITTEN,R_0021_0017__REGULAR,R_0021_0018__EXPRESSIONS,R_0021_0020__MACHINE_R_0021_0021__CODE,R_0021_0015__COMPILED,R_0021_0014__AND,R_0021_0009__WAS] :
      ( r_0021_0001__This(R_0021_0001__THIS)
      & r_0021_0004__Ken(R_0021_0004__KEN)
      & r_0021_0012__assembly_r_0021_0013__language(R_0021_0012__ASSEMBLY_R_0021_0013__LANGUAGE)
      & r_0021_0017__regular(R_0021_0017__REGULAR)
      & r_0021_0020__machine_r_0021_0021__code(R_0021_0020__MACHINE_R_0021_0021__CODE)
      & r_0021_0009__was(R_0021_0009__WAS)
      & has_keep_scope(R_0021_0009__WAS,R_0021_0014__AND)
      & r_0021_0014__and(R_0021_0014__AND)
      & has_conj2(R_0021_0014__AND,R_0021_0015__COMPILED)
      & r_0021_0015__compiled(R_0021_0015__COMPILED)
      & has_r_0021_0019__to__nim(R_0021_0015__COMPILED,R_0021_0020__MACHINE_R_0021_0021__CODE)
      & has_arg1(R_0021_0015__COMPILED,R_0021_0018__EXPRESSIONS)
      & r_0021_0018__expressions(R_0021_0018__EXPRESSIONS)
      & has_attrib(R_0021_0018__EXPRESSIONS,R_0021_0017__REGULAR)
      & has_gen(R_0021_0018__EXPRESSIONS,R_0021_0001__THIS)
      & has_arg0(R_0021_0015__COMPILED,R_0021_0001__THIS)
      & has_conj1(R_0021_0014__AND,R_0021_0010__WRITTEN)
      & r_0021_0010__written(R_0021_0010__WRITTEN)
      & has_r_0021_0011__in__nim(R_0021_0010__WRITTEN,R_0021_0012__ASSEMBLY_R_0021_0013__LANGUAGE)
      & has_arg0(R_0021_0010__WRITTEN,R_0021_0001__THIS)
      & has_r_0021_0003__like__nim(R_0021_0009__WAS,R_0021_0006__CTSS_R_0021_0007__QED)
      & r_0021_0006__CTSS_r_0021_0007__QED(R_0021_0006__CTSS_R_0021_0007__QED)
      & has_gen(R_0021_0006__CTSS_R_0021_0007__QED,R_0021_0004__KEN) ) ).