Editing Prolog (section)

== Design patterns of Prolog ==
A [[design pattern (computer science)|design pattern]] is a general reusable solution to a commonly occurring problem in [[software design]]. Some design patterns in Prolog are skeletons, techniques,<ref>
{{cite journal
 |last1=Kirschenbaum |first1=M.
 |last2=Sterling |first2=L.S.
 |year=1993
 |series=Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
 |title=Applying Techniques to Skeletons - Patterns for Prolog Programming
 |journal=Constructing Logic Programs, (Ed. J.M.J. Jacquet)
 |pages=27–140
 |citeseerx =10.1.1.56.7278}}</ref><ref>{{cite book
 |title=Computational Logic: Logic Programming and Beyond
 |first=Leon
 |last=Sterling
 |year=2002
 |volume=2407
 |pages=17–26
 |doi=10.1007/3-540-45628-7_15
 |isbn=978-3-540-43959-2
}}</ref> cliches,<ref>D. Barker-Plummer. Cliche programming in Prolog. In M. Bruynooghe, editor, Proc. Second Workshop on Meta-Programming in Logic, pages 247--256. Dept. of Comp. Sci., Katholieke Univ. Leuven, 1990.</ref> program schemata,<ref name=Gegg-harrison1995>
{{cite conference
 |last=Gegg-harrison |first=T. S.
 |year=1995
 |title=Representing Logic Program Schemata in Prolog
 |conference=Procs Twelfth International Conference on Logic Programming
 |pages=467–481
}}</ref> logic description schemata,<ref name=Deville1990>
{{cite book
 |last=Deville |first=Yves
 |year=1990
 |title=Logic programming: systematic program development
 |publisher=Addison-Wesley
 |location=Wokingham, England
 |isbn=978-0-201-17576-9
}}</ref> and [[higher-order programming]].<ref name=Naish1996>
{{cite report
 |last=Naish |first=Lee
 |year=1996
 |title=Higher-order logic programming in Prolog
 |publisher=Department of Computer Science, [[University of Melbourne]]
 |citeseerx=10.1.1.35.4505
}}</ref>