Can I read Prolog Logic Programming and Arithmetic on EtoBox?

Prolog Logic Programming and Arithmetic by Aldrin Lozano is a document available to read on EtoBox.

What is Prolog Logic Programming and Arithmetic about?

This document discusses computation processes in Prolog, including: 1. Prolog uses ordered clauses and backtracking to make computation deterministic. 2. Clauses are tried in the order they appear, and backtracking occurs if a failure arises to try the next clause. 3. Backtracking restores the state to the last choice point so updates since then are undone. 4. The document also discusses arithmetic in Prolog, including operators, comparisons of ground arithmetic expressions, and using "is" to evaluat

Author

Aldrin Lozano

Language

EN