:- use_module(library(atom2term)).
:- use_module(library(read)).
:- use_module(library(write)).
:- use_package(clpq).

:- include(search). 
:- include(analyse). 
:- include(emulate). 
:- include(machines).
:- include(convert).