home *** CD-ROM | disk | FTP | other *** search
/ Power-Programmierung / CD1.mdf / magazine / aijournl / 1986_09 / aiapp3.ltg < prev    next >
Text File  |  1986-10-30  |  500b  |  20 lines
  1.  
  2. Listing 3
  3. Solve procedure using unification
  4.  
  5.  
  6.      PROCEDURE solve(query,env,level) ;
  7.       VAR
  8.        i : integer ;
  9.        new_env : same as query and env ;
  10.       BEGIN
  11.        IF query = NIL
  12.         THEN print_env(env)
  13.         ELSE
  14.          FOR i := 1 TO max_rule_no DO
  15.           IF unify(copy(head(rule[i]),level+1),head(query),env,new_env)
  16.            THEN solve(append(copy(tail(rule[i]),level+1),tail(query),
  17.                       new_env,level+1) ;
  18.       END ; (* solve *)
  19.  
  20.