prolog - 在序言中从原子中分割整数

Question

我想从原子中分离出一个整数。我有什么想法可以做到这一点吗？

示例查询:

?- split_int('nc(4)', N).      % given:    the atom 'nc(4)'
N = 4.                         % expected: the integer  4

Answer 1

在 SWI Prolog 中，您应该能够说类似的话

?- term_to_atom( nc(N) , 'nc(4)' ).
N = 4.

并得到你想要的。在 Sicstus 中，您似乎需要使用 library(codesio) 。这应该让你说这样的话:

atom_to_term( A , T ) :-
  atom_codes( A , Cs ) ,
  read_from_codes( Cs , T )
  .

尽管您必须确保您的原子以句点/句号终止。 'nc(4)' 不起作用，但 'nc(4).' 起作用。