List questions from inductive-logic-programming | DevHide

Inductive proposition for sublists in Coq

Published on 16 October 2020 at 06:25

How to generate arff file from ACE

Published on 03 December 2014 at 09:38

Found a constructor of inductive type bool while a constructor of list is expected

Published on 16 April 2022 at 20:57

How to get a theory by using Aleph with SWI-Prolog

Published on 13 September 2020 at 14:10

how can i prove the following algorithm?

Published on 23 September 2020 at 13:28

Good inductive logic programming system

Published on 28 February 2019 at 18:44

Data to function: What data would have to be passed to minikanren to get eval?

Published on 03 May 2020 at 11:54

Not getting a theory in Aleph for SWI Prolog

Published on 27 November 2016 at 20:20

Is it possible to write a "zipAll" function for scala inductive list (shapeless.HList in scala 2 or Tuple in scala 3)?

Published on 01 February 2022 at 00:59

How to generate negative examples in inductive logic programming?

Published on 14 April 2014 at 15:58