Mark Thom
101ed9a633
add error value to occurs_check prolog flag ( #783 )
2021-02-28 11:44:23 -07:00
Mark Thom
81ecd17b93
Merge pull request #838 from Skgland/librarify
...
Split main.rs into lib.rs and bin/scryer-prolog.rs
2021-02-28 11:39:24 -07:00
Skgland
5a78f02dcb
revert removal of PartialEq
2021-02-28 19:21:32 +01:00
Skgland
0a08464d4f
move the signal handler to the binary
2021-02-28 19:21:31 +01:00
Skgland
a638d42d92
remove #[allow(dead_code)]
...
only commenting out the unused variant as `OptArgIndexKeyType`
as it appears to mirror `OptArgIndexKey` and there List is not unused
so this appears to be not yet used rather than obsolete
2021-02-28 19:21:31 +01:00
Skgland
90256ea2f5
fix CI lib build with beta compiler
2021-02-28 19:21:31 +01:00
Skgland
90aefd35f0
adjust ci
2021-02-28 19:21:30 +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
Mark Thom
adb96710bf
Merge pull request #837 from triska/rebis-dev
...
Small improvements for Rebis
2021-02-25 15:17:16 -07:00
Markus Triska
dd64268bc7
add entry for library(lambda)
2021-02-25 23:12:56 +01: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
Mark Thom
3eb6357892
Merge pull request #835 from triska/lambda
...
ADDED: library(lambda) by Ulrich Neumerkel
2021-02-25 14:26:41 -07: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
f2db0886dd
move to a local num-rug-adapter crate addressing #822
2021-02-19 17:35:10 -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
