如何从另一个谓词调用谓词-Prolog

如何从另一个谓词调用谓词-Prolog,prolog,predicate,Prolog,Predicate,我有一个谓词: start:- write(‘Type your numbers:’), read(L1), call(oc([L1],N)). % Point 1 <===== 我该怎么做 当我在第1点并使用call时,L1变量上的值不起作用。 运行此代码时,我收到消息true。功能oc未运行。 如何调用oc函数并传递存储在L1中的值?欢迎使用StackOverflow。请阅读请不要在没有链接的情况下重复提问,这是不礼貌的。欢迎来到StackOverflow。请阅读请不

我有一个谓词:

start:-
  write(‘Type your numbers:’),
  read(L1),
  call(oc([L1],N)). % Point 1   <=====
我该怎么做

当我在第1点并使用
call
时,
L1
变量上的值不起作用。 运行此代码时,我收到消息
true
。功能
oc
未运行。
如何调用
oc
函数并传递存储在
L1
中的值?

欢迎使用StackOverflow。请阅读请不要在没有链接的情况下重复提问,这是不礼貌的。欢迎来到StackOverflow。请阅读请不要重复没有链接的问题,这是不礼貌的。
oc([],[]).
oc([H|T],[[H,X]|Y]):-
  count(H,[H|T],X), 
  deleteall(H,T,T1), 
  oc(T1,Y).