████████████
██████-█████████ ████████ aus einer ████████████████, deren ████████ sich ██████ und ██████ ██████. Der ████████ ██████████ ████████ an █████ ████████████████.
Der ██████-███████████ ███████ die ██████ und ██████, um ████████████ eine ███████ zu ██████.
Ein █████████ ████████ ████████, dass die ███████ ███████ █████████ ist. Ein █████████ ████████ ████████ ███, dass ████████ der ██████████ █████ █████████ ████████ werden kann.
████ █████ ███ mit der ██████ █████ ██████████ ████████ (█████ █████).
Das ████████ █████ ████████ in ██████ ist nicht wie in ████████████ ███████████████████ ein █████-████-████████, ███████ eine ████████████████ mit ██████████████████████.
█████████ ████████ █████████████ den █████████ einer ███████ ███████.
Das █████ ██████ in ████ einer ███████ `████(██████).` █████ sich als: ██████ ist ein ████. `█████(██████, █████).` █████████ das ██████: ██████ ist der █████ von █████. ███ ████████ zum █████ von ██████-██████ █████ ██████████████ █████████:
% ██████-████ mit ██████
████(████).
████(██████).
████(█████).
████(███).
████(███████).
████(██████).
█████(████, ██████).
█████(██████, █████).
█████(██████, ██████).
██████(███, ██████).
██████(███████, █████).
██████(███████, ██████).
In einem ██████-███████████ ██████ ███ ██████████ ████████ an die ██████████ ████████ werden. Das █████████ eines ██████-█████████ ████████ █████ das ███████ einer ███████.
Das ██████ █████████ entweder mit `███.`/`████.` oder `██.`/`█████.`, ████████ davon, ob die ███████ ████████ werden ██████.
Der ███████████ ████████████ mit der ███████████████████ `?-`, dass er eine ███████ ████████:
?- ████(██████).
███.
?- ████(████████).
██.
Eine ███████ mit einer █████████ ███████ als ███████ ██████████ ██████████, mit denen die ███████ ████ wird. ███ █████ eine ██████ █████████████████ ███████████ und ████, die ████████ wird mit ██████ ████ ██████████. █████████ sind in ██████ █████, die mit einem ██████████████ ████████:
?- ████(X).
X=███
X=███████
X=██████
██ ist die ███████ auf die um die ██████ ████████████ █████████ ██████████ ███████████.
Der ███████████ ███████ ███ ████████ █████████ auf ████████, die ████████ █████████ oder █████████ sind (██████ █████ ██████████). So ██████ etwa ████ ████████ █████████ █████████████ in der ██████████:
?- ████(████████).
██.
?- ████(████████).
██.
██████████ zu ██████ ██████ sich in ██████ ██████ ███████████.
Der █████████████ `:-` ist dabei wie ein ███████████ █████████████████ zu █████. ████████:
% ██████ ████ mit █████
██████████(X, Y) :-
█████(X, Z),
█████(Z, Y).
Die █████ ██████: X ist █████████ von Y, ████ es ein Z ████, ██████ X █████ von Z ist und Z █████ von Y. Damit ist der █████████ ████████████████ █████████.
Eine ██████ █████ ███ den █████████ █████████████████ █████ so aus: