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.

%3 r_0021_0006__CTSS_r_0021_0007__QED CTSS QED r_0021_0004__Ken_r_0021_0005___apos_s Ken 's r_0021_0006__CTSS_r_0021_0007__QED->r_0021_0004__Ken_r_0021_0005___apos_s [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 [scope] r_0021_0010__written written 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_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_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] 
arc(r_0021_0006__CTSS_r_0021_0007__QED, r_0021_0004__Ken_r_0021_0005___apos_s, gen).
arc(r_0021_0009__was, r_0021_0006__CTSS_r_0021_0007__QED, r_0021_0003__like_nim10).
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_nim32).
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_nim55).
arc(r_0021_0018__expressions, r_0021_0001__This, gen).
arc(r_0021_0018__expressions, r_0021_0017__regular, attrib47).


%3 r_0021_0009__was was r_0021_0014__and and r_0021_0009__was->r_0021_0014__and [keep_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_0015__compiled compiled 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_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->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_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_0004__Ken_r_0021_0005___apos_s Ken 's r_0021_0006__CTSS_r_0021_0007__QED->r_0021_0004__Ken_r_0021_0005___apos_s [gen] 
fof(formula,axiom,
    ? [R_21_6_CTSS_QED,R_21_4_KEN_APOS_S] :
      ( ken_apos_s(R_21_4_KEN_APOS_S)
      & ? [R_21_14_AND,R_21_10_WRITTEN,R_21_12_ASSEMBLY_LANGUAGE,R_21_15_COMPILED,R_21_18_EXPRESSIONS,R_21_17_REGULAR,R_21_1_THIS,R_21_20_MACHINE_CODE] :
          ( assembly_language(R_21_12_ASSEMBLY_LANGUAGE)
          & regular(R_21_17_REGULAR)
          & this(R_21_1_THIS)
          & machine_code(R_21_20_MACHINE_CODE)
          & and(R_21_14_AND)
          & conj1(R_21_14_AND,R_21_10_WRITTEN)
          & written(R_21_10_WRITTEN,R_21_1_THIS)
          & in_nim32(R_21_10_WRITTEN,R_21_12_ASSEMBLY_LANGUAGE)
          & conj2(R_21_14_AND,R_21_15_COMPILED)
          & compiled(R_21_15_COMPILED,R_21_1_THIS,R_21_18_EXPRESSIONS)
          & expressions(R_21_18_EXPRESSIONS)
          & attrib47(R_21_18_EXPRESSIONS,R_21_17_REGULAR)
          & gen(R_21_18_EXPRESSIONS,R_21_1_THIS)
          & to_nim55(R_21_15_COMPILED,R_21_20_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))