Paulo Moura
|
4fd33b015e
|
Fix subsumes_term/2 predicate to use unify_with_occurs_check/2 instead of (=)/2
|
2021-05-12 20:02:09 +01:00 |
|
Paulo Moura
|
d2fcdb3b6c
|
Fix abolish/1 predicate throw of instantiation_error
|
2021-05-12 19:39:20 +01:00 |
|
Paulo Moura
|
c2fe0876c2
|
Fix set_stream_position/2 predicate missing argument in exception term
|
2021-05-12 19:32:24 +01:00 |
|
Paulo Moura
|
f7eda362c7
|
Add max_arity Prolog flag
|
2021-05-12 00:34:47 +01:00 |
|
Paulo Moura
|
42d9b57733
|
Fix querying bounded and integer_rounding_function flag values
|
2021-05-11 12:08:11 +01:00 |
|
Paulo Moura
|
8acbdfbf1d
|
Fix char_code/2 predicate wrong error term when the first argument is bound but is not an atom
|
2021-05-10 21:27:04 +01:00 |
|
Mark Thom
|
5eac945bc0
|
Merge pull request #937 from pmoura/fix_open_predicate_error_term_on_bound_stream_argument
Fix open/3-4 predicates error term when the stream argument is bound
|
2021-05-10 11:10:12 -06:00 |
|
Mark Thom
|
2736b4198a
|
Merge pull request #936 from pmoura/fix_throw_1_control_construct_with_var_argument
Fix throw/1 control construct to throw an instantiation error when the argument is not bound
|
2021-05-10 11:09:59 -06:00 |
|
Mark Thom
|
94923175a8
|
Merge pull request #940 from pmoura/fix_power_infix_operator_type_as_per_standard
Fix (**)/2 operator type
|
2021-05-10 11:09:23 -06:00 |
|
Mark Thom
|
f1c629e7bf
|
Merge pull request #944 from triska/master
FIXED: module qualification for between/3 in goal expansion (#941)
|
2021-05-10 11:09:09 -06:00 |
|
Mark Thom
|
5d0c60bd24
|
Merge pull request #945 from pmoura/fix_char_code_error_checking
Fix char_code/2 predicate failure instead of exception on non-integer second argument
|
2021-05-10 11:08:58 -06:00 |
|
Paulo Moura
|
63db194140
|
Fix char_code/2 predicate failure instead of exception on non-integer second argument
|
2021-05-10 00:37:09 +01:00 |
|
Markus Triska
|
38db8d4e1a
|
FIXED: module qualification for between/3 in goal expansion (#941)
Many thanks to @dcnorris for reporting this issue!
|
2021-05-09 23:54:37 +02:00 |
|
Paulo Moura
|
c2e8cbb846
|
Fix op/3 predicate operator_priority domain error
|
2021-05-09 22:25:37 +01:00 |
|
Paulo Moura
|
3c567b895f
|
Fix (**)/2 operator type
|
2021-05-09 21:02:44 +01:00 |
|
Paulo Moura
|
73c09e3365
|
Fix open/3-4 predicates error term when the stream argument is bound
|
2021-05-09 19:21:21 +01:00 |
|
Paulo Moura
|
07dd2b279e
|
Fix throw/1 control construct to throw an instantiation error when the argument is not bound
|
2021-05-09 12:42:51 +01:00 |
|
Mark Thom
|
9b483d381f
|
Merge pull request #928 from panasenco/permutation
Ported permutation/2 from SWI library(lists)
|
2021-05-08 15:09:01 -06:00 |
|
panasenco
|
1e5041b8b0
|
Moved MIT header to top of lists.pl
|
2021-05-08 13:32:30 -07:00 |
|
Paulo Moura
|
d8c0af7ded
|
Fix abolish/1 to succeed on non-existing predicates as per standard
|
2021-05-08 11:13:08 +01:00 |
|
panasenco
|
8724a6b6e2
|
Ported permutation/2 from SWI library(lists)
|
2021-05-07 00:29:48 -07:00 |
|
Mark Thom
|
d9e42bfcba
|
fix incremental compilation and multifile bugs
|
2021-05-03 16:59:12 -06:00 |
|
Mark Thom
|
b21a096516
|
add read/2 and nl/1 (#896)
|
2021-05-01 16:12:00 -06:00 |
|
Mark Thom
|
d8bd4fbea6
|
fail when retracting undefined dynamic predicates (#918)
|
2021-04-30 20:36:56 -06:00 |
|
panasenco
|
baed12f45e
|
Oops, we want to keep digits as characters in library(abnf), but as numbers in library(json).
|
2021-04-28 23:05:02 -07:00 |
|
panasenco
|
dfbf291725
|
Restructuring and improving documentation.
|
2021-04-28 22:22:20 -07:00 |
|
panasenco
|
cb07074246
|
Replaced object() with pairs() in library(json), and made key type explicit.
|
2021-04-28 16:09:38 -07:00 |
|
panasenco
|
0198fe90b6
|
Added ABNF grammar to library(charsio) as well as octet character type that it depends on. Modified library(json) to use the new ABNF grammar.
|
2021-04-27 22:48:03 -07:00 |
|
Mark Thom
|
7e4cfede7d
|
fix use of local skeletons to reload predicates (#919)
|
2021-04-27 02:01:00 -06:00 |
|
panasenco
|
02b89362b2
|
Replaced raw_chars//1 in library(pio) with seq//1 in library(dcgs).
|
2021-04-25 14:53:37 -07:00 |
|
panasenco
|
e0e812f95c
|
Added
aw_chars//1 to library(pio). Began using setup_call_cleanup/3 as suggested by @triska.
|
2021-04-24 21:29:50 -07:00 |
|
panasenco
|
2cbc7e4f9a
|
Another thorough rewrite of library(json) to better preserve the complete set of answers as much as possible and thereby write more elegant and simple code. Some performance gains too!
|
2021-04-23 10:30:38 -07:00 |
|
panasenco
|
828550687c
|
Rewrote many parts of library(json) to leave no choicepoints when generating JSON. However, the generating performance actually worsened slightly...
|
2021-04-22 15:21:27 -07:00 |
|
panasenco
|
d3caba4073
|
Now preserving distinction between ints and floats
|
2021-04-20 19:59:01 -07:00 |
|
panasenco
|
c87e3eac08
|
Removed CLP(Z) from library(json), achieving a 100x speedup in JSON parsing.
|
2021-04-20 17:30:41 -07:00 |
|
panasenco
|
5b1b12ec9e
|
Fixed forward slash special case issue, added a bunch of test files that were successfully read!
|
2021-04-20 17:30:41 -07:00 |
|
panasenco
|
c0c6f13d44
|
Fixed defaulty representations of json_members//1 and json_elements//1
|
2021-04-20 17:30:41 -07:00 |
|
panasenco
|
20f192daa1
|
Changed formatting to match Markus Triska's as much as I can tell
|
2021-04-20 17:30:41 -07:00 |
|
panasenco
|
0e73b53803
|
Complete reordering and partial rewrite to match the official McKeeman form of the JSON specification
|
2021-04-20 17:30:41 -07:00 |
|
panasenco
|
e2923c378e
|
Added objects and type distinction based on the principal functor
|
2021-04-20 17:30:41 -07:00 |
|
panasenco
|
216d4da85a
|
Parsing and generating JSON numbers works perfectly now as far as I can tell
|
2021-04-20 17:30:24 -07:00 |
|
panasenco
|
407e775282
|
Began working on json library (fresh start after thinking about instantiation in terms of search strategies)
|
2021-04-20 17:29:36 -07:00 |
|
Mark Thom
|
a9ef15cdfa
|
Merge pull request #900 from triska/master
remove rectractall/1 (built-in since 8188e3d0cf).
|
2021-04-14 15:28:59 -06:00 |
|
Mark Thom
|
b08442b46f
|
assertz/1, asserta/1, retract/1, retractall/1 are meta-predicates (#902, #903)
|
2021-04-14 15:28:16 -06:00 |
|
Markus Triska
|
f56e2fc48e
|
remove rectractall/1 (built-in since 8188e3d0cf).
This resolves #899.
|
2021-04-14 20:18:50 +02:00 |
|
Mark Thom
|
8188e3d0cf
|
add missing standard predicates (#896)
|
2021-04-12 17:26:11 -06:00 |
|
Mark Thom
|
10e92eec32
|
call '$erase_ball' before running cleanup code in setup_call_cleanup (#886)
|
2021-03-24 16:56:53 -06:00 |
|
Mark Thom
|
37f2336eee
|
stop unifying ! to free variables in control_functor/1 (#887)
|
2021-03-24 15:05:59 -06:00 |
|
Mark Thom
|
fffb87d013
|
flush loader term queue before compiling declarations, declare '/1' as dynamic before asserting
|
2021-03-22 16:53:23 -06:00 |
|
Mark Thom
|
1b9015a049
|
copies only those attributes planted by the calling module
|
2021-03-21 13:00:29 -06:00 |
|