Titlebook: Logic Programming with Prolog; Max Bramer Textbook 2013Latest edition Springer-Verlag London 2013 Applications of Prolog.Declarative Progr

Root494

常到

Loops,This chapter describes how a set of goals can be evaluated repeatedly in Prolog, either a fixed number of times or until a specified condition is met, and how multiple solutions can be arrived at using the technique of ’backtracking with failure’..After reading this chapter you should be able to:

莊嚴(yán)

Preventing Backtracking,This chapter describes how the ‘cut’ predicate can be used to prevent undesirable backtracking and how ‘cut’ can be used in conjunction with the ‘fail’ predicate to specify exceptions to general rules..After reading this chapter you should be able to:

艦旗

integral

String Processing,This chapter describes the principal techniques of string processing in Prolog, based on converting from atoms to lists and vice versa. The techniques are illustrated with examples of user-defined predicates to meet common string processing requirements..After reading this chapter you should be able to: