logical-purity

8La chaleur

2Répondre

Prolog: éviter les points de choix redondants (non déterministes) avec et sans opérateur de coupure

Premièrement, j'ai lu tous les autres articles sur SO concernant l'utilisation des coupes dans Prolog et je vois clairement les problèmes liés à leur utilisation. Cependant, il y a encore un peu de cl

2La chaleur

2Répondre

Réponses redondantes de la variante de prédicat réifiée d'append/3

Je voulais offrir une solution logiquement pure à certains other recent problem dans ce forum. Pour commencer, j'ai implémenté une variante réifiée de append/3 et je l'ai appelée appendR/4. Il est bas

5La chaleur

1Répondre

Caractéristiques du bon code Prolog?

Quelles sont les heuristiques de conception que l'on doit maîtriser pour écrire du bon Prolog? J'ai entendu dire qu'il faut un programmeur expérimenté environ deux ans pour devenir compétent dans Prol

3La chaleur

2Répondre

Combinaison de prédicats purs

J'essaie de combiner des prédicats purs à partir de questions précédentes de débordement de pile pour créer mon propre prédicat. Je veux donner une liste de c (qui ont des faits associés -'ats 'avec e

4La chaleur

1Répondre

Source de programmes prolog pur

La question: y a-t-il une place avec quelques programmes que je peux vérifier? Je parle de style de code rosetta, mais je suis allé là-bas et j'ai vu que presque tous les programmes sont résolus avec

2La chaleur

3Répondre

Ordre des objectifs (déclarations) dans les règles Prolog

J'ai commencé à étudier Prolog récemment et fait face à un problème étrange. Ici vous pouvez voir un exemple de code (j'utilise SWI-Prolog 7.2.3) qui donne un arbre de relations et ma solution de 2 tâ

6La chaleur

1Répondre

`var (A)` et ordre d'exécution

L'exercice 09 sur cette page http://www.ic.unicamp.br/~meidanis/courses/mc336/2009s2/prolog/problemas/ demande de créer un prédicat qui conditionne les éléments répétés dans les sous-listes. Une solut

2La chaleur

1Répondre

Prolog: supprime un membre de la liste avec des valeurs non-instanciées

Je veux supprimer toutes les apparences d'un élément dans une liste, similaire à this, mais dans mon cas, la liste peut avoir des variables non-instanciées. Par exemple: delMember(z, [A,B,A,z], L). L