Hi! I know Prolog really well and would like to work on this project. If you want to, you can send me additional details over chat and I will respond as soon as possible. If I understand your project description correctly, you need a Prolog predicate, let's name it p, p(X, PFL), such that X is a natural number and PFL is the list of its prime factors. What if prime factors repeat? For example, 12=2*2*3. Is PFL of 12 equal to [2, 2, 3], [2, 3] or [[2, 2], 3]? Does the rule have to work in reverse, i.e. to be able to conclude that in p(X, [2, 2, 3]), X is 12?
Best regards,
Milos