; 20241007 R.v.Vessum converted python source to metta ; FILE: 18../../../hyperon-experimental/python/tests/test_metta.py :22 ;
;        program = '''
  ;          (= (And T T) T)
   ;         (= (frog $x)
   ;             (And (croaks $x)
    ;                 (eat_flies $x)))
     ;       (= (croaks Fritz) T)
     ;       (= (eat_flies Fritz) T)
     ;       (= (green $x) (frog $x))
      ;      !(green Fritz)
  ;      '''
   ;     runner = MeTTa(env_builder=Environment.test_env())
   ;     result = runner.run(program)

        
;
5 20241007 R.v.Vessum converted python source to metta !(assertEqualToResult ( ) ( ) ) ;
;([[S('T')]], result) ; def test_metta_evaluate_atom(self): ; program = ''' (= (And T T) T) (= (frog $x) (And (croaks $x) (eat_flies $x))) (= (croaks Fritz) T) (= (eat_flies Fritz) T) (= (green $x) (frog $x)) ; ''' ; runner = MeTTa(env_builder=Environment.test_env()) ;
; ready works !(assertEqualToResult ( green Fritz ) ( T ) ) ;
lastline 51