Procesamiento de las reglas miembro/2 y concatenar/3 en Prolog

Abstract

Ĉi tiu noto de leciono klarigas la procedurojn de la reguloj miembro/2 kaj concatenar/3 difinitaj en Prolog por instruado. Tiucele, la rezulto de "trace" por ambaŭ reguloj estas montrita, same kiel la koncernaj proceduroj kaj fluo de datenoj, helpe de sagoj, per kiuj eblas pli facile okule kompreni la funkciadon de Prolog.This document illustrates the treatment for the rules miembro/2 (member/2) and concatenar/3 (append/3) defined in Prolog for pedagogical purposes. Thus, the result of the "trace" for those rules is detailed, as well as their processing and flow of information, indicated by arrows for a better understanding of Prolog.Estas notas de clase explican los procedimientos de las reglas miembro/2 y concatenar/3 definidas en Prolog con propósitos didácticos. Con este fin, se presentan los resultados del modo "trace" y se ilustra en detalle (por medio de flechas) la invocación de reglas y el flujo de datos.Ces notes de cours expliquent les procédures des règles miembro/2 y concatenar/3 définies dans Prolog à des fins didactiques. À cette fin, sont présentés les résultats du mode "trace" et l'invocation de règles avec le flux de données.