4 Commits

Author	SHA1	Message	Date
Patrick Lühne	ba8f68c5d4	Removed unnecessary include directive.	2016-11-23 05:00:33 +01:00
Patrick Lühne	4cbd87c0e1	Handling boolean head literals.	2016-11-23 05:00:33 +01:00
Patrick Lühne	bdc560869a	Handling negated head literals.	2016-11-23 05:00:33 +01:00
Patrick Lühne	9ccbda49b7	Implemented head translation.	2016-11-23 05:00:33 +01:00