visual-prolog

    5La chaleur

    3Répondre

    Dans le prologue visuel, il y a une section "domaines" dans un programme prologue dans lequel vous pouvez définir des types. Y at-il une chose similaire dans swi-prolog? En Prolog visuelle un type est