News: Primary git repository moved to GitHubSearch Documentation:

- Home
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Intermediate▶
- Advanced▶
- Try SWI-Prolog online

- COMMUNITY
- USERS
- WIKI

A = B * C | B or C is ground | A = 5 * C or A = B * 4 |

A and (B or C) are ground | 20 = 5 * C or 20 = B * 4 | |

A = B / C | C is ground | A = B / 3 |

A and B are ground | 4 = 12 / C | |

X = min(Y,Z) | Y and Z are ground | X = min(4,3) |

X = max(Y,Z) | Y and Z are ground | X = max(4,3) |

X = abs(Y) | Y is ground | X = abs(-7) |

X = pow(Y,Z) | X and Y are ground | 8 = 2 `^` Z |

X = exp(Y,Z) | X and Z are ground | 8 =
Y `^` 3 |

X = Y `^` Z | Y and Z are ground | X = 2 `^` 3 |

X = sin(Y) | X is ground | 1 = sin(Y) |

X = cos(Y) | Y is ground | X = sin(1.5707) |

X = tan(Y) |

Tag confusing pages with **doc-needs-help**|Tags are associated to your profile if you are logged in

Tags: