DataMuseum.dk

top - metrics - download

    Length: 1777 (0x6f1)
    Types: TextFile
    Names: »DBG_ADA«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with expertSystem ; use expertSystem;

procedure b2 is

   cpt : natural;

   package mab is
      procedure ftb;
   end mab;

   package body mab is
   
   type object is record
	contenu : natural:=1;
   end record;

   package behavior  is new classBehavior(object,"BIG FLOWER");

   function castor_C return tupleCollection.object is
   tc : tupleCollection.object;
   begin
	   return tc;
   end castor_C;

   procedure castor_A (MG : tuple.object) is
   begin
         put_line(" What a famous castor !");
   end castor_A;

   function flower_C return tupleCollection.object is
   tc  : tupleCollection.object;
   ref : expertSystem.reference:=nullReference;
   fl  : object;
   begin
	if cpt=10 then
	   return tc;
	else
	   fl.contenu:=cpt*10;
	   ref:=behavior.allocate(fl);
	   tupleCollection.add(tc,ref);
	   return tc;
	end if;
   end flower_C;

   procedure flower_A (MG : tuple.object) is
   begin
         put_line(" What a beautiful flower !");
	 cpt:=cpt+1;
   end flower_A;

      package lfb is new engine(
		context_name    => " Flowers  ",
		resolution	=> LEX,
		used_rules      => 12,
		name_1		=> "find a castor..",
		condition_1	=> castor_C,
 		action_1	=> castor_A,
		name_12		=> "find a flower..",
		condition_12	=> flower_C,
 		action_12	=> flower_A);


      procedure ftb is
	result : boolean;
      begin
	 behavior.clear;
         put_line("---------------------------------------------------");
	 put_line("PROGRAM FLOWER : looking for flower in a green land");
         put_line("---------------------------------------------------");
	 cpt:=0;
	  result:=lfb.inference(ANY);
      end ftb;
   end mab;

begin

  debugger.resetDebug(debugger.text);
  debugger.refreshDebug;
  debugger.setDebugOn(debugger.conditionEvalued);

  mab.ftb;

end b2;