Can I read Prolog Manuel on EtoBox?

Prolog Manuel by bmakacademy2.0 is a document available to read on EtoBox.

What is Prolog Manuel about?

The document outlines various predicates in Prolog for verifying the type of terms, comparison, and unification of terms, including special cases like cyclic terms and rational numbers. It details the standard order of terms, arithmetic operations, and conversions between strings, atoms, and numbers. Additionally, it explains the handling of different numeric types and the implications of using rational arithmetic in Prolog.

Author

bmakacademy2.0

Language

EN