rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1,817 Commits 2 Branches 18 Tags
1bdfc5a1a4e683ad5c86f2b0fa573887d7418bef
Commit Graph

1817 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark Thom
dd07226ab4 Merge pull request #743 from triska/determinism 
reflect determinism improvement thanks to the latest changes
 2020-12-23 13:22:02 -07:00
Markus Triska
67d856e4b7 reflect determinism improvement thanks to the latest changes 2020-12-23 18:06:35 +01:00
Mark Thom
6ad1e57123 Merge pull request #741 from triska/determinism 
reflect improved determinism thanks to the improvements by @notoria
 2020-12-22 19:18:46 -07:00
Markus Triska
27a52ef56a reflect improved determinism thanks to the improvements by @notoria 2020-12-23 00:05:29 +01:00
Mark Thom
d290596c1d Merge pull request #740 from triska/indexing 
small documentation improvements related to the new indexing strategy
 2020-12-22 15:39:17 -07:00
Mark Thom
342b4a3b52 Merge pull request #734 from triska/deterministic_format 
ENHANCED: format_//2, format/[2,3], portray_clause/1 are now deterministic
 2020-12-22 14:51:56 -07:00
Mark Thom
19652e6367 Merge pull request #732 from notoria/indexing 
Implemented a different way to index clauses
 2020-12-22 14:51:10 -07:00
Markus Triska
1c76c869ef small documentation improvements related to the new indexing strategy 2020-12-22 21:59:11 +01:00
notoria
706d842102 Renamed find_optimal_index to first_instantiated_index 2020-12-21 20:27:53 +01:00
notoria
2889631b61 Merge pull request #6 from triska/indexing 
document first instantiated argument indexing
 2020-12-21 20:02:22 +01:00
Markus Triska
5b9f0f45a9 document first instantiated argument indexing 
Many thanks to @notoria for this brilliant idea and implementation!
 2020-12-21 19:58:54 +01:00
notoria
ecc059bf8b Organized changes into find_optimal_index 2020-12-21 12:19:21 +01:00
Adrián Arroyo Calle
e1f4a50e65 HTTP Body 2020-12-21 00:15:00 +01:00
notoria
ec2c5a9b2c Simplified the code, removed first_arg, the Option 2020-12-19 21:04:17 +01:00
Markus Triska
4efbc20a4f ENHANCED: format_//2, format/[2,3], portray_clause/1 are now deterministic. 
This works as soon as #732 is merged, since then maplist/N and foldl/N
are deterministic in the required cases.

