; 20241007 R.v.Vessum converted python source to metta ; FILE: 112../../../hyperon-experimental/python/hyperon/metta.py :35 ;
; for result in metta.run(program): ;