Mark Thom
|
c342d18f92
|
Merge branch 'master' of https://github.com/mthom/rusty-wam
|
2020-04-30 00:01:12 -06:00 |
|
Mark Thom
|
e0e52a3090
|
fix 'drain lower bound was too large', store user-level expansions to modules (#416)
|
2020-04-30 00:01:00 -06:00 |
|
Mark Thom
|
6f92480315
|
Merge pull request #418 from notoria/mediants
Documentation for arithmetic.pl
|
2020-04-29 18:53:00 -03:00 |
|
notoria
|
490d008edf
|
Merge pull request #4 from triska/mediants
include library(arithmetic) in the overview
|
2020-04-29 23:48:07 +02:00 |
|
notoria
|
ccee17c573
|
Merge branch 'mediants' into mediants
|
2020-04-29 23:47:05 +02:00 |
|
Mark Thom
|
dd4832e40b
|
add ordsets.pl to README
|
2020-04-29 18:42:17 -03:00 |
|
Mark Thom
|
ff5b870a9f
|
Merge pull request #417 from notoria/mediants
Implemented predicate mediants/2 with Stern-Brocot tree
|
2020-04-29 18:33:35 -03:00 |
|
notoria
|
a371580201
|
Add rational_numerator_denominator/3, number_to_rational/2 and renamed stern_brocot/3 to number_to_rational/3
|
2020-04-29 23:30:14 +02:00 |
|
Markus Triska
|
b499c575bc
|
include library(arithmetic) in the overview
Many thanks to @notoria for these very useful predicates!
|
2020-04-29 22:06:49 +02:00 |
|
notoria
|
f5a6268cef
|
Add rational_numerator_denominator/3, number_to_rational/2 and renamed stern_brocot/3 to number_to_rational/3
|
2020-04-29 21:52:01 +02:00 |
|
Mark Thom
|
2df4083602
|
use select to filter variable lists when printing equations of two variables
|
2020-04-29 11:05:10 -03:00 |
|
Mark Thom
|
2495fb796d
|
select variable names in write_eq based on whether RHS is a variable (#326)
|
2020-04-29 10:56:17 -03:00 |
|
notoria
|
f7b49740c1
|
Removed predicate mediants/2 and added stern_brocot/3
|
2020-04-29 14:18:20 +02:00 |
|
Mark Thom
|
7e765fe726
|
correct answer substitution order, equating variables to themselves (#326)
|
2020-04-29 01:45:42 -06:00 |
|
notoria
|
1d339f74d1
|
Implemented predicate mediants/2 with Stern-Brocot tree
|
2020-04-29 02:44:13 +02:00 |
|
Mark Thom
|
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 |
|
Mark Thom
|
0e1226573a
|
print rational numbers using the rdiv operator when defined (#413)
|
2020-04-28 18:03:04 -06:00 |
|
Mark Thom
|
8151b65d12
|
Merge branch 'master' of https://github.com/mthom/rusty-wam
|
2020-04-28 17:20:25 -06:00 |
|
Mark Thom
|
eefd36b50d
|
do length check in PartialString::range_from (#412)
|
2020-04-28 17:20:14 -06:00 |
|
Mark Thom
|
6f4d769187
|
Merge pull request #414 from triska/master
Small corrections, additions and improvements
|
2020-04-28 16:54:39 -03:00 |
|
Markus Triska
|
20b76a703a
|
mention portray_clause/1 and listing/1
|
2020-04-28 18:27:46 +02:00 |
|
Markus Triska
|
dcc09b7bb5
|
mention backtrackable and non-backtrackable global variables
|
2020-04-28 18:22:18 +02:00 |
|
Markus Triska
|
4ea0dee90a
|
use new nth0/3 from library(lists)
|
2020-04-28 17:59:49 +02:00 |
|
Markus Triska
|
e61116d35a
|
use singleton variable, correct a mistake in maplist/8
|
2020-04-28 17:59:49 +02:00 |
|
Markus Triska
|
f7256c75d5
|
ADDED: nth0/3, relating indices to list elements
|
2020-04-28 17:59:49 +02:00 |
|
Markus Triska
|
2696fd1291
|
small typographic corrections
|
2020-04-28 17:59:49 +02:00 |
|
Markus Triska
|
b139620fba
|
use new predicates from library(error) to throw type and domain errors
|
2020-04-28 17:59:49 +02:00 |
|
Mark Thom
|
97115a9c1c
|
Merge branch 'master' of https://github.com/mthom/rusty-wam
|
2020-04-28 01:41:11 -06:00 |
|
Mark Thom
|
36134c61b2
|
erase unnecessary stub from block of FileToChars
|
2020-04-28 01:40:59 -06:00 |
|
Mark Thom
|
77cf0fd87b
|
don't append lists of attributes when binding attributed variables (#353)
|
2020-04-28 01:40:11 -06:00 |
|
Mark Thom
|
ab77a1cbc0
|
modify domain.pl example (#347)
|
2020-04-28 01:39:34 -06:00 |
|
Mark Thom
|
8490892493
|
Merge pull request #409 from triska/clp
add more information about Constraint Logic Programming (CLP)
|
2020-04-27 15:05:15 -03:00 |
|
Markus Triska
|
5f35dffa34
|
if_ --> if_/3
|
2020-04-27 19:53:25 +02:00 |
|
Markus Triska
|
89a4b5a6ff
|
add more information about Constraint Logic Programming (CLP)
|
2020-04-27 19:48:46 +02:00 |
|
Mark Thom
|
931de7e39c
|
Merge pull request #408 from triska/master
Introduce and use new predicates for throwing ISO errors
|
2020-04-27 14:35:17 -03:00 |
|
Markus Triska
|
ff41d6aef9
|
include the new library(random) in the overview
Many thanks to @notoria for this contribution!
|
2020-04-27 18:44:59 +02:00 |
|
Markus Triska
|
8e1ba58551
|
use new predicates from library(error)
|
2020-04-27 18:44:59 +02:00 |
|
Markus Triska
|
2b1692a860
|
ADDED: library(error): instantiation_error/1, domain_error/3, type_error/3
These predicates simplify throwing ISO errors.
|
2020-04-27 18:44:59 +02:00 |
|
Markus Triska
|
7a2981e21c
|
include usage advice about probabilistic predicates
|
2020-04-27 18:44:59 +02:00 |
|
Mark Thom
|
f8717359d7
|
Merge pull request #406 from notoria/random
Created the library random and updated library clpb
|
2020-04-27 09:14:01 -03:00 |
|
Mark Thom
|
fe395e3a8c
|
publish bimetatrans_ruleml_tests, move both files to own directory
|
2020-04-26 20:32:16 -06:00 |
|
Mark Thom
|
eb9fe851af
|
Merge branch 'master' of https://github.com/mthom/rusty-wam
|
2020-04-26 20:15:27 -06:00 |
|
notoria
|
d61851ad02
|
Added predicate random_integer and updated clpb
|
2020-04-27 01:52:19 +02:00 |
|
notoria
|
de7a408903
|
Created the library random and moved some predicates from iso_ext
|
2020-04-26 23:37:22 +02:00 |
|
Mark Thom
|
4b0f60fe71
|
Merge pull request #405 from triska/master
Two small documentation additions
|
2020-04-26 17:20:58 -03:00 |
|
Markus Triska
|
a167bcff5e
|
add library(cont) to the list
|
2020-04-26 21:57:37 +02:00 |
|
Markus Triska
|
fb812e6335
|
add more information about tabling
|
2020-04-26 21:57:37 +02:00 |
|
Mark Thom
|
3fd557c74a
|
Merge pull request #402 from notoria/pio
Small patch for library pio
|
2020-04-26 12:17:09 -03:00 |
|
notoria
|
9b1272da51
|
Small patch for library pio
|
2020-04-26 14:54:20 +02:00 |
|
Mark Thom
|
ae2402f4a7
|
Merge pull request #399 from notoria/debug
Implemented the Debug trait for all data structures
|
2020-04-25 23:35:27 -03:00 |
|