/*++
Copyright (c) 2006 Microsoft Corporation

Module Name:

    datalog_frontend.h

Abstract:

    <abstract>

Author:

    Leonardo de Moura (leonardo) 2010-05-18.

Revision History:

--*/
#ifndef DATALOG_FRONTEND_H_
#define DATALOG_FRONTEND_H_


unsigned read_datalog(char const * file);


#endif /* DATALOG_FRONTEND_H_ */

