Stars
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Metagol - an inductive logic programming system
A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.
A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
Cropper and S.H. Muggleton. Learning higher-order logic programs through abstraction and invention. IJCAI 2016.
A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning journal, 2019.
A. Cropper and S. Tourret. Derivation reduction of metarules in meta-interpretive learning. ILP 2018.
A. Cropper, A. Tamaddoni-Nezhad, , and S.H. Muggleton. Meta-interpretive learning of data transformation programs. ILP2015.
A. Cropper and S.H. Muggleton. Learning efficient logical robot strategies involving composable objects. IJCAI 2015.