Root494
发表于 2025-3-30 10:33:44
http://reply.papertrans.cn/59/5880/587923/587923_51.png
常到
发表于 2025-3-30 14:53:59
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:
庄严
发表于 2025-3-30 19:24:58
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:
舰旗
发表于 2025-3-31 00:07:04
http://reply.papertrans.cn/59/5880/587923/587923_54.png
integral
发表于 2025-3-31 01:01:50
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: