Cześć,
Mam problem otóż nie wiem jak się zabrać aby napisać predykat, który konwertuje mi klauzule do list:
Mam taki operator: :- op(500, xfy, v). i teraz chciałbym napisać coś takiego:
convert(+X,-Y). który ma działać tak:
?- conver(p v q v r, Y)
Y = [p,q,r]
Proszę o wskazówki.