Metalogic programming