../../Task/Simple-database/Bracmat