append([], L, L).
append([H|T], L2, [H|L3]) :- append(T, L2, L3).
?- appendx([1,2],[3,4],X).
X = [1, 2, 3, 4].
?- appendx([1,2],X,[1,2,3,4]).
X = [3, 4].
?- appendx(X,[3,4],[1,2,3,4]).
X = [1, 2].Prolog (short for "Programming Logic") is a declarative and logic based programming language developed in 1972 by Alain Colmerauer and Philippe Roussel. It has many applications, most notably in Artificial Intelligence for its pattern matching abilities over natural language parse trees.
Prolog is written in "facts" and "rules" that define logical formulas, similar to functional programs. Learning Prolog is a great way to improve skills with recursion, predicate logic, and constraint logic programming.
Join the Prolog track
Exercism is fantastic in learning new languages but that is not the extent of it. If you are a "more experienced" programmer you may have encountered impostor syndrome: the idea you don't really know what you think you know. Exercism lets you solve problems and put them in the space of open feedback which is a tremendous learning opportunity to explore the depth of your own knowledge. Even if you have been programming in a language for awhile it is worth checking into Exercism to see where you stand with current implementation practices.
Once you join the Prolog language track, you will receive support and feedback from our team of mentors. Here are the bios of a few of the mentors of this track.
These are a few of the 18 exercises on the Prolog track. You can see all the exercises here.
The Prolog Maintainers are the brains behind the Prolog Track. They spend their spare time creating interesting and challenging exercises that we can all learn from. We are incredibly grateful for their hard work. Here are the bios of a few of the maintainers of this track.