This website requires JavaScript.
bd222ed2bf
Added a test for mod in CLP(Z)
notoria
2021-03-10 21:19:47 +01:00
ceac824e2b
Merge pull request #862 from notoria/xor
Mark Thom
2021-03-09 12:33:06 -07:00
93b835ae0d
Use functional notation in CLP(Z) for compatibility
notoria
2021-03-07 20:59:25 +01:00
aa2d57cf37
Implemented a propagator for xor in CLP(Z)
notoria
2021-03-07 18:46:47 +01:00
f6d4821a68
Small improvement for mod in CLP(Z)
notoria
2021-03-07 18:38:04 +01:00
fa025bcf39
Merge pull request #858 from triska/master
Mark Thom
2021-03-05 12:57:20 -07:00
842176a595
is is --> is
Markus Triska
2021-03-05 18:36:00 +01:00
0fb74b56b3
FIXED: CLP(B): weighted_maximum/3 with repeated variables
Markus Triska
2021-03-05 18:35:19 +01:00
87abcd6a52
adapt comment to Scryer Prolog
Markus Triska
2021-03-05 18:16:38 +01:00
0a71e40030
qualify '$print_project_attributes_exception' call (#857 )
Mark Thom
2021-03-05 01:14:51 -07:00
1b9db035ba
call project_attributes from top-level (#846 )
Mark Thom
2021-03-04 16:05:01 -07:00
34c3035c2b
Merge pull request #856 from triska/master
Mark Thom
2021-03-04 13:53:25 -07:00
d92951ba5b
ENHANCED: more readable indentation of nested disjunctions
Markus Triska
2021-03-04 21:38:39 +01:00
c5749cbbb1
remove unnecessary argument
Markus Triska
2021-03-04 21:33:29 +01:00
a2e5bcc137
Merge pull request #854 from triska/master
Mark Thom
2021-03-03 16:11:03 -07:00
761d707b69
use the new portray_clause/1 output for generated definitions
Markus Triska
2021-03-03 22:17:54 +01:00
d327a05e12
separate side-effects from declarative description to facilitate test cases etc.
Markus Triska
2021-03-03 22:13:01 +01:00
6477d21e24
ENHANCED: more readable indentation of nested ( If -> Then ; Else ) constructs
Markus Triska
2021-03-03 22:04:28 +01:00
d3612e956e
catch exceptions thrown from initialization goals (#852 )
Mark Thom
2021-03-03 13:56:13 -07:00
5a3ee3a46e
has_tail must be false for use as a filename from open/{3,4}
Mark Thom
2021-03-03 12:16:47 -07:00
23cb743ce2
Merge pull request #851 from Skgland/fix_num_test2
Mark Thom
2021-03-02 23:36:59 -07:00
40e5a2dc35
workaround to make num tests work
Skgland
2021-03-03 01:16:13 +01:00
73eb4079ef
Merge pull request #849 from triska/master
Mark Thom
2021-03-02 11:59:22 -07:00
5b60c8aa7e
remove min_/3 and max_/3 which are also defined elsewhere
Markus Triska
2021-03-02 19:59:57 +01:00
8c5a688566
remove group_pairs_by_key/2, which is now provided by library(pairs)
Markus Triska
2021-03-02 19:58:20 +01:00
7ea9706c94
warn when overwriting a predicate (#848 )
Mark Thom
2021-03-02 11:43:47 -07:00
5976e2d873
do not check for non-unifiability in dif:attribute_goals, which is sure to succeed, resulting in no goals being printed at top-level (#844 )
Mark Thom
2021-03-02 09:50:25 -07:00
d32d452583
Merge pull request #845 from triska/master
Mark Thom
2021-03-01 11:45:53 -07:00
b77bdabca6
explain the new occurs_check flag
Markus Triska
2021-03-01 19:42:16 +01:00
e8971e0d8b
use atom_chars to convert .scryerrc path string to atom
Mark Thom
2021-02-28 23:26:22 -07:00
498c4660d0
use plain ! while interpreting control functors in metacalls (#724 )
Mark Thom
2021-02-28 19:12:35 -07:00
54c142fc0d
apply expand_module_names to call(A) goals
Mark Thom
2021-02-28 19:01:36 -07:00
6079402dc4
suppress tabled/2 existence errors in tabling library, do not print evaluation errors generated by term and goal expansion in loader.pl
Mark Thom
2021-02-28 18:56:24 -07:00
3d4a7f97e1
Merge pull request #843 from mthom/rebis-dev
Mark Thom
2021-02-28 18:29:35 -07:00
d6e04beb95
check that Module is an atom before calling Module:goal_expansion/2
Mark Thom
2021-02-28 18:28:12 -07:00
9a225e6244
wrap variable goals in module-expanded call/1
Mark Thom
2021-02-28 18:15:33 -07:00
a03f00628b
do not print error messages if .scryerrc[.pl] does not exist (#842 )
Mark Thom
2021-02-28 17:57:35 -07:00
360485d830
print errors arising from term and goal expansion calls from loader.pl
Mark Thom
2021-02-28 16:19:37 -07:00
3f1cfd2995
introduce bind_fn, use in applicable Fact/Query instructions (#841 )
Mark Thom
2021-02-28 16:19:06 -07:00
08e2b601f1
pop non-composite terms from iter stack in is_cyclic_term
Mark Thom
2021-02-28 12:28:19 -07:00
101ed9a633
add error value to occurs_check prolog flag (#783 )
Mark Thom
2021-02-28 11:44:07 -07:00
81ecd17b93
Merge pull request #838 from Skgland/librarify
Mark Thom
2021-02-28 11:39:24 -07:00
5a78f02dcb
revert removal of PartialEq
Skgland
2021-02-26 19:58:55 +01:00
0a08464d4f
move the signal handler to the binary
Skgland
2021-02-26 17:24:31 +01:00
a638d42d92
remove #[allow(dead_code)]
Skgland
2021-02-26 17:19:38 +01:00
90256ea2f5
fix CI lib build with beta compiler
Skgland
2021-02-26 01:03:05 +01:00
90aefd35f0
adjust ci
Skgland
2021-02-25 23:42:41 +01:00
2f428b7261
split into lib and bin
Skgland
2021-02-25 23:24:20 +01:00
f935060b2b
restore .scryerrc loading
Mark Thom
2021-02-28 11:03:55 -07:00
a367812348
add occurs_check flag (#309 )
Mark Thom
2021-02-28 10:41:32 -07:00
8e6a89b279
enable op declarations with lists of operands using term expansion (#839 )
Mark Thom
2021-02-28 09:15:03 -07:00
0747697d10
add lines read from devour_whitespace (#836 )
Mark Thom
2021-02-28 02:09:53 -07:00
8c7494885f
set compilation_target of assert loader to match that of predicate qualifier
Mark Thom
2021-02-28 00:27:50 -07:00
590a0b8077
update the parser with the number of lines already read by the underlying stream (#836 )
Mark Thom
2021-02-27 23:56:58 -07:00
064d261357
implement logical update semantics for dynamic database predicates
Mark Thom
2021-02-27 22:51:32 -07:00
adb96710bf
Merge pull request #837 from triska/rebis-dev
Mark Thom
2021-02-25 15:17:16 -07:00
dd64268bc7
add entry for library(lambda)
Markus Triska
2021-02-25 22:40:31 +01:00
aecbd0eda3
omit internal residual goals for global_cardinality/2
Markus Triska
2021-02-25 21:45:06 +01:00
2c1b7e3b14
remove unused attribute_goal/2
Markus Triska
2021-02-18 20:33:27 +01:00
3eb6357892
Merge pull request #835 from triska/lambda
Mark Thom
2021-02-25 14:26:41 -07:00
e0c98a5c79
adapt libraries and toplevel output to Scryer Prolog
Markus Triska
2021-02-25 22:06:09 +01:00
dfb60ec2ed
use individual meta_predicate/1 declarations
Markus Triska
2021-02-25 22:02:51 +01:00
b85e260b92
ADDED: library(lambda) by Ulrich Neumerkel.
Markus Triska
2021-02-25 22:00:44 +01:00
4d72845c58
add copy_term_nat/2 (#795 )
Mark Thom
2021-02-22 22:39:34 -07:00
9067f76bd6
no longer delay verify_attributes for cut instructions (#807 )
Mark Thom
2021-02-22 18:33:35 -07:00
6c447da730
no longer generate a choice point in bb_b_put/2 (#742 )
Mark Thom
2021-02-22 18:27:30 -07:00
1a9f6f06df
consume whitespace before reading a term in loader.pl, modify prolog_load_context at file key to better reflect loading context, use it when reporting singleton variables (#812 )
Mark Thom
2021-02-22 13:23:22 -07:00
5f8bdc564b
extend existing local predicate skeletons in LoadState::compile
Mark Thom
2021-02-22 02:00:25 -07:00
f6498f2a7b
anonymize singleton variables in iso_ext.pl, charsio.pl
Mark Thom
2021-02-21 19:19:43 -07:00
0ef5f7f9b1
issue singleton variable warnings from loader.pl (#812 )
Mark Thom
2021-02-21 19:18:06 -07:00
a323a4dd8e
wrap stream instances in one Rc<RefCell<..>>, use Ref/RefMut to access stream options
Mark Thom
2021-02-21 16:28:30 -07:00
d5581ffd05
Merge pull request #834 from aarroyoc/rebis-http
Mark Thom
2021-02-21 13:32:09 -07:00
77968ab33a
Fix typo
Adrián Arroyo Calle
2021-02-21 21:08:03 +01:00
265a5955d7
Use notoria's comment
Adrián Arroyo Calle
2021-02-21 20:22:08 +01:00
465ab2fa34
Merge pull request #830 from aarroyoc/rebis-http
Mark Thom
2021-02-21 12:10:09 -07:00
d60bfef924
tweak bimetatrans_tests.pl
Mark Thom
2021-02-21 12:08:36 -07:00
5225587ff5
add set_prolog_flag to declarations recognized by loader.pl
Mark Thom
2021-02-21 12:08:14 -07:00
fec790e108
correct comment before call meta_predicate declarations
Mark Thom
2021-02-20 19:10:34 -07:00
eb5ea28bcd
add 'e' as evaluable functor for Euler's constant (#832 )
Mark Thom
2021-02-20 18:31:47 -07:00
a9fe2ab5c4
use env::current_dir in Machine::current_dir (#833 )
Mark Thom
2021-02-20 18:25:34 -07:00
f2db0886dd
move to a local num-rug-adapter crate addressing #822
Mark Thom
2021-02-19 17:34:26 -07:00
f6926a9642
remove nl after top-level use_module (#818 )
Mark Thom
2021-02-19 14:36:30 -07:00
d3442bb08f
qualify command-line specified goals with user: (#820 )
Mark Thom
2021-02-19 14:12:34 -07:00
a08f5c3016
treat LocalCodePtr::Halt received at lookup_local_instr as an interrupt (#823 )
Mark Thom
2021-02-19 13:44:22 -07:00
eff892ccb8
add qualified imports use_module library modules
Mark Thom
2021-02-18 17:58:05 -07:00
b565eaaf5a
Fix HTTP server to work on Rebis branch. Breaking change
Adrián Arroyo Calle
2021-02-19 00:13:00 +01:00
3831a371a4
Merge pull request #829 from aarroyoc/uuidv4
Mark Thom
2021-02-18 14:29:06 -07:00
77ec8ebfc3
UUIDv4 generation
Adrián Arroyo Calle
2021-02-18 22:16:24 +01:00
c272e4d1e8
use add_dynamically_generated_module in get_or_insert_local_code_index
Mark Thom
2021-02-18 14:15:28 -07:00
d69b7f41f2
add '$remove_module_exports' to loader.rs
Mark Thom
2021-02-18 14:07:57 -07:00
c8a47d839a
Merge pull request #828 from triska/rebis-dev
Mark Thom
2021-02-18 12:21:21 -07:00
b3db8913c6
enable meta_predicate/1 declarations
Markus Triska
2021-02-18 20:19:23 +01:00
e8f8f34a76
Merge pull request #827 from triska/rebis-dev
Mark Thom
2021-02-18 12:15:12 -07:00
5bec2c87cb
add appropriate meta_predicate/1 declarations
Markus Triska
2021-02-18 20:12:15 +01:00
d4d283480f
Merge pull request #826 from triska/rebis-dev
Mark Thom
2021-02-18 11:17:00 -07:00
71a524662d
add appropriate meta_predicate/1 declarations
Markus Triska
2021-02-18 19:16:11 +01:00
172aef7e26
Merge pull request #825 from tniessen/readme-typo-fix
Mark Thom
2021-02-18 11:15:50 -07:00
395b5faa2d
instantianted -> instantiated
Tobias Nießen
2021-02-18 16:53:10 +01:00
f4a765c5ed
Fix typo in README
Tobias Nießen
2021-02-18 15:41:18 +01:00
f5ad845d57
try to canonicalize to absolute path in current_dir(), use it in setting LoadContext directories (#821 )
Mark Thom
2021-02-17 18:49:51 -07:00
notoria