Tài liệu về " ứng dụng lập trình logic rolog " 2 kết quả

... p trình Lôgích Prolog Prolog ngôn ng l p trình lôgich (Prolog = PROgramming in LOGic) GS A Colmerauer đ a l n đ u tiên n m 1972 t i tr ng i h c Marseille, n c Pháp n n m 1980, Prolog nhanh chóng... Horn, lôgich v t b c m t (first order predicate logic) , v.v Prolog r t thích h p đ gi i quy t nh ng toán liên quan đ n đ i t ng m i quan h gi a chúng Prolog đ c ng d ng ch y u l nh v c trí tu nhân....