Skgland
90256ea2f5
fix CI lib build with beta compiler
2021-02-28 19:21:31 +01:00
Skgland
2f428b7261
split into lib and bin
...
* makes most pub things in src/ pub(crate) as not to expose things accidentally
* only those things needed by src/bin/scryer-prolog.rs and tests/scryer.rs
should be pub
* split src/main.rs into src/lib.rs and src/bin/scryer-prolog.rs
* add tests folder and run most of the files in src/tests with cargo test
added bytes method to Stream in src/machine/streams.rs to check if stdout is as expected
2021-02-28 19:21:30 +01:00
Mark Thom
f935060b2b
restore .scryerrc loading
2021-02-28 11:03:55 -07:00
Mark Thom
a367812348
add occurs_check flag ( #309 )
2021-02-28 10:41:32 -07:00
Mark Thom
8e6a89b279
enable op declarations with lists of operands using term expansion ( #839 )
2021-02-28 09:15:03 -07:00
Mark Thom
0747697d10
add lines read from devour_whitespace ( #836 )
2021-02-28 02:09:53 -07:00
Mark Thom
8c7494885f
set compilation_target of assert loader to match that of predicate qualifier
2021-02-28 00:27:50 -07:00
Mark Thom
590a0b8077
update the parser with the number of lines already read by the underlying stream ( #836 )
2021-02-27 23:56:58 -07:00
Mark Thom
064d261357
implement logical update semantics for dynamic database predicates
2021-02-27 23:33:10 -07:00
Markus Triska
aecbd0eda3
omit internal residual goals for global_cardinality/2
2021-02-25 23:12:36 +01:00
Markus Triska
2c1b7e3b14
remove unused attribute_goal/2
2021-02-25 23:12:36 +01:00
Markus Triska
e0c98a5c79
adapt libraries and toplevel output to Scryer Prolog
2021-02-25 22:08:25 +01:00
Markus Triska
dfb60ec2ed
use individual meta_predicate/1 declarations
2021-02-25 22:08:25 +01:00
Markus Triska
b85e260b92
ADDED: library(lambda) by Ulrich Neumerkel.
...
Source: http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/lambda.pl
More information:
http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/ISO-Hiord
2021-02-25 22:08:00 +01:00
Mark Thom
4d72845c58
add copy_term_nat/2 ( #795 )
2021-02-22 22:39:34 -07:00
Mark Thom
9067f76bd6
no longer delay verify_attributes for cut instructions ( #807 )
2021-02-22 18:33:35 -07:00
Mark Thom
6c447da730
no longer generate a choice point in bb_b_put/2 ( #742 )
2021-02-22 18:27:30 -07:00
Mark Thom
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 )
2021-02-22 13:23:22 -07:00
Mark Thom
5f8bdc564b
extend existing local predicate skeletons in LoadState::compile
2021-02-22 02:00:25 -07:00
Mark Thom
f6498f2a7b
anonymize singleton variables in iso_ext.pl, charsio.pl
2021-02-21 19:20:42 -07:00
Mark Thom
0ef5f7f9b1
issue singleton variable warnings from loader.pl ( #812 )
2021-02-21 19:20:42 -07:00
Mark Thom
a323a4dd8e
wrap stream instances in one Rc<RefCell<..>>, use Ref/RefMut to access stream options
2021-02-21 19:20:42 -07:00
Mark Thom
d5581ffd05
Merge pull request #834 from aarroyoc/rebis-http
...
Fix HTTP server in rebis
2021-02-21 13:32:09 -07:00
Adrián Arroyo Calle
77968ab33a
Fix typo
2021-02-21 21:08:03 +01:00
Adrián Arroyo Calle
265a5955d7
Use notoria's comment
2021-02-21 20:22:08 +01:00
Mark Thom
465ab2fa34
Merge pull request #830 from aarroyoc/rebis-http
...
Fix HTTP server on Rebis. Breaking change
2021-02-21 12:10:09 -07:00
Mark Thom
d60bfef924
tweak bimetatrans_tests.pl
2021-02-21 12:08:36 -07:00
Mark Thom
5225587ff5
add set_prolog_flag to declarations recognized by loader.pl
2021-02-21 12:08:14 -07:00
Mark Thom
fec790e108
correct comment before call meta_predicate declarations
2021-02-20 19:10:34 -07:00
Mark Thom
eb5ea28bcd
add 'e' as evaluable functor for Euler's constant ( #832 )
2021-02-20 18:32:04 -07:00
Mark Thom
a9fe2ab5c4
use env::current_dir in Machine::current_dir ( #833 )
2021-02-20 18:25:34 -07:00
Mark Thom
f6926a9642
remove nl after top-level use_module ( #818 )
2021-02-19 14:36:30 -07:00
Mark Thom
d3442bb08f
qualify command-line specified goals with user: ( #820 )
2021-02-19 14:12:34 -07:00
Mark Thom
a08f5c3016
treat LocalCodePtr::Halt received at lookup_local_instr as an interrupt ( #823 )
2021-02-19 13:44:22 -07:00
Mark Thom
eff892ccb8
add qualified imports use_module library modules
2021-02-18 17:58:16 -07:00
Adrián Arroyo Calle
b565eaaf5a
Fix HTTP server to work on Rebis branch. Breaking change
2021-02-19 00:13:00 +01:00
Mark Thom
3831a371a4
Merge pull request #829 from aarroyoc/uuidv4
...
UUIDv4 library
2021-02-18 14:29:06 -07:00
Adrián Arroyo Calle
77ec8ebfc3
UUIDv4 generation
2021-02-18 22:16:24 +01:00
Mark Thom
c272e4d1e8
use add_dynamically_generated_module in get_or_insert_local_code_index
2021-02-18 14:15:28 -07:00
Mark Thom
d69b7f41f2
add '$remove_module_exports' to loader.rs
2021-02-18 14:08:25 -07:00
Markus Triska
b3db8913c6
enable meta_predicate/1 declarations
2021-02-18 20:19:23 +01:00
Markus Triska
5bec2c87cb
add appropriate meta_predicate/1 declarations
2021-02-18 20:15:04 +01:00
Markus Triska
71a524662d
add appropriate meta_predicate/1 declarations
2021-02-18 19:16:11 +01:00
Mark Thom
f5ad845d57
try to canonicalize to absolute path in current_dir(), use it in setting LoadContext directories ( #821 )
2021-02-17 18:49:51 -07:00
Mark Thom
2a70ca375c
restore support for tabling and delimited continuations ( #779 )
2021-02-17 16:18:49 -07:00
Mark Thom
396c589743
add second term expansion to capture the addition of hook predicates to the expansion process in loader.pl, loader.rs
2021-02-17 15:39:52 -07:00
Mark Thom
7670b81633
remove VNs variable from loader.pl
2021-02-17 13:31:58 -07:00
Mark Thom
f9b98f97b6
remove unnecessary cause of failure in parser, qualify call to op_/3 in builtins.pl
2021-02-17 11:56:58 -07:00
Mark Thom
00bf39204d
add missing variable checks in various places
2021-02-17 11:12:19 -07:00
Mark Thom
e9ba3ad223
handle user:goal_expansion, but not Target:goal_expansion, explicitly in loader.pl
2021-02-17 01:19:51 -07:00
