A brief introduction to Prolog

@inproceedings{Pereira1993ABI,
  title={A brief introduction to Prolog},
  author={Fernando Pereira},
  booktitle={HOPL-II},
  year={1993}
}
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