rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #2229 from aarroyoc/fix-backslash-docs

Browse Source 
Fix backslash docs
This commit is contained in:
Mark Thom
2023-12-17 20:20:41 -07:00
committed by GitHub
parent a66b93c96f 45abb4703d
commit e4f64581ec
2 changed files with 13 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
src/lib/clpb.pl
View File

@@ -189,18 +189,18 @@ A _Boolean expression_ is one of:
| `1` | true | | `1` | true |
| _variable_ | unknown truth value | | _variable_ | unknown truth value |
| _atom_ | universally quantified variable | | _atom_ | universally quantified variable |
| ~ _Expr_ | logical NOT | | `~` _Expr_ | logical NOT |
| _Expr_ + _Expr_ | logical OR | | _Expr_ `+` _Expr_ | logical OR |
| _Expr_ * _Expr_ | logical AND | | _Expr_ `*` _Expr_ | logical AND |
| _Expr_ # _Expr_ | exclusive OR | | _Expr_ `#` _Expr_ | exclusive OR |
| _Var_ ^ _Expr_ | existential quantification | | _Var_ `^` _Expr_ | existential quantification |
| _Expr_ =:= _Expr_ | equality | | _Expr_ `=:=` _Expr_ | equality |
| _Expr_ =\= _Expr_ | disequality (same as #) | | _Expr_ `=\=` _Expr_ | disequality (same as #) |
| _Expr_ =< _Expr_ | less or equal (implication) | | _Expr_ `=<` _Expr_ | less or equal (implication) |
| _Expr_ >= _Expr_ | greater or equal | | _Expr_ `>=` _Expr_ | greater or equal |
| _Expr_ < _Expr_ | less than | | _Expr_ `<` _Expr_ | less than |
| _Expr_ > _Expr_ | greater than | | _Expr_ `>` _Expr_ | greater than |
| card(Is,Exprs) | cardinality constraint (_see below_) | | `card(Is,Exprs)` | cardinality constraint (_see below_) |
| `+(Exprs)` | n-fold disjunction (_see below_) | | `+(Exprs)` | n-fold disjunction (_see below_) |
| `*(Exprs)` | n-fold conjunction (_see below_) | | `*(Exprs)` | n-fold conjunction (_see below_) |

2
src/lib/clpz.pl
View File

@@ -1735,7 +1735,7 @@ intervals_to_domain(Is, D) :-
% _Lower_ must be an integer or the atom *inf*, which % _Lower_ must be an integer or the atom *inf*, which
% denotes negative infinity. _Upper_ must be an integer or % denotes negative infinity. _Upper_ must be an integer or
% the atom *sup*, which denotes positive infinity. % the atom *sup*, which denotes positive infinity.
% * Domain1 \/ Domain2 % * Domain1 `\/` Domain2
% The union of Domain1 and Domain2. % The union of Domain1 and Domain2.
Var in Dom :- clpz_in(Var, Dom). Var in Dom :- clpz_in(Var, Dom).