This website requires JavaScript.
c5e5eb8b86
explain motive for Rebis development branch in README.md
2021-01-30 21:28:45 -07:00
a4d15bfb88
move to a predicate-based module system, move to loader.[rs|pl]-based compilation, add support for incremental clause compilation
2021-01-30 14:32:47 -07:00
b33158b92e
Merge pull request #766 from aarroyoc/http-form
2021-01-30 13:55:40 -07:00
3b30c4d487
Merge pull request #769 from notoria/between
2021-01-30 13:55:05 -07:00
dfd7ac633a
Removed redundant choicepoint from between/3
2021-01-30 17:45:55 +01:00
213f8a604e
Test against macOS 10.15
2021-01-27 23:40:26 +01:00
13499352fd
urlencoded forms and some syntax improvements
2021-01-27 23:34:38 +01:00
70aa4934c5
Merge pull request #762 from aarroyoc/gh-action
2021-01-23 13:31:02 -07:00
1d538ee70c
Fix Beta
2021-01-16 22:32:50 +01:00
2ed2e6d62f
Disable Windows
2021-01-16 22:00:05 +01:00
aea0570d2b
Minor fix
2021-01-16 19:12:53 +01:00
def33a77da
Delete Travis CI
2021-01-16 19:11:07 +01:00
29db677a9e
GitHub Actions
2021-01-16 19:10:50 +01:00
d362ca3a6d
Merge pull request #747 from triska/determinism
2020-12-29 14:43:30 -07:00
3796792421
reflect better determinism thanks to #732
2020-12-29 22:24:56 +01:00
b8020db029
Merge pull request #726 from aarroyoc/http-server
2020-12-29 13:07:59 -07:00
a90030ca2d
PR feedback
2020-12-28 22:55:32 +01:00
3f8d3afe5c
URL Decode
2020-12-28 14:42:20 +01:00
155004bdbb
Log time
2020-12-27 22:36:24 +01:00
534c74b67c
Improve docs & Route matching
2020-12-27 20:14:21 +01:00
5428935ab1
File response
2020-12-27 14:48:05 +01:00
fc14d089b1
Use phrase instead of forall
2020-12-27 14:11:09 +01:00
4e543238e1
Queries
2020-12-27 13:23:38 +01:00
6579a542b8
Merge branch 'master' into http-server
2020-12-27 12:18:05 +01:00
27e3dcea6c
Redirections, default status code, rout matching 1.0
2020-12-27 12:16:46 +01:00
01f73b11d8
fix bug in code walker causing entire clauses to be skipped (#736 )
2020-12-26 22:35:28 -07:00
dd07226ab4
Merge pull request #743 from triska/determinism
2020-12-23 13:22:02 -07:00
67d856e4b7
reflect determinism improvement thanks to the latest changes
2020-12-23 18:06:35 +01:00
6ad1e57123
Merge pull request #741 from triska/determinism
2020-12-22 19:18:46 -07:00
27a52ef56a
reflect improved determinism thanks to the improvements by @notoria
2020-12-22 23:55:40 +01:00
d290596c1d
Merge pull request #740 from triska/indexing
2020-12-22 15:39:17 -07:00
342b4a3b52
Merge pull request #734 from triska/deterministic_format
2020-12-22 14:51:56 -07:00
19652e6367
Merge pull request #732 from notoria/indexing
2020-12-22 14:51:10 -07:00
1c76c869ef
small documentation improvements related to the new indexing strategy
2020-12-22 21:59:11 +01:00
706d842102
Renamed find_optimal_index to first_instantiated_index
2020-12-21 20:05:45 +01:00
2889631b61
Merge pull request #6 from triska/indexing
2020-12-21 20:02:22 +01:00
5b9f0f45a9
document first instantiated argument indexing
2020-12-21 19:55:15 +01:00
ecc059bf8b
Organized changes into find_optimal_index
2020-12-21 12:19:21 +01:00
e1f4a50e65
HTTP Body
2020-12-21 00:15:00 +01:00
ec2c5a9b2c
Simplified the code, removed first_arg, the Option
2020-12-19 21:04:17 +01:00
4efbc20a4f
ENHANCED: format_//2, format/[2,3], portray_clause/1 are now deterministic.
2020-12-19 18:07:43 +01:00
657e4f12bb
Implemented a different way to index clauses
2020-12-19 14:52:38 +01:00
22ffb1f53f
Merge pull request #729 from brightly-salty/replace-dirs
2020-12-15 10:04:46 -07:00
4854da4805
Replace dirs with dirs-next
2020-12-15 06:59:26 -06:00
33a0df20c3
Read body
2020-12-14 22:57:53 +01:00
e4d1e4b7a0
Request and Response headers
2020-12-12 21:28:33 +01:00
dbc193ab2a
WIP http_server
2020-12-09 23:40:00 +01:00
7bde174b40
Merge pull request #722 from aarroyoc/history-file
2020-12-06 15:50:52 -07:00
cf8014582b
Merge pull request #720 from aarroyoc/max-min-list
2020-12-06 15:39:42 -07:00
e2796dd351
History file support (Rustyline 7.0)
2020-12-06 23:16:25 +01:00
0696a18e0b
Change name to list_max, list_min as PR feedback
2020-12-06 21:58:37 +01:00
0cc9388af0
Use foldl as PR feedback suggested
2020-12-06 17:31:42 +01:00
a73529969a
Add max_list & min_list to lists
2020-12-05 14:20:50 +01:00
c55de17ca8
Merge pull request #710 from triska/clpz-reif
2020-11-08 14:40:32 -07:00
41a751e7f5
ADDED: Provisional support for (#=)/3 and (#<)/3.
2020-11-08 09:25:56 +01:00
b9a53e441e
support number/1
2020-11-03 23:38:55 -07:00
add62c2093
Merge branch 'master' of https://github.com/mthom/rusty-wam into master
2020-10-22 00:24:30 -06:00
de01ac233c
Merge pull request #706 from malbarbo/fix-num
2020-10-20 21:43:03 -06:00
c9e926f451
Merge branch 'master' of https://github.com/mthom/rusty-wam into master
2020-10-20 15:25:38 -06:00
8d405849be
Update num-rug-adapter to fix build with num feature.
2020-10-18 19:20:05 -03:00
5fbdb1af9f
Merge pull request #702 from triska/showterm
2020-10-03 12:20:02 -06:00
83350f8866
use "r" interactive specifier
2020-10-03 17:13:17 +02:00
b4ccd889af
refer to new tools directory
2020-10-03 09:59:31 +02:00
35a3f2dc91
ADDED: showterm.el and showterm.pl to draw terms as trees in Emacs
2020-10-03 09:52:46 +02:00
ed7a4514de
Merge pull request #700 from triska/development_environment
2020-10-01 13:41:52 -06:00
2e295e354a
DOC: Development environment recommendations.
2020-10-01 21:15:40 +02:00
d71d9cc8ef
Merge branch 'master' of https://github.com/mthom/rusty-wam into master
2020-09-14 10:46:11 -06:00
108b62d839
Merge pull request #698 from triska/file_must_exist
2020-09-13 10:30:50 -06:00
46dfaa5b28
ENHANCED: library(files): Error handling if requested files do not exist.
2020-09-13 10:21:57 +02:00
323e9c3eb3
refactor SystemClauseType::Open in anticipation of #614
2020-09-05 18:57:03 -06:00
d677d3d2ef
preface the 'spelling error' with an explainer comment (#687 )
2020-09-05 18:07:58 -06:00
c39b239d78
Merge pull request #696 from triska/format_distinct_variables
2020-09-05 08:50:07 -06:00
5f3ab823fd
FIXED: format_//2: Keep different variables distinct.
2020-09-05 09:56:32 +02:00
03d1da4bf2
Merge pull request #694 from triska/write_all
2020-09-02 12:52:53 -06:00
78656d220b
FIXED: reliably write all characters when using format/3
2020-09-02 19:20:49 +02:00
7e7aa7992a
Merge pull request #689 from matteoredaelli/patch-1
2020-08-25 12:27:13 -03:00
a53b4df8b6
Update README.md
2020-08-25 17:19:45 +02:00
3ba2b8ade6
Merge pull request #686 from triska/call_nth
2020-08-24 16:07:40 -03:00
79cb4cd6a5
ADDED: First version of call_nth/2.
2020-08-23 22:13:11 +02:00
d3ab4b5def
flatten passage of cut point B in (,)/2, (->)/2 and (;)/2 (#685 , #683 )
2020-08-23 22:49:10 -03:00
cdeb07520f
Merge pull request #682 from triska/dif_improvements
2020-08-22 20:17:32 -03:00
cc77ef680d
dif/2: Omit entailed residual goals, if the arguments are not unifiable.
2020-08-22 17:49:02 +02:00
e75ebd9b6e
dif/2: Succeed unconditionally if the arguments are not unifiable.
2020-08-22 17:47:42 +02:00
62c9b8390b
Merge pull request #677 from notoria/clpz_mod
2020-08-15 13:55:48 -03:00
0724c044d6
Use nonterminal fd_put//3 in mod from clpz
2020-08-15 17:56:07 +02:00
bed4afe74f
Simplified the code
2020-08-15 17:39:34 +02:00
d4263cc8b9
Using queue_goal//1 to correctly bind variables
2020-08-15 17:06:12 +02:00
b4b11465a1
Fixed variable bindings in mod from clpz
2020-08-15 13:37:33 +02:00
daaebc59cb
Made mod stronger and addressed #675
2020-08-15 12:45:33 +02:00
79a74038ac
Merge pull request #674 from notoria/clpz_mod
2020-08-14 00:21:19 -03:00
314baabf1d
More improvement on mod from CLP(Z)
2020-08-13 10:38:57 +02:00
a24fbb8f61
Improved mod in CLP(Z)
2020-08-10 21:00:54 +02:00
32eaab0783
Merge pull request #671 from triska/clpb_restriction
2020-08-12 16:59:51 -03:00
e185b626bd
FIXED: CLP(B): Delay BDD restriction until after the instantiation.
2020-08-12 19:51:25 +02:00
74dc94f6bc
Merge pull request #668 from triska/xbrl
2020-08-11 19:53:02 -03:00
099d9aaca6
library(sgml): Correctly parse XML leaf nodes that are not text nodes.
2020-08-11 21:00:56 +02:00
5fa3b9f2fb
Merge pull request #667 from triska/clpb_taut
2020-08-11 15:54:34 -03:00
ad8e2ad4f6
omit internal attributes in residual goals when using taut/2
2020-08-11 20:48:37 +02:00
8203eff47b
update prolog_parser version (#657 )
2020-08-08 16:29:35 -06:00
ad333047d9
Merge branch 'master' of https://github.com/mthom/scryer-prolog
2020-08-08 13:12:09 -06:00
Mark Thom