dcg

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

2La chaleur

3Répondre

comptage des récurrences de grammaire clause définies dans Prolog

je la grammaire clause définie Prolog suivante: s-->[a],s,[b]. s-->[]. Cela se traduira par des mots comme [a, a, b, b] être acceptée en face à des mots comme [un , b, a, b]. Pour le dire en un mot

24La chaleur

3Répondre

Prolog - membre prédicatif one-liner

Question d'interview! Voici comment vous définissez normalement la relation member en Prolog: member(X, [X|_]). % member(X, [Head|Tail]) is true if X = Head % that is, if X is the head of t

5La chaleur

3Répondre

En savoir plus sur Prolog! Exemple de pratique DCG

J'ai progressé à travers Learn Prolog Now! en tant qu'étude personnelle et j'apprends maintenant sur les Grammaires à Clause Définie. J'ai quelques difficultés avec l'une des tâches de la session prat

1La chaleur

2Répondre

Recherche de structures Prolog

Je m'intéresse aux formules composées de nombreuses conjonctions (faisant partie d'un problème plus important). Je veux écrire un programme qui prend quelque chose comme ceci: :- get_params(conj(conj(

1La chaleur

1Répondre

Prologue: Phrase Parser

Été assis ici pendant des heures juste en regardant fixement ce code et n'ai aucune idée de ce que je fais mal. Je sais ce qui se passe en traçant le code (il se passe une boucle éternelle quand il fr

1La chaleur

3Répondre

"Retour" une liste d'un prédicat dans Prolog

resolve(K, K, _) :- writeln('finished'). %goal state resolve(CurrentState, GoalState, Path) :- suc(_, CurrentState, NextState, GoalState), append(Path, [CurrentState], NextPath), reso

1La chaleur

1Répondre

SWI-Prolog tokenize_atom/2 remplacement?

Ce que je dois faire est de casser l'atome en jetons. E. g .: tokenize_string('Hello, World!', L). unifierait L=['Hello',',','World','!']. Exactement comme tokenize_atom/2 faire. Mais quand j'essaie