This also resolves the extra choicepoint of time/1 (see #378).

Many thanks to @notoria for implementing better indexing in #732,
which allowed me to find this opportunity for improvement!
 2020-12-19 18:18:14 +01:00
notoria
657e4f12bb Implemented a different way to index clauses 2020-12-19 14:52:38 +01:00
Mark Thom
22ffb1f53f Merge pull request #729 from brightly-salty/replace-dirs 
Replace dirs with dirs-next
 2020-12-15 10:04:46 -07:00
brightly-salty
4854da4805 Replace dirs with dirs-next 2020-12-15 06:59:26 -06:00
Adrián Arroyo Calle
33a0df20c3 Read body 2020-12-14 22:57:53 +01:00
Adrián Arroyo Calle
e4d1e4b7a0 Request and Response headers 2020-12-12 21:28:33 +01:00
Adrián Arroyo Calle
dbc193ab2a WIP http_server 2020-12-09 23:40:00 +01:00
Mark Thom
7bde174b40 Merge pull request #722 from aarroyoc/history-file 
History file support (Rustyline 7.0) (#152)
 2020-12-06 15:50:52 -07:00
Mark Thom
cf8014582b Merge pull request #720 from aarroyoc/max-min-list 
Add list_max & list_min to lists module
 2020-12-06 15:39:42 -07:00
Adrián Arroyo Calle
e2796dd351 History file support (Rustyline 7.0) 2020-12-06 23:16:25 +01:00
Adrián Arroyo Calle
0696a18e0b Change name to list_max, list_min as PR feedback 2020-12-06 21:58:37 +01:00
Adrián Arroyo Calle
0cc9388af0 Use foldl as PR feedback suggested 2020-12-06 17:31:42 +01:00
Adrián Arroyo Calle
a73529969a Add max_list & min_list to lists 2020-12-05 14:20:50 +01:00
Mark Thom
c55de17ca8 Merge pull request #710 from triska/clpz-reif 
ADDED: Provisional support for (#=)/3 and (#<)/3.
 2020-11-08 14:40:32 -07:00
Markus Triska
41a751e7f5 ADDED: Provisional support for (#=)/3 and (#<)/3. 
These predicates are intended for constructs from library(reif), such
as if_/3. For the time being, they are defined here. If you have any
recommendations or comments regarding the best location of these
predicates, or need more of them, please file an issue.

Suggested by @Qqwy in https://github.com/triska/clpz/issues/12.

Many thanks!
 2020-11-08 09:26:50 +01:00
Mark Thom
b9a53e441e support number/1 2020-11-03 23:38:55 -07:00
Mark Thom
add62c2093 Merge branch 'master' of https://github.com/mthom/rusty-wam into master 2020-10-22 00:24:30 -06:00
Mark Thom
de01ac233c Merge pull request #706 from malbarbo/fix-num 
Fix build with num features
 2020-10-20 21:43:03 -06:00
Mark Thom
c9e926f451 Merge branch 'master' of https://github.com/mthom/rusty-wam into master 2020-10-20 15:25:38 -06:00
Marco A L Barbosa
8d405849be Update num-rug-adapter to fix build with num feature. 2020-10-18 19:20:45 -03:00
Mark Thom
5fbdb1af9f Merge pull request #702 from triska/showterm 
Add showterm.el and showterm.pl to the distribution
 2020-10-03 12:20:02 -06:00
Markus Triska
83350f8866 use "r" interactive specifier 2020-10-03 17:13:17 +02:00
Markus Triska
b4ccd889af refer to new tools directory 2020-10-03 09:59:31 +02:00
Markus Triska
35a3f2dc91 ADDED: showterm.el and showterm.pl to draw terms as trees in Emacs 2020-10-03 09:56:26 +02:00
Mark Thom
ed7a4514de Merge pull request #700 from triska/development_environment 
DOC: Development environment recommendations.
 2020-10-01 13:41:52 -06:00
Markus Triska
2e295e354a DOC: Development environment recommendations. 2020-10-01 21:15:40 +02:00
Mark Thom
d71d9cc8ef Merge branch 'master' of https://github.com/mthom/rusty-wam into master 2020-09-14 10:46:11 -06:00
Mark Thom
108b62d839 Merge pull request #698 from triska/file_must_exist 
ENHANCED: library(files): Error handling if requested files do not exist.
 2020-09-13 10:30:50 -06:00
Markus Triska
46dfaa5b28 ENHANCED: library(files): Error handling if requested files do not exist. 
We now throw exceptions instead of failing silently, or even crashing
when using file_size/2 etc. with nonexistent files.
 2020-09-13 10:23:23 +02:00
Mark Thom
323e9c3eb3 refactor SystemClauseType::Open in anticipation of #614 2020-09-05 18:57:03 -06:00
Mark Thom
d677d3d2ef preface the 'spelling error' with an explainer comment (#687) 2020-09-05 18:07:58 -06:00
Mark Thom
c39b239d78 Merge pull request #696 from triska/format_distinct_variables 
FIXED: format_//2: Keep different variables distinct.
 2020-09-05 08:50:07 -06:00
Markus Triska
5f3ab823fd FIXED: format_//2: Keep different variables distinct. 
Example:

        ?- phrase(format_("~w~w", [_,_]), Ls).
        %@    Ls = "AB"
        %@ ;  false.
 2020-09-05 09:58:49 +02:00
Mark Thom
03d1da4bf2 Merge pull request #694 from triska/write_all 
FIXED: reliably write all characters when using format/3
 2020-09-02 12:52:53 -06:00
Markus Triska
78656d220b FIXED: reliably write all characters when using format/3 
This addresses #693.

Many thanks to @notoria for a brilliant test case, and the
suggestion of this correction!
 2020-09-02 19:29:04 +02:00
Mark Thom
7e7aa7992a Merge pull request #689 from matteoredaelli/patch-1 
Update README.md
 2020-08-25 12:27:13 -03:00