Title: Logic programming
Subjects: Logic programming, Congresses, Programmation logique, Congrès, Recursive functions, Computer programming, System identification