:- style_check(all).

:- yap_flag(unknown,error).

:- module(meld_core,
	  [simulate/1,
	   op(1200, fy, (type)),
	   op(1150,  fy, (logical_neighbor)),
	   op(1150,  fy, (extensional)),
	   op( 500, fy, (first)),
	   op( 500, fy, (max)),
	   op( 950, fy, (forall)),
	   op( 900, xfy, (then))
	  ]).

:- style_check(all).

:- reexport(meld/meldi).

:- reexport(meld/meldc).

simulate(G) :-
	 input_graph(G),
	 live.