GitHub repository: rujevic/logic
Description: Annotation processor for producing logic definitions of Java classes for declarative programming.