rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
3,610 Commits 2 Branches 18 Tags
fe371ff1d100888ebe2b25f4454c6145437ee207
Commit Graph
93 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
notoria fe371ff1d1 Fix min/2 and max/2 
?- X in 0..1, Y in 2..4, Z #= max(X,Y).
   clpz:(X in 0..1), clpz:(Z#=max(X,Y)), clpz:(Z in 2..4), clpz:(Z#>=Y), clpz:(Y in 2..4). % unexpected.
?- X in 0..1, Y in 2..4, Z #= max(Y,X).
   Y = Z, clpz:(X in 0..1), clpz:(Y in 2..4).
 2024-01-07 20:14:32 +01:00
notoria 62e6ca02f9 Reify (^)/2 
Like (/)/2, (^)/2 can fail in cases such as 0 #==> X #= 2^(-1), where success is expected.
 2023-10-14 12:11:24 -06:00
notoria c6fcbe20e1 Trigger propagator for popcount/1 2023-10-14 12:11:24 -06:00
notoria a1b71f0440 Trigger propagator for sign/1 2023-10-14 12:11:24 -06:00
notoria dc08c26d9f Trigger propagator for (xor)/2 2023-10-14 12:11:24 -06:00
notoria 911c49c43f Compute correctly the domain of the remainder 2023-06-23 14:11:31 -06:00
notoria 770a682d8b Don't add variable 
?- Z #= 0, Z #= X mod Y.
   Z = 0, clpz:(_A*Y#=X), clpz:(Y in inf.. -1\/1..sup) % Unexpected.

The expected result:
   Z = 0, clpz:(X mod Y#=0), clpz:(Y in inf.. -1\/1..sup).
 2023-06-23 14:11:31 -06:00
notoria 73ca37ecca Remove and move comments 2023-06-23 14:11:31 -06:00
notoria 495df8846a Compute correctly the domain of the remainder 2023-05-27 13:47:14 +02:00
notoria 05d48cdcc3 Don't add variable 
?- Z #= 0, Z #= X mod Y.
   Z = 0, clpz:(_A*Y#=X), clpz:(Y in inf.. -1\/1..sup) % Unexpected.

The expected result:
   Z = 0, clpz:(X mod Y#=0), clpz:(Y in inf.. -1\/1..sup).
 2023-05-27 13:41:04 +02:00
notoria dc02be4944 Remove and move comments 2023-05-27 13:08:25 +02:00
notoria f4be0cf4b3 Extend alnum, add forgotten graphic_token 2021-03-17 20:47:09 +01:00
notoria bd222ed2bf Added a test for mod in CLP(Z) 2021-03-10 21:20:18 +01:00
notoria 93b835ae0d Use functional notation in CLP(Z) for compatibility 2021-03-07 20:59:25 +01:00
notoria aa2d57cf37 Implemented a propagator for xor in CLP(Z) 2021-03-07 18:52:10 +01:00
notoria f6d4821a68 Small improvement for mod in CLP(Z) 2021-03-07 18:38:04 +01:00
notoria e5204e55d3 Handled the empty case (#770) 2021-01-31 11:03:17 +01:00
notoria dfd7ac633a Removed redundant choicepoint from between/3 2021-01-30 17:45:55 +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
notoria ecc059bf8b Organized changes into find_optimal_index 2020-12-21 12:19:21 +01:00
notoria ec2c5a9b2c Simplified the code, removed first_arg, the Option 2020-12-19 21:04:17 +01:00
notoria 657e4f12bb Implemented a different way to index clauses 2020-12-19 14:52:38 +01:00
notoria 0724c044d6 Use nonterminal fd_put//3 in mod from clpz 2020-08-15 17:56:07 +02:00
notoria bed4afe74f Simplified the code 2020-08-15 17:39:34 +02:00
notoria d4263cc8b9 Using queue_goal//1 to correctly bind variables 2020-08-15 17:06:12 +02:00
notoria b4b11465a1 Fixed variable bindings in mod from clpz 2020-08-15 13:37:33 +02:00
notoria daaebc59cb Made mod stronger and addressed #675 2020-08-15 12:53:28 +02:00
notoria 314baabf1d More improvement on mod from CLP(Z) 2020-08-13 21:36:36 +02:00
notoria a24fbb8f61 Improved mod in CLP(Z) 
This is still a work in progress.
 2020-08-13 10:33:36 +02:00
notoria 3143468751 Fixed some conversion issues 2020-08-06 11:39:55 +02:00
notoria ac00ae4daf Improved readline 2020-07-31 21:16:33 +02:00
notoria bf13700a95 Enhanced the implementation 
The restriction has been removed by using read_library_path from
cfd15f4e02.
 2020-07-01 13:14:12 +02:00
notoria 83268f5ff6 Allowing paths in use_module(library(..)) (#604) 
In a module, the path is restricted in being an atom.
 2020-07-01 10:22:17 +02:00
notoria 1eb42654e0 Revert "allow paths in use_module(library(..)) (#604)" 
This reverts commit cfd15f4e02.
 2020-07-01 10:07:26 +02:00
notoria e05c34d1ee Revert "build.rs recursively delves into directories during library bake stage, correct misnamed file at machine/mod.rs:455 (#617)" 
This reverts commit c1b577f2c7.
 2020-07-01 10:06:20 +02:00
notoria 1799c19933 Added an entry in README 2020-06-19 17:48:55 +02:00
notoria 94eddd3b42 Added library(debug) 2020-06-19 17:18:59 +02:00
notoria 3a7a29868f Added some informations in Cargo.toml 2020-05-23 02:03:24 +02:00
notoria 3e5a652874 Enhanced Travis-CI (#512) 2020-05-16 11:51:53 -06:00
notoria a86019d53b Enhanced between/3 2020-05-13 21:21:46 +02:00
notoria 1d313ebf25 Removed the warnings 2020-05-09 22:30:39 +02:00
notoria cf92349c1d Implemented Debug for the new data structures 2020-05-09 22:28:32 +02:00
notoria 47f5223c37 Enhanced shift/1 2020-05-07 19:10:21 +02:00
notoria ac00bc6b70 Fixed ctrl-c issue with get_single_char/1 2020-05-05 18:47:00 +02:00
notoria 75aa4ce8a0 Completed read/1, ctrl-d is end_of_file 2020-05-03 19:54:17 +02:00
notoria 7df7901532 Implemented expmod/4 2020-05-02 14:56:07 +02:00
notoria 9df2df0f9f Enhanced number_to_rational/2 and number_to_rational/3 2020-05-02 02:36:23 +02:00
notoria 98d38d763b Added $scryer_prolog_version/1 2020-05-02 02:19:22 +02:00
notoria 319a4622b3 Enhanced command line 2020-05-02 01:02:06 +02:00
notoria de8a017e80 Enhanced command line #2 2020-05-01 18:52:41 +02:00
notoria 6ae7ae0210 Enhanced version 2020-05-01 16:46:31 +02:00
notoria b911d2fda4 Enhanced command line 2020-05-01 16:19:06 +02: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
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
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
notoria f7b49740c1 Removed predicate mediants/2 and added stern_brocot/3 2020-04-29 14:18:20 +02:00
notoria 1d339f74d1 Implemented predicate mediants/2 with Stern-Brocot tree 2020-04-29 02:44:13 +02: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
notoria 9b1272da51 Small patch for library pio 2020-04-26 14:54:20 +02:00
notoria c98e869564 Implemented the Debug trait for all data structures 2020-04-26 02:20:24 +02:00
notoria ad28d0025a No trimming of the buffer 2020-04-25 18:20:20 +02:00
notoria d6772c5ca5 Implemented phrase_from_file/2 and /2 2020-04-25 18:04:13 +02:00
notoria 1873b655a8 Implemented lsb/2 and msb/2 2020-04-24 23:52:32 +02:00
notoria 4b50608642 Implementation of the predicate char_type for a subset 2020-04-23 16:09:06 +02:00
notoria e3a7f9eb7a Draft of an implementation of char_type 2020-04-22 12:57:18 +02:00
notoria 6d7612ead6 Corrected the error being thrown by sleep/1 2020-04-20 16:36:57 +02:00
notoria b3e31094ff Changed the error being thrown by sleep/1 2020-04-20 11:27:28 +02:00
notoria a7f3dafd81 Undo a workaround 2020-04-19 23:26:16 +02:00
notoria fb38b4b906 Corrected bound 2020-04-19 23:04:51 +02:00
notoria f0a1a90b0e Merge pull request #3 from triska/sleep 
update comment
 2020-04-19 22:44:48 +02:00
notoria fb331d39a6 Thrown an error if T < 0 or T > 0xfffffffffffffbff in sleep(T) 2020-04-19 22:43:13 +02:00
notoria 5a063c541d Added the sleep predicate 2020-04-19 21:35:49 +02:00
notoria c6a82cbc07 Removed a check in get_single_char 2020-04-18 14:16:46 -06:00
notoria cc8f074d33 Added Space for continuation 2020-04-18 14:16:46 -06:00
notoria 196d74c3a0 Fixed the predicate name when error is thrown 2020-04-18 14:16:46 -06:00
notoria 3f578e24b5 Removed $raw_input_read_char 2020-04-18 14:16:46 -06:00
notoria fb5ee5e190 get_single_char reads Tab as \t 2020-04-18 14:16:46 -06:00
notoria 63e8378310 get_single_char reads Enter as \n 2020-04-18 14:16:46 -06:00
notoria c24ebaf506 Moved get_single_char from builtins.pl to charsio.pl 2020-04-18 14:16:46 -06:00
notoria d3a1f11dfe Added predicate for reading a single character 2020-04-18 14:16:46 -06:00
notoria 6996ca832d Merge pull request #2 from triska/get_single_char 
New feature: RET can now be used as a synonym for "." in the interaction
 2020-04-18 18:51:37 +02:00
notoria 2e15ab44ab Removed a check in get_single_char 2020-04-18 18:28:26 +02:00
notoria 988366e37f Added Space for continuation 2020-04-18 16:57:45 +02:00
notoria 98a37905b8 Fixed the predicate name when error is thrown 2020-04-18 15:21:19 +02:00
notoria bd832d0fbb Merge pull request #1 from triska/get_single_char 
use get_single_char/1
 2020-04-18 14:50:32 +02:00
notoria 99e1a5f117 Removed $raw_input_read_char 2020-04-18 13:54:18 +02:00
notoria b35b49f7b3 get_single_char reads Tab as \t 2020-04-18 13:33:42 +02:00
notoria 5d064b18e6 get_single_char reads Enter as \n 2020-04-18 13:30:52 +02:00
notoria 11ea92288d Moved get_single_char from builtins.pl to charsio.pl 2020-04-18 12:52:49 +02:00
notoria 1ea6ae9fd9 Added predicate for reading a single character 2020-04-18 11:49:28 +02:00