Vereinheitlichung ist in Informatik und Logik ein algorithmischer Prozess, mit dem man versucht, das Erfüllbarkeitsproblem zu lösen. Das Ziel der Vereinigung ist es, eine Substitution zu finden, die zeigt, dass zwei scheinbar unterschiedliche Begriffe tatsächlich entweder identisch oder nur gleich sind.
Im Prolog können wir Folgendes tun:
%Vor%
Das heißt, wenn das erste Argument von myFunction dasselbe ist wie das erste Element der Liste im zweiten Argument, wird diese Funktion als ... ausgewertet.
Meine Frage ist jetzt ... wie kan...
04.11.2010, 00:37
Ich verwende diesen Typ, um über Strings zu argumentieren, auf denen Decidable Parsing ausgeführt werden kann:
%Vor%
Zum Beispiel definieren Sie die Ziffern [0-9] wie folgt:
%Vor%
Dann können wir folgende Funktionen haben:
%Vor%
Dies...
23.11.2014, 23:12
Betrachten Sie die folgende GHCi-Sitzung:
%Vor%
Ich habe eine Ahnung von dem, was hier passiert: Der Typ-Checker muss Coercible (Ord a => a -> Map a b -> Bool) (Ord a => a -> MySet a -> Bool) erfüllen und kann b in di...
04.09.2017, 07:36
Ich versuche zu verstehen, warum die Funktion
%Vor%
hat den Typ
%Vor%
Wie kann "filter fst" funktionieren, wenn der Filter eine Funktion erhalten muss, die einen Bool-Typ zurückgibt und fst nur das erste Element eines Tupels zurückgibt?...
19.03.2014, 11:45
Ich habe die folgende Funktion geschrieben:
%Vor%
Aber als ich versucht habe zu kompilieren, habe ich folgenden Fehler:
%Vor%
Kann jemand helfen?
04.11.2011, 09:21