This website requires JavaScript.
0d7a9f32d6
add open/3, write_term/3
2020-05-04 14:50:26 -06:00
0d85ef4404
Merge pull request #453 from triska/master
2020-05-04 14:32:26 -03:00
8e9273a96a
test
2020-05-04 11:18:13 -06:00
2dfdaaa4ba
disable goal expansion until #445 is resolved
2020-05-04 18:55:41 +02:00
407094cdcb
merge
2020-05-03 23:36:26 -06:00
0111db6744
improve answer substitutions at top-level
2020-05-03 23:35:21 -06:00
a49230c0e1
Merge branch 'master' into sockets-develop
2020-05-03 23:09:13 -06:00
d04abc2021
improve answer substitutions at top-level
2020-05-03 23:08:53 -06:00
b5368207d6
merge with master
2020-05-03 18:49:15 -06:00
ef6b6cd279
Merge pull request #450 from triska/master
2020-05-03 20:34:47 -03:00
e5903d8d6e
use select/3 in gather_equations for detecting whether variables are distinct.
2020-05-03 20:31:12 -06:00
605c233753
do not project queue/2 attributes to residual goals
2020-05-04 00:54:43 +02:00
e2a3db1b82
use copy_term/3 as source of attribute goals
2020-05-03 19:34:18 -06:00
b8400e0c92
make term{_attributed_}variables/2 order {attributed} variables by left-to-right occurrence
2020-05-03 18:43:23 -06:00
9e220e8416
restore previous focus upon character match failure in compare_pstr_to_string (#441 )
2020-05-03 17:03:59 -06:00
aafe18c2b5
Merge pull request #449 from notoria/read
2020-05-03 15:27:46 -03:00
75aa4ce8a0
Completed read/1, ctrl-d is end_of_file
2020-05-03 19:54:17 +02:00
262e8af813
version bump for prolog_parser
2020-05-03 13:46:34 -06:00
a494cdaf92
use complete strings in FileToChars (#430 )
2020-05-03 02:54:49 -06:00
848425418b
Project goals of query variables (#362 )
2020-05-02 22:27:32 -06:00
989bed88fe
wrap support code in modules
2020-05-02 21:26:36 -06:00
99f66200f7
Merge branch 'master' of https://github.com/mthom/rusty-wam
2020-05-02 18:47:53 -06:00
b642bd2cfd
add term_attributed_variables/2 (#422 )
2020-05-02 18:46:29 -06:00
c062b7c9da
Merge pull request #443 from notoria/arithmetic
2020-05-02 12:00:44 -03:00
7df7901532
Implemented expmod/4
2020-05-02 03:36:01 +02:00
9dabce819a
remove now unnecessary dependencies, correct ordering of ! in (;)/3
2020-05-01 23:38:44 -03:00
a019109857
Merge pull request #440 from notoria/arithmetic
2020-05-01 21:48:55 -03:00
46cdf14ecc
Merge pull request #439 from notoria/cli2
2020-05-01 21:45:03 -03:00
fd5ff20b68
Merge branch 'master' of https://github.com/mthom/rusty-wam
2020-05-01 21:40:45 -06:00
81f9666e82
cut after compound check in (;)/2 only after semicolon_compound_selector succeeds
2020-05-01 21:40:36 -06:00
9df2df0f9f
Enhanced number_to_rational/2 and number_to_rational/3
2020-05-02 02:36:23 +02:00
98d38d763b
Added $scryer_prolog_version/1
2020-05-02 01:52:53 +02:00
319a4622b3
Enhanced command line
2020-05-02 01:02:06 +02:00
59b4c6dacb
Merge pull request #437 from triska/master
2020-05-01 19:08:45 -03:00
ec6d725587
use ℤ
2020-05-02 00:06:16 +02:00
aa8659d5c7
insert cuts where needed into (;)/3 (#434 )
2020-05-01 18:52:01 -06:00
6f19649186
Merge pull request #436 from mthom/revert-419-cli
2020-05-01 18:43:37 -03:00
6a583b9b5b
Revert "Enhanced command line"
2020-05-01 15:43:20 -06:00
6617b79cd8
Merge pull request #419 from notoria/cli
2020-05-01 18:32:02 -03:00
46b695d093
accept any and all characters in comment chars
2020-05-01 16:39:27 -06:00
de8a017e80
Enhanced command line #2
2020-05-01 18:52:41 +02:00
b71ec91f57
Merge pull request #432 from triska/master
2020-05-01 13:41:43 -03:00
ca5a5b4392
correct overeager CLP(ℤ) goal expansion
2020-05-01 18:29:00 +02:00
6ae7ae0210
Enhanced version
2020-05-01 16:46:31 +02:00
b911d2fda4
Enhanced command line
2020-05-01 15:57:50 +02:00
1b7c226779
correct failing character match in compare_pstr_to_string (#397 )
2020-05-01 10:29:10 -06:00
847a92f580
map single character atoms down to characters in constant_index
2020-05-01 01:34:09 -06:00
a346493de1
Merge branch 'master' of https://github.com/mthom/rusty-wam
2020-04-30 18:20:51 -06:00
efd5d6efab
use slightly better names in indexing functions
2020-04-30 18:20:42 -06:00
5870824d01
Merge pull request #425 from triska/master
2020-04-30 18:20:27 -03:00
1dbadbfc35
enable goal expansion for CLP(ℤ) goals
2020-04-30 23:09:15 +02:00
b6df5a4b7f
only add expanded goals to dynamic clause code (#416 )
2020-04-30 17:53:26 -06:00
34ae56e319
correct queue_len += queue_len; to queue_len += queue.len(); (#416 )
2020-04-30 15:30:55 -06:00
d3f1cd7411
index atoms with operators against the same atom with no operator (#387 )
2020-04-30 15:09:05 -06:00
a821daadd3
Merge pull request #420 from triska/master
2020-04-30 13:32:21 -03:00
a39f4b4487
correct verify_attributes/3 for variables that have no CLP(ℤ) attribute attached (#373 )
2020-04-30 18:10:09 +02:00
f7b401b9b6
fix user:goal_expansion
2020-04-30 09:28:11 -06:00
c342d18f92
Merge branch 'master' of https://github.com/mthom/rusty-wam
2020-04-30 00:01:12 -06:00
e0e52a3090
fix 'drain lower bound was too large', store user-level expansions to modules (#416 )
2020-04-30 00:01:00 -06:00
6f92480315
Merge pull request #418 from notoria/mediants
2020-04-29 18:53:00 -03:00
490d008edf
Merge pull request #4 from triska/mediants
2020-04-29 23:48:07 +02:00
ccee17c573
Merge branch 'mediants' into mediants
2020-04-29 23:47:05 +02:00
dd4832e40b
add ordsets.pl to README
2020-04-29 18:42:17 -03:00
ff5b870a9f
Merge pull request #417 from notoria/mediants
2020-04-29 18:33:35 -03:00
a371580201
Add rational_numerator_denominator/3, number_to_rational/2 and renamed stern_brocot/3 to number_to_rational/3
2020-04-29 18:27:34 +02:00
b499c575bc
include library(arithmetic) in the overview
2020-04-29 22:02:51 +02:00
f5a6268cef
Add rational_numerator_denominator/3, number_to_rational/2 and renamed stern_brocot/3 to number_to_rational/3
2020-04-29 18:27:34 +02:00
2df4083602
use select to filter variable lists when printing equations of two variables
2020-04-29 11:05:10 -03:00
2495fb796d
select variable names in write_eq based on whether RHS is a variable (#326 )
2020-04-29 10:56:17 -03:00
f7b49740c1
Removed predicate mediants/2 and added stern_brocot/3
2020-04-29 14:18:20 +02:00
7e765fe726
correct answer substitution order, equating variables to themselves (#326 )
2020-04-29 01:45:42 -06:00
1d339f74d1
Implemented predicate mediants/2 with Stern-Brocot tree
2020-04-29 02:44:13 +02:00
a3bb288f01
check that lower bound on term expansion drain is below the len of the term expansion vector, queue (#416 )
2020-04-28 19:22:20 -06:00
0e1226573a
print rational numbers using the rdiv operator when defined (#413 )
2020-04-28 18:03:04 -06:00
8151b65d12
Merge branch 'master' of https://github.com/mthom/rusty-wam
2020-04-28 17:20:25 -06:00
eefd36b50d
do length check in PartialString::range_from (#412 )
2020-04-28 17:20:14 -06:00
6f4d769187
Merge pull request #414 from triska/master
2020-04-28 16:54:39 -03:00
20b76a703a
mention portray_clause/1 and listing/1
2020-04-28 18:27:46 +02:00
dcc09b7bb5
mention backtrackable and non-backtrackable global variables
2020-04-28 18:22:18 +02:00
4ea0dee90a
use new nth0/3 from library(lists)
2020-04-28 17:52:29 +02:00
e61116d35a
use singleton variable, correct a mistake in maplist/8
2020-04-28 17:51:37 +02:00
f7256c75d5
ADDED: nth0/3, relating indices to list elements
2020-04-28 17:42:12 +02:00
2696fd1291
small typographic corrections
2020-04-28 17:35:53 +02:00
b139620fba
use new predicates from library(error) to throw type and domain errors
2020-04-28 17:34:56 +02:00
97115a9c1c
Merge branch 'master' of https://github.com/mthom/rusty-wam
2020-04-28 01:41:11 -06:00
36134c61b2
erase unnecessary stub from block of FileToChars
2020-04-28 01:40:59 -06:00
77cf0fd87b
don't append lists of attributes when binding attributed variables (#353 )
2020-04-28 01:40:11 -06:00
ab77a1cbc0
modify domain.pl example (#347 )
2020-04-28 01:39:34 -06:00
8490892493
Merge pull request #409 from triska/clp
2020-04-27 15:05:15 -03:00
5f35dffa34
if_ --> if_/3
2020-04-27 19:53:25 +02:00
89a4b5a6ff
add more information about Constraint Logic Programming (CLP)
2020-04-27 19:48:31 +02:00
931de7e39c
Merge pull request #408 from triska/master
2020-04-27 14:35:17 -03:00
ff41d6aef9
include the new library(random) in the overview
2020-04-27 17:56:46 +02:00
8e1ba58551
use new predicates from library(error)
2020-04-27 17:42:05 +02:00
2b1692a860
ADDED: library(error): instantiation_error/1, domain_error/3, type_error/3
2020-04-27 17:34:47 +02:00
7a2981e21c
include usage advice about probabilistic predicates
2020-04-27 17:32:06 +02:00
f8717359d7
Merge pull request #406 from notoria/random
2020-04-27 09:14:01 -03:00
fe395e3a8c
publish bimetatrans_ruleml_tests, move both files to own directory
2020-04-26 20:32:16 -06:00
eb9fe851af
Merge branch 'master' of https://github.com/mthom/rusty-wam
2020-04-26 20:15:27 -06:00
d61851ad02
Added predicate random_integer and updated clpb
2020-04-27 01:52:19 +02:00
Mark Thom