; 20241007 R.v.Vessum converted python source to metta ; FILE: 44../../../hyperon-experimental/python/tests/test_examples.py :95 ;
(= (croaks Fritz) True) (= (chirps Tweety) True) (= (yellow Tweety) True) (= (eats_flies Tweety) True) (= (eats_flies Fritz) True) ;; !(assertEqualToResult ( ) ( ) ) ;
; !(if (and (croaks $x) (eats_flies $x)) (= (frog $x) True) nop) ; Added ; rne add ;(= ( (frog $x) True ) ; (and (croaks $x) (eats_flies $x) ) ; (croaks $x) ; ) ;;
; self.assertEqual(metta.parse_all(' ; (= (frog Fritz) True)'), fritz_frog) ; !(match (frog Fritz) &er ) ;!(match &self (= frog Tweety) $value) ;!(match &self (= (frog Fritz) $res) $res) ; !(if (and (croaks $x) (eats_flies $x)) (= (frog $x) True) nop) ; !(assertEqualToResult ( ) ( ) ) ; ready works !(assertEqualToResult ( if (and (croaks $x) (eats_flies $x)) (= (frog $x) True) nop ) ( (= (frog Fritz) True) ) ) ;!(assertEqualToResult (= (frog Fritz ) True ) ( True ) ) ;!(assertEqualToResult (frog Fritz ) ( True ) ) ; !(assertEqualToResult (= frog Fritz ) ( True ) ) ;!(match &self (= (frog $qq) $res) $res) ;!(assertEqualToResult (= frog Fritz) (True) ) ;!(= (frog Fritz) True) ;!(match (frog Fritz) $Result) ;(match &self (state $var $y) ;!(print "result:") ;!(print $value) ;;