ICL is copyrighted by Wim Van Laer and Luc De Raedt. It can be used for free by researchers. No commercial use is allowed without permission of the authors.
ICL is implemented in ProLog by BIM. Sources are not available (yet). We have a runtime version for Solaris2.*. It can be obtained by sending a request to Wim Van Laer.
Please inform us on results with ICL (good and bad results!).
Copyright 1997, Katholieke Universiteit Leuven, dept. Computerwetenschappen Information provider: KULeuven dept. Computerwetenschappen Comments for the authors: Wim Van Laer Page design: Wim Van Laer URL: http://www.cs.kuleuven.ac.be/obtaining.html |