clpb

    4

    2답변

    프롤로그에 다음 조건부를 구현하고이를 진리표 및/2 또는/2, nand에 사용하고자합니다./2,/2, xor/2 다른 사람이 나를 구현하고 여기에 게시 할 수 있도록 누군가가 나를 구현하고/2 예를 들어 보여줄 수 있습니다.

    2

    2답변

    는 지금까지 GNU에서 작동 not(X) :- \+ X. and(X, Y):- X , Y. or(X, Y):- X ; Y. implies(X, Y):- \+ X ; Y. p. q. :- initialization(main). main :- write('Program start'), nl. 당신은 입력 할 수 있으며 (P, Q)