奇数倍

Question

我需要有人可以帮助如何在序言

Define a predicate oddMultOf3/1 that determines whether an integer is an odd multiple of 3. A user should be able to enter the predicate with an integer, e.g. oddMultOf3(42) and evaluate to either true or false. If the given parameter is not an integer, your predicate should display the message “ERROR: The given parameter is not an integer”.

做3奇数倍，他们要求我做这

oddMultOf3(171). 
true. 
oddMultOf3(100). 
false. 
oddMultOf3(12). 
false. 
oddMultOf3(4.2). 
ERROR: The given parameter is not an integer 
oddMultOf3(-9). 
true. 

，但我不断收到错误，每次当我尝试。

这是我的代码

oddMultOf3(N) :- Y is N mod 3, Y=0.

Answer 1

据我所知3的奇数倍意味着N是一个整数，N/3是一个整数，N/3是奇（如连）。因此，这意味着，如果执行模6，它必须是3

居然有2箱子这里：

• N不是整数，在我们显示错误的话，也许我们应该也是fail。所以：

  oddMultOf3(N) :- 
      \+ integer(N), 
      !, 
      print("ERROR: The given parameter is not an integer"), 
      fail. 
  

• 否则，我们检查，如果N mod 6等于3：

  oddMultOf3(N) :- 
      3 is N mod 6. 
  

或者将其组合在一起：

oddMultOf3(N) :- 
    \+ integer(N), 
    !, 
    print("ERROR: The given parameter is not an integer"), 
    fail. 
oddMultOf3(N) :- 
    3 is N mod 6. 

然后我们在swi获得：

?- oddMultOf3(171). 
true. 

?- oddMultOf3(100). 
false. 

?- oddMultOf3(12). 
false. 

?- oddMultOf3(4.2). 
"ERROR: The given parameter is not an integer" 
false. 

?- oddMultOf3(-9). 
true.