flex Examples - LPIS

48 Flex Example Listings*/-------------------The water containers example lets you choose between having or nothaving a presentation of the explanations for the rules that werefired during the solution of the problem.The state of the containers is reported at each stage of the solution.To run the example enter the following goal at the command line:?- find_container_solution .Flex Technical Points---------------------The following flex technical points are demonstrated in this example:1. The use of dynamically updated scores in forward chaining rules.2. The linking of forward chaining rules into a network using groups.3. The use of rule explanations.% the following template allows the words spare capacity to be used in% place of the word sparetemplate sparespare capacity .% the initial contents and capacity of the two containers is set hereframe container ;default contents are 0 anddefault capacity is 7 anddefault spare capacity is its capacity minus its contents .instance master is a container .instance slave is a container ;capacity is 5 .template not_full^ is not full .template not_empty^ is not empty .template enough^ contains more than ^ ;^ does not contain more than ^ .relation X is not fullif X`s contents are below X`s capacity .relation X is not emptyif X`s contents are above 0 .relation X contains more than Zif X`s contents are above Z .A Guide to the Flex Expert System Toolkit