Разработать предикат на Visual Prolog 5.2, реализующий: CART - Декартово произведение двух множеств. Распиши весь код и сделай вывод результата.

Для реализации предиката CART - Декартово произведение двух множеств в Visual Prolog 5.2, можно использовать следующий код:

domains
    elem = integer
    set = elem*
    cartesian = set*set

predicates
    cart(cartesian, cartesian)
    member(elem, set)
    cartesian_product(set, set, cartesian)

clauses
    cart(A, B) :-
        cartesian_product(A, B, C),
        write(C).

    member(X, [X | _]).
    member(X, [_ | T]) :- member(X, T).

    cartesian_product([], _, []).
    cartesian_product([H|T], B, Res) :-
        cartesian_product(T, B, Res1),
        cartesian_product_elem(H, B, Res2),
        append(Res2, Res1, Res).

    cartesian_product_elem(_, [], []).
    cartesian_product_elem(A, [H|T], [[A,H]|Res]) :-
        cartesian_product_elem(A, T, Res).

goal
    cart([1,2], [3,4]).

После выполнения данного кода, будет выведен результат декартова произведения двух множеств [1,3], [1,4], [2,3], [2,4].