Prolog

Prolog （ Programming in Logic的縮寫 ） 是一種邏輯編程語言 。 它建立在邏輯學的理論基礎之上 ， 最初被運用於自然語言等研究領域 。