coala - Translates action languages into logic programs

version 1.0.1 (2010/11/11):
	general:
	* compatible with gringo v3
	* changed copyright information for program opts

version 1.0.0 (2010/07/28):
	general:
	* does not need to link against flex anymore
	* fixed some bugs in coala wrapper script about clingo usage and output
	  formatting

version 0.9.5 (2010/05/07):
	general:
	* added support for action language B and A_L
	* added wrapper script for easier usage of coala toolchain
	* types in <where> part of rules can now be negated using 'not'
	* all information from <where> part is now added to the program

	action language C:
	* fixed segfault with causes rules
	* fixed compilation bug for static rules without <if> part

version 0.9.4 (2010/02/22):
	action language C:
	* added experimental incremental LTL encoding (direct and non-direct)

version 0.9.3 (2010/01/27):
	general:
	* multiple input files can be given via command line
	* compiling Coala without flex and bison++ is now easier

	action language C:
	* LTL queries can now be used with direct encoding
	* multiple LTL queries are now treated as disjunctions of one query
	* fixed bug with LTL so that you can now query for actions as well
	* LTL is now standard compliant and tries to find counterexamples
	* LTL queries now handle idle states properly
	* fixed bug where conjunctions of fluents (composite fluents) could not be
	  caused in non-direct encoding
	* fixed bug where negation of LTL auxiliary functions was done improperly
	* added biocham LTL example
	* added warning for queries that may cause problems with reverse
	  incremental encoding
	* fixed monkey and water example for reverse incremental encoding
	* fixed segfault when defining negative fluents
	* fixed small bug in yale shooting example

version 0.9.2 (2009/11/11):
	general:
	* coala now offers the library libcoala
	* instructions on how to build without flex and bison++

	action language C:
	* fixed bug where types for variables from constraints were not checked
	  and not included
	* new Towers of Hanoi example
	* modified ferryman example for scalability
	* fixed biocham_mapk example for gringo compatibility

version 0.9.1 (2009/07/01):
	general:
	* reimplementation of al2asp and renamed to coala
	* new bugs might have been introduced

	action language C:
	* added pooling of variables in definitions, e.g. var(X;Y)
	* function symbols as arguments of fluents and action
	* experimental support for LTL-like queries
	* new non-direct encoding
	* experimental support for reverse incremental solving
	* new parameter to suppress type checking of variables

version 0.5 (2008/10/22):
	general:
	* changed default language to C
	* added three examples (blocksworld, ferryman, monkeys)

	action language C:
	* support for gringo's incremental grounding

version 0.4 (2008/07/14):
	general:
	* changed Buildsystem to CMake
	* added several examples
	* added undocumented and unsupported C to C_taid translation

	action language C:
	* support for query language R (<occurs at>, <holds at>
	  and hypothetical query)
	* support for constants to variable handling
	* support for addition in constraints
	* prevented actions form occurring in last time step (T<n)
	* fixed bug in variable handling
	* fixed bug where static rules were only grounded till n-1

	action language C_taid:
	* changed end time from latest observation to parameter n
	* fixed time problem with prediction
	* fixed default fluent bug
	* fixed negative action observations bug

version 0.3 (2007/10/21):
	general:
	* added support for file input in addition to STDIN
	* changed debug level behaviour
	* debug level 0 shows only actions and 1 also fluents
	* default is now debug level 1
	* added one example for action language C

	action language C:
	* rewrite of most code for simplicity and modularity
	* added experimental support for variables with <where>

	action language C_taid:
	* removed <at> for specifying max_time in queries
	* specify it with lparse -c n=[max_time]
