prolog

0La chaleur

1Répondre

Je suis en train de faire simplement une condition dans Prolog comme ceci: ((vie == morts) -> Trans = non). Je pensais que le code ci-dessus évaluerait comme si Life == mort, puis Trans = non, mais po

1La chaleur

2Répondre

Prolog Un prédicat pour l'alignement

Par alignement, je veux dire que le prédicat prend deux listes, enfin trois avec la liste d'alignement. Et puis vérifiez que chaque élément de la liste d'alignement est bien un élément dans les deux a

5La chaleur

3Répondre

Prolog en boucle avec des résultats variables

J'ai un petit programme écrit en Prolog. En ce moment je peux imprimer le premier résultat avec test(X, 1, 4, 5). write(X). Mais s'il y a plus d'un résultat pour X, Comment puis-je imprimer les pro

1La chaleur

1Répondre

Prolog parse postfix expressions mathématiques

J'ai résolu ce moi-même. Je posterai la solution à la date d'échéance de mes devoirs. OK, je vais construire un analyseur ou un évaluateur. La norme de facto lors de l'analyse avec la notation de préf

2La chaleur

1Répondre

Mystère de Prolog (c, [a, b, c, d], Z)

Je pense que la réponse est 3 mais je ne suis pas sûr, quelqu'un peut-il fournir de l'aide? Supposons que les deux énoncés suivants sont entrés en Prolog: mystery(X,[X|L],L). mystery(X,[Y|L],[Y|M]) :

2La chaleur

2Répondre

Utilisations de faits non-terrain dans Prolog?

En Prolog vous pouvez écrire un fait de sol: lost(jen). Vous pouvez également écrire un fait non-sol: lost(X). Est-ce que cela fait sens? Pourriez-vous me montrer un exemple pratique/réel où des f

1La chaleur

3Répondre

Prolog coupé dans la méthode

J'ai une question que je voudrais vous demander quelque chose au sujet d'un extrait de code: insert_pq(State, [], [State]) :- !. insert_pq(State, [H|Tail], [State, H|Tail]) :- precedes(State, H)

1La chaleur

3Répondre

prolog pascal triangle

Salut est-il quelqu'un sait comment puis-je faire le pascal nième rangée quand je demande :? pascal (2, Row). je reçois Row = [1,2,1] ?? s'il vous plaît aidez-moi

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

0La chaleur

1Répondre

somme de récursivité queue, puissance, gcd en prolog?

Comment puis-je accomplir ceci: Donner une définition récursive de la queue pour chacun des prédicats suivants. power(X,Y,Z): XY = Z. gcd(X,Y,Z): Le plus grand commun diviseur de X et Y est Z. sum(L,S