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_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 [keep_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] 
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_4 This n21_a_history_of_qed_6 , n21_a_history_of_qed_9 like n21_a_history_of_qed_13 Ken n21_a_history_of_qed_15 's n21_a_history_of_qed_17 CTSS n21_a_history_of_qed_19 QED n21_a_history_of_qed_21 , n21_a_history_of_qed_23 was n21_a_history_of_qed_28 written n21_a_history_of_qed_31 in n21_a_history_of_qed_34 assembly n21_a_history_of_qed_36 language n21_a_history_of_qed_39 and n21_a_history_of_qed_42 compiled n21_a_history_of_qed_46 its n21_a_history_of_qed_49 regular n21_a_history_of_qed_51 expressions n21_a_history_of_qed_54 to n21_a_history_of_qed_57 machine n21_a_history_of_qed_59 code n21_a_history_of_qed_61 . n21_a_history_of_qed_1 IP-MAT n21_a_history_of_qed_2 NP-SBJ n21_a_history_of_qed_1->n21_a_history_of_qed_2 n21_a_history_of_qed_5 PUNC n21_a_history_of_qed_1->n21_a_history_of_qed_5 n21_a_history_of_qed_7 PP-NIM n21_a_history_of_qed_1->n21_a_history_of_qed_7 n21_a_history_of_qed_20 PUNC n21_a_history_of_qed_1->n21_a_history_of_qed_20 n21_a_history_of_qed_22 BED;_cat_VePASS_ n21_a_history_of_qed_1->n21_a_history_of_qed_22 n21_a_history_of_qed_24 IP-PPL-CAT n21_a_history_of_qed_1->n21_a_history_of_qed_24 n21_a_history_of_qed_60 PUNC n21_a_history_of_qed_1->n21_a_history_of_qed_60 n21_a_history_of_qed_3 D;_nphd_ n21_a_history_of_qed_2->n21_a_history_of_qed_3 n21_a_history_of_qed_3->n21_a_history_of_qed_4 n21_a_history_of_qed_5->n21_a_history_of_qed_6 n21_a_history_of_qed_8 P-ROLE n21_a_history_of_qed_7->n21_a_history_of_qed_8 n21_a_history_of_qed_10 NP n21_a_history_of_qed_7->n21_a_history_of_qed_10 n21_a_history_of_qed_8->n21_a_history_of_qed_9 n21_a_history_of_qed_11 NP-GEN n21_a_history_of_qed_10->n21_a_history_of_qed_11 n21_a_history_of_qed_16 NPR n21_a_history_of_qed_10->n21_a_history_of_qed_16 n21_a_history_of_qed_18 NPR n21_a_history_of_qed_10->n21_a_history_of_qed_18 n21_a_history_of_qed_12 NPR n21_a_history_of_qed_11->n21_a_history_of_qed_12 n21_a_history_of_qed_14 GENM n21_a_history_of_qed_11->n21_a_history_of_qed_14 n21_a_history_of_qed_12->n21_a_history_of_qed_13 n21_a_history_of_qed_14->n21_a_history_of_qed_15 n21_a_history_of_qed_16->n21_a_history_of_qed_17 n21_a_history_of_qed_18->n21_a_history_of_qed_19 n21_a_history_of_qed_20->n21_a_history_of_qed_21 n21_a_history_of_qed_22->n21_a_history_of_qed_23 n21_a_history_of_qed_25 ILYR n21_a_history_of_qed_24->n21_a_history_of_qed_25 n21_a_history_of_qed_26 ILYR n21_a_history_of_qed_25->n21_a_history_of_qed_26 n21_a_history_of_qed_37 CONJP n21_a_history_of_qed_25->n21_a_history_of_qed_37 n21_a_history_of_qed_27 VVN;__ n21_a_history_of_qed_26->n21_a_history_of_qed_27 n21_a_history_of_qed_29 PP-NIM n21_a_history_of_qed_26->n21_a_history_of_qed_29 n21_a_history_of_qed_27->n21_a_history_of_qed_28 n21_a_history_of_qed_30 P-ROLE n21_a_history_of_qed_29->n21_a_history_of_qed_30 n21_a_history_of_qed_32 NP n21_a_history_of_qed_29->n21_a_history_of_qed_32 n21_a_history_of_qed_30->n21_a_history_of_qed_31 n21_a_history_of_qed_33 N n21_a_history_of_qed_32->n21_a_history_of_qed_33 n21_a_history_of_qed_35 N n21_a_history_of_qed_32->n21_a_history_of_qed_35 n21_a_history_of_qed_33->n21_a_history_of_qed_34 n21_a_history_of_qed_35->n21_a_history_of_qed_36 n21_a_history_of_qed_38 CONJ n21_a_history_of_qed_37->n21_a_history_of_qed_38 n21_a_history_of_qed_40 ILYR n21_a_history_of_qed_37->n21_a_history_of_qed_40 n21_a_history_of_qed_38->n21_a_history_of_qed_39 n21_a_history_of_qed_41 VVN;__ n21_a_history_of_qed_40->n21_a_history_of_qed_41 n21_a_history_of_qed_43 NP-OB1 n21_a_history_of_qed_40->n21_a_history_of_qed_43 n21_a_history_of_qed_52 PP-NIM n21_a_history_of_qed_40->n21_a_history_of_qed_52 n21_a_history_of_qed_41->n21_a_history_of_qed_42 n21_a_history_of_qed_44 NP-GEN n21_a_history_of_qed_43->n21_a_history_of_qed_44 n21_a_history_of_qed_47 ADJP n21_a_history_of_qed_43->n21_a_history_of_qed_47 n21_a_history_of_qed_50 NS n21_a_history_of_qed_43->n21_a_history_of_qed_50 n21_a_history_of_qed_45 PRO;_genm_ n21_a_history_of_qed_44->n21_a_history_of_qed_45 n21_a_history_of_qed_45->n21_a_history_of_qed_46 n21_a_history_of_qed_48 ADJ n21_a_history_of_qed_47->n21_a_history_of_qed_48 n21_a_history_of_qed_48->n21_a_history_of_qed_49 n21_a_history_of_qed_50->n21_a_history_of_qed_51 n21_a_history_of_qed_53 P-ROLE n21_a_history_of_qed_52->n21_a_history_of_qed_53 n21_a_history_of_qed_55 NP n21_a_history_of_qed_52->n21_a_history_of_qed_55 n21_a_history_of_qed_53->n21_a_history_of_qed_54 n21_a_history_of_qed_56 N n21_a_history_of_qed_55->n21_a_history_of_qed_56 n21_a_history_of_qed_58 N n21_a_history_of_qed_55->n21_a_history_of_qed_58 n21_a_history_of_qed_56->n21_a_history_of_qed_57 n21_a_history_of_qed_58->n21_a_history_of_qed_59 n21_a_history_of_qed_60->n21_a_history_of_qed_61 
( (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))