dcg

    2La chaleur

    3Répondre

    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

    5La chaleur

    3Répondre

    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

    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

    j'utilise read_line_to_codes(Stream,Line) pour lire une ligne d'un fichier .. première est-il possible de lire une ligne et l'affecter à un terme en prologue ?? sinon j'ai réussi à lire une ligne et

    1La chaleur

    1Répondre

    É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

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

    1La chaleur

    1Répondre

    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

    4La chaleur

    3Répondre

    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

    24La chaleur

    3Répondre

    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