Intégration de concepts de la programmation en logique à un langage de schémas paramétré