rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1,916 Commits 2 Branches 18 Tags
d32d452583df08fd0ffa861e2d034be59b23276b
Commit Graph
1916 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Matteo Redaelli a53b4df8b6 Update README.md 
wrong link to source file dcgs.pl
 2020-08-25 17:19:45 +02:00