Tue, 01 Jan 2008 00:00:00 +0100

Integrating Java and Prolog through generic methods and type inference. SAC 2008: 198-205