For example, the satplan algorithm uses logic for planning and inductive logic programming is a method for learning.
De exemplu, algoritmul Satplan⁠(d) utilizează logica pentru planificare⁠(d) și programarea logică inductivă⁠(d) este o metodă de învățare.