prolog

1La chaleur

2Répondre

Prologue: obtention d'atomes uniques à partir de formules propositionnelles

Je peux facilement écrire un prédicat pour obtenir des éléments uniques d'une liste donnée dans Prolog, par exemple. no_doubles([], []). no_doubles([H|T], F) :- member(H, T), no_doubles(T, F). no_

5La chaleur

3Répondre

Définition de type Prolog dans swi-prolog

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

3La chaleur

4Répondre

GNU Prolog - numéro Recursion (? Facile)

Ok, donc j'ai ce edu_less(hs,college). edu_less(college,masters). edu_less(masters,phd). J'ai besoin d'écrire une fonction pour dire si quelque chose est inférieure à l'autre. Le prédicat est edu_

0La chaleur

3Répondre

Prolog, en comptant à partir d'un intervalle; (SWI-PROLOG)

J'ai une petite question. J'ai besoin de faire un prédicat qui compte d'un nombre naturel à un autre nombre naturel. Je dois aussi mettre en place une vérification, à savoir que le second intervalle e

2La chaleur

3Répondre

Traverse graphique non orienté dans prolog

En bref: J'essaie de traverser un graphe non orienté en prologue, mais je ne sais pas comment, tout conseil serait grandement apprécié. Contexte: Essayer de modéliser le système ferroviaire, avec des

4La chaleur

3Répondre

comment diviser une phrase en swi-prolog

J'essaie mes mains sur SWI-Prolog dans win xp. J'essaie de comprendre comment diviser une phrase en Prolog en atomes séparés. Ex: Dire que j'ai une phrase comme ceci: « ceci est une chaîne » Est-il po

0La chaleur

1Répondre

listes dans une liste

J'écris un prologue en prologue pour supprimer un atome dans une liste, mais je suis resté sur la façon de vérifier si l'atome est une liste dans une liste. Aucune suggestion.

1La chaleur

1Répondre

débordement de pile dans Prolog

Je suis en train d'écrire du code Prolog pour déterminer si la variable est liée X dans le cadre de la variable liée Y dans une liste. Les listes peuvent être imbriquées et X est dans le champ Y si X

1La chaleur

1Répondre

Prolog - appeler une règle fait

TL; DR: Besoin d'aide appeler une règle avec un fait Ive a commencé avec Prolog, venant de C et a des choses à travailler ... jusqu'à ce qu'ils se sont évidemment brisées. J'écris un petit programme d

1La chaleur

2Répondre

Motif liste correspondant à des listes

J'ai un problème où j'ai une liste comme ceci: [[el1, el2, el3], [el4, el5, el6], [[el7, el8, el9], [el10, el11, el12], ..... , [elxx, elyy, elzz]], [el, el, el]...]] Je veux motif correspondre à