---
title: "An Interactive System to Learn Functional Logic Programs"
authors:
  - "Francesco Bergadano"
  - "Daniele Gunetti"
doi: ""
url: "https://ijcai.org/proceedings/1993/144"
pdf: "https://ijcai.org/proceedings/1993/0144.pdf"
venue: "Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence"
year: 1993
pages: "1044-1048"
track: "Machine Learning"
keywords:
---

# An Interactive System to Learn Functional Logic Programs

Francesco Bergadano, Daniele Gunetti

*Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence*, pages 1044-1048.

## Abstract

The problem of learning functional logic programs from positive examples is addressed. We describe a system, called FILP, which asks existential queries to the user, and is able to learn multiple predicates and recursive clauses. We prove that the learned descriptions are correct in the sense that they are consistent with the given examples. Moreover, a correct solution is always found if it exists.