Markus Triska
|
a8da2b6a99
|
ISO: remove nonstandard operator meta_predicate.
Use functional notation instead for declarations.
This addresses #2822.
|
2025-08-02 10:22:50 +02:00 |
|
Dan Rose
|
b767e4de25
|
xor is not a standard operator
|
2025-05-13 20:32:59 -05:00 |
|
Aleksy Grabowski
|
4b0f9558b3
|
Change wording for non_counted_backtracking comment
|
2024-09-07 08:24:46 +02:00 |
|
Aleksy Grabowski
|
c922ed8b0a
|
Explain non_counted_backtracking a little bit more
|
2024-09-07 08:14:37 +02:00 |
|
Paulo Moura
|
3c567b895f
|
Fix (**)/2 operator type
|
2021-05-09 21:02:44 +01:00 |
|
Mark Thom
|
fec790e108
|
correct comment before call meta_predicate declarations
|
2021-02-20 19:10:34 -07:00 |
|
Mark Thom
|
75a52f032b
|
perform goal expansion in call/N (#788, #797)
|
2021-02-04 20:40:48 -07:00 |
|
Mark Thom
|
75908ab88f
|
replace (:) with 0 in meta-predicate declarations, remove support for (:) in meta-predicate declarations
|
2021-01-31 18:00:10 -07:00 |
|
Mark Thom
|
a4d15bfb88
|
move to a predicate-based module system, move to loader.[rs|pl]-based compilation, add support for incremental clause compilation
|
2021-01-30 21:07:51 -07:00 |
|