Расщепления на основе условных атомов в прологе

Question

У меня есть список

X = [-n,-b,-s,hello,world] 

Выход я требую

Z1 = [-n,-b,-s] 
Z2 = [hello,world] 

Если строка начинается с - она ​​должна быть частью списка Z1, еще части Z2.

Может ли кто-нибудь предоставить мне некоторую базовую интуицию, чтобы реализовать это ?.

Answer 1

с библиотекой (применяются) и библиотеки (YALL) это немедленно:

 
?- partition ([E]>>(E = - _), [-n,-b,-s,hello,world], N, P). 
N = [-n, -b, -s], 
P = [hello, world]. 

реализовать в старой, простой Прологе посетить список и «против» элемента в желательном списке:

divide_dashed([], [], []). 
divide_dashed([-E|R], [-E|Ds], Ps) :- !, divide_dashed(R, Ds, Ps). 
divide_dashed([E|R], Ds, [E|Ps]) :- divide_dashed(R, Ds, Ps).