search

manugunther / sat

GNU General Public License v3.0
0 stars 1 forks source link

Posibilidad de escribir nuevas signaturas y sus interpretaciones #4

Open manugunther opened 10 years ago

manugunther commented 10 years ago

Escribir algún documento donde se exprese mejor el requerimiento.

miguelpagano commented 10 years ago

El requerimiento es sencillo. Hasta ahora tenemos una única signatura con los siguientes símbolos de predicados 'Cuadrado', 'Círculo', 'Triángulo', 'Rojo', 'Azul', 'Verde', 'Chico', 'Mediano', 'Grande'. Los símbolos de relación son 'Arriba de', 'Abajo de', 'A la izquierda de', 'A la derecha de'.

Lo que se desea es permitir que de alguna manera se puedan definir nuevas signaturas. Una primera aproximación sería permitir definir sólo los símbolos de predicados y mantener fijos los de relación. Aun esto no es tan sencillo, porque ahora los predicados son o bien "figuras" o bien "modificadores de figuras"; mientras que sería sencillo permitir cambiar los primeros, no es inmediato pensar cómo se definiría la acción de los segundos.

Sigamos escribiendo acá las opciones y problemas que se nos ocurren.