Hello, I am trying to find a solution for the following predicate: Predicate: line_predicate(I, List_Integers, List_Next_To) Where: - I is an Integer (>=1), - List_Integers is a List of Integers that does not include I, and are sorted - List_Next_To is a List that is obtained from List_Integer…

Have you tried using trace/0, gtrace/0 or failure slice ?

Thanks for your comment. Yes I tried. But I am learning Prolog and I am still struggling.

When using recursion the first things to get correct is the base cases, E.g empty list, then go after the recursive cases. You seem to have started this correctly but then something wrong happened. If you find yourself guessing at the changes more than know the changes use unit test to to make sur…

Thanks for your help. I solved it by using gtrace.

Then post what worked and explain why so others can learn from it.

Figure out through gtrace that List Trail unification to empty List was missing.

[image] jaycraig: line_predicate(I, [P,S | R], [H,J | T]) :- between(P, S, I), !, H = P, J = S, line_predicate(I, R, T). New Prolog programmers use =/2 in their code. However most production code will refactor the code to remove the use of =/2. line_predicate(I, [P,S | R], [P…

[image] jaycraig: Really helpful. Also look at Useful Prolog References

Trying to find a solution to a predicate conception

Help!

EricGT January 14, 2022, 3:56pm 10

Also look at Useful Prolog References

Topic		Replies	Views
Coding problem Help!	23	2061	September 12, 2020
Kindly Requesting Guidance and Direction Help!	9	335	May 4, 2023
Implementing a `range` predicate General clpfd	7	1409	March 6, 2022
Kindly asking for Directions and Guidance about Single Predicate and Single Rule to find 3 items in list in decreasing by 2 Help! how-to	2	380	May 6, 2023
Need Help UnderStanding the Code Predicate	6	708	June 7, 2021

Trying to find a solution to a predicate conception

Related topics