A brief introduction to Prolog

  title={A brief introduction to Prolog},
  author={Fernando Pereira},
Because of its origins in logic and formal grammars, Prolog has a very simple abstract syntax which has been given a variety of different concrete realizations over the years. In this description, I will use the concrete syntax in the current draft IS0 standard for Prolog, and show the correspondence of that syntax to the original Marseille syntax described… CONTINUE READING