unification

8La chaleur

3Répondre

modèle correspondant à des variables équivalentes dans Haskell, comme dans Prolog

En Prolog, nous pouvons faire quelque chose comme ce qui suit: myFunction a (a:xs) = ... Ceci est, lorsque le 1er argument myFunction est le même que le premier élément de la liste C'est dans le 2èm

5La chaleur

2Répondre

Pourquoi SWI-Prolog unifie une chaîne entre guillemets et sans guillemets (sans espaces) à la même règle?

Supposons que je les règles suivantes: unify('test', 'this is a test'). run :- write('Enter something: '), read(X), unify(X, Y), write('The answer is '), write(Y). Et puis je le l

11La chaleur

1Répondre

Prolog est vs = avec les listes

Pourquoi cela échoue L is [1,2,3,4], et cela fonctionne: L = [1,2,3]? Mais L is 1, et L = 1 tous deux fonctionnent de la même manière.

1La chaleur

2Répondre

Qu'est-ce qu'un moyen élégant d'unifier X, Y avec (1,2), (1, -2), (-1,2), (-1, -2), (2,1), (2, -1), (-2,1), (-2, -1)?

Qu'est-ce qu'un moyen élégant d'unifier X, Y avec (1,2), (1, -2), (-1,2), (-1, -2), (2,1), (2, - 1), (-2,1), (-2, -1)? En procédant ainsi, semble sujette aux erreurs et fastidieux: foo(1,2). foo(1,-2

3La chaleur

2Répondre

Unification - Infinité de résultats

Je développe (en Java), pour le plaisir, une application qui utilise un algorithme d'unification. J'ai choisi que mon algorithme d'unification renvoie toutes les unifications possibles. Par exemple, s

10La chaleur

2Répondre

Quel est l'algorithme "unificateur le plus général" optimal?

La question Quel est l'algorithme MGU le plus efficace? Quelle est sa complexité temporelle? Est-il assez simple de décrire comme une réponse de dépassement de pile? J'ai essayé de trouver la réponse

4La chaleur

2Répondre

Type Paramètre Unification

Pourquoi est-ce interdit en C#? alt text http://img706.imageshack.us/img706/7360/restriction.png En fait, je voudrais être capable d'écrire alias Y<A, B> : X<A, B>, X<B, A> L'unification est réellem