Eric Martin 0002 Phuong Nguyen Arun Sharma 0001 Frank Stephan 0001 Learning in Logic with RichProlog. 239-254 2002 conf/iclp/2002 ICLP https://doi.org/10.1007/3-540-45619-8_17 db/conf/iclp/iclp2002.html#MartinNSS02