Visual Prolog語(yǔ)言手冊(cè) 本文檔描述可視化Prolog編程語(yǔ)言的語(yǔ)法和語(yǔ)義。 Visual Prolog是一種基于邏輯的強(qiáng)類型面向?qū)ο缶幊陶Z(yǔ)言。 編程語(yǔ)言Prolog。