YAP 7.1.0
Arithmetic Comparison Predicates
YAP Core Built-ins » Arithmetic in YAP

Detailed Description

Comparison of Numeric Expressions Both arguments must be valid ground expressions at time of call

Class Documentation

◆ =:=/2

class =:=/2