Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
次のコードは何をしますか?
not(P) :- P, !, fail. not(P).
そして、それは次の2つのコードとどのように異なるのですか?
not(P) :- P, !, fail. not(P) :- P, !